@erin_catto It's the c structs anonymous meetup.
SimpleX Chat apps are 4 years old today!
- 2M+ app downloads
- 300-500K active users (estimated from store statistics - no accounts or any user IDs)
- 1000+ network routers
Coming soon:
- channels
- new UX
- non-profit governance of SimpleX Network
Huge thank you to everybody who made this journey possible by using, promoting and supporting SimpleX Network.
And big thank you to @djb who made our work possible.
The time has come: Claude is able to poke holes in the dark corners of Rocq's kernel and come up with proofs of False!
The days of "our reasonable users use the unreasonable features only in reasonable ways so it's ok to have them" really are over. Can't wait until someone vibe codes a complicated proof without looking too closely at it (since it's been checked by the kernel, it must be fine!) only to later realise it was actually bogus and such a bug without the agent saying so...
@wilfredh Maybe Erlang?
-doc """
some markdown inside
""".
I don't know about its rep, but looks pretty first-class.
Python also yes, with the __doc__ attribute you can access AND generate at runtime.
@wilfredh Unfortunately, yes. First teachers make their students shoot themselves in the foot by treating comments as whitespace. Then everyone has to do extra work with crazy grammars to claw the structure back and/or make a formatter.
@wilfredh Syntax. Make comments first-class too, while you're at it.
@JBrianCoyle @rebane2001 A strange game. The only winning move is not to play. How about a nice game of "centering the div"?
@shakil_tcs @BartoszMilewski Exactly. God is All Powerful and can't be bound into being anything less by our puny wordplay. As I said, if your rules can't express God's power, then those rules, logic, whatever is useless to bring into. Wrong rules will only produce more wrongs. You are already walking on thin ice here by claiming there is a limit to God's power.
@shakil_tcs @BartoszMilewski God can be anything. Otherwise, what's even the point...
@shakil_tcs @BartoszMilewski You're just making it too complex for a truth so simple. The God permeates everything. Not only it is omnipotent, but omnipresent (which is basically the same thing). Of course it is present at every step of the tower AND in the tower itself AND... everything else. And we are in no position to limit God from being (or not being) something. If your logic dictates that "God can't" you need to get yourself a better logic.
@shakil_tcs @BartoszMilewski Of course there can be anything, God willing. That's the definition of omnipotence. It's okay if a mortal mind can't comprehend something, but that's on them.
@shakil_tcs @BartoszMilewski Saying "by definition" is the lazy way out. It follows the rules of grammar but meaningless.
The tower of God is also God, I see no problem here.
@zurihac given that this is known in advance, wouldn't it be possible to shift away from it by a week?
@boilingsteam Can't they just make some good games to recover, then get back to pumping whatever they pump instead of good games?
@psvensson Now that they had recovered the old steam era tech, they can put the whole DC on rails and provide the public transportation with it too! ![]()
@soapdog Disagree on which point?
I'll promise I'll at least skim the book, but I'm not sure how some dude's writing should override my own experience?
Toots as he pleases.