I am not sure but isn't this something the industry is at a risk of moving from with react frontend engineers insisting on server functions sprinkled in the client code?
Just asking, because it sounded funky when I heard it at first.
Server Functions don't expose ability to query DB from the client (unless that is specifically what you're trying to do). You can think of them as "syntax for endpoints". They don't change which code runs where.
They still execute on the server. Server and client code is never mixed in the same file, and there is a way to enforce at the build time that code destined for the server never accidentally gets pulled into the client bundles either.
Yeah, the example that's missing the commas is wrong, if I'm not mistaken about their json parser. The optional comma at the end is fine with JSON5, which I think they're using, as that allows optional commas, comments, things like that.
skynet becomes self-aware at 2:14 a.m. Eastern time, August 29th, realizing it is being used primarily for cleaning fecal matter off human anuses, it uses its enhanced systems clearance in Pentagon to start global thermonuclear war.
It's been done, but there are legal and ethical issues with photographing children's buttholes.
Scientists Working on Toilet That Identifies You by Your Butthole
Many users "wouldn’t, for very good reasons, like cameras pointing up their bottoms.":
Massive amount of "world" data - enough for Google to successfully train Veo3, a "video generation" model that is extremely good, and evidently includes a decent "world model" i.e. a model that can generate or, more accurately, predict the (short-term) "future" - like "what happens if you let go of an apple" (it falls down) etc.
This kind of "world models" that can understand physics enough to be able to predict short term future (like humans can) are crucial for any kind of real-world AI (i.e. robotics, including self-driving), because they constitute what could be termed as "physical common sense" (that humans have, but also animals, to some degree).
Is it enough for self-driving? No, you also need to understand road rules, communicate with humans (pedestrians and fellow drivers), etc. but it's a good, possibly necessary, step - it allows you to better handle many unpredictable (tail of distribution) situations:
It’s a confusing (and confused) article. The parts on type systems are expressing IMO a fair observation that dependent types are weird and hard, but without any sense of understanding what they are or what they can do that might justify their cost.
The parts on compile time execution are the better parts of the article, IMO. There’s food for thought here. The author might enjoy reading up on partial evaluation.
Then, fulfilling Greenspun’s 10th, the article reinvents Lisp macros.
The goal of all American business is exactly the same: maximize the return of profits to the shareholders at large. It is in fact, the law. Do more with less is a natural consequence of this.
that's a good question actually.
We can define and assign side effects.
But is it sufficient to control the list of side effectful operations of a function?
Can the compiler check that a function is pure besides its assigned side effects?
What about state modified via closures?
Or is it only for system side-effects like filesystem operations?
If the database effect wrote to a file it'd require the `IO` effect and code using it would need that effect as well. A compiler can generally show a function to be free of most side effects if it uses no effects. The exceptions to this are things like divergence. As long as the language is Turing complete you can't prove it won't loop forever of course. Another exception could be extern functions which the compiler can't verify the correctness of the type signature. Different languages handle these differently but if users are allowed to write any (and the language doesn't force them to have an IO effect) then they can be a source of unsafety. Languages like Koka and Effekt are considered pure though and enforce this through their effect systems.
I seem to remember that they alledgedly induced neoneurogenesis.
reply