You would likely be interested in Jamie Brandon's work on the Zest language [1] which has planned "lax", "strict", and "kernel" modes for varying levels of performance/safety [1]:…
Adding a font is just `#set text(font: "besley")` or you can use a list for fallback like `#set text(font: ("jost", "noto sans")`. Then you can select weight, italic/bold, opentype features, ligatures, etc. as options…
I'm actually currently doing some research on operator precedence and syntax, so it's fun to see such a relevant post! One of my favorite syntaxes for custom operators comes from Agda and allows for easy definition of…
I haven't seen a mention of the Oil Shell (https://oilshell.org) project's OSH/YSH yet and I'm quite surprised. Oils goal is that OSH is just a new Bash implementation (although not bug-for-bug) but with an upgrade-path…
Link seems broken?
The pareto optimal essay?
I liked a quote from a No Boilerplate video [0] noting how some of the most commonly used Rust libraries hadn't had any git commits in multiple years: "They're not abandoned, they're done." [0]…
I initially took the title as asking why diamonds or sapphire are harder than uglier rocks. Guess I'll need to find that link myself ;)
This is also the reason behind the name XKCD
I agree with other commenters that paper and pencil are the way to go for true learning, but the other week I left my notebook at home for a lecture, and was able to keep good notes with Typst, although my typing speed…
This is a major plot point of the book A Beautifully Foolish Endeavor, sequel to An Absolutely Remarkable Thing. The main antagonist uses high quality VR to trick the brain into full reality from someone else's…
A vector is a position in a dimensional space. In 2D space a vector is a point (x, y) like (1, 3) or (-2.5, 7.39). We can also do simple math on vectors like addition: (1, 3) + (2, -1) = (3, 2). LLMs treat language as…
I used the same type of deck in Yu-Gi-Oh a few years ago. Something with fusion summoning elemental heroes which banished everything before bringing everything back. Wasn't all that good, but was somewhat fun to watch…
Reading these comments is starting to feel like an https://xkcd.com/2304/ situation.
My first thought when seeing the screenshot was that it feels like it should just be a vscode extension.
It works over wifi, but you might be interested in KDE Connect [1]. It can do clipboard, remote input, file sending, command running, etc. on Windows and Linux. [1] https://kdeconnect.kde.org/
What are your thoughts on the prql language?
My university has an infamous project of implementing Euchre (another trick-taking game) in C++ in one of the early programming courses. It's a nice fundamental problem for dealing with objects, agents, and logic.
I'm quite unsure of myself here and might be mistaken, but there's also the chomskyist argument that much of the structure of human language is derived from the structure of our brain itself. Our brain is flexible…
I assume to stop one dedicated person doing too much of the image. The novelty here is the community aspect.
This was fun, I forget sometimes how silly all our grade school math worksheets used to be. I always had trouble showing my work for simple additions and multiplication, it's a bit easier when its a self motivated…
Is this not a form of mutation testing? With the added idea of treating anything you write to sanity-check the output as a test?
You would likely be interested in Jamie Brandon's work on the Zest language [1] which has planned "lax", "strict", and "kernel" modes for varying levels of performance/safety [1]:…
Adding a font is just `#set text(font: "besley")` or you can use a list for fallback like `#set text(font: ("jost", "noto sans")`. Then you can select weight, italic/bold, opentype features, ligatures, etc. as options…
I'm actually currently doing some research on operator precedence and syntax, so it's fun to see such a relevant post! One of my favorite syntaxes for custom operators comes from Agda and allows for easy definition of…
I haven't seen a mention of the Oil Shell (https://oilshell.org) project's OSH/YSH yet and I'm quite surprised. Oils goal is that OSH is just a new Bash implementation (although not bug-for-bug) but with an upgrade-path…
Link seems broken?
The pareto optimal essay?
I liked a quote from a No Boilerplate video [0] noting how some of the most commonly used Rust libraries hadn't had any git commits in multiple years: "They're not abandoned, they're done." [0]…
I initially took the title as asking why diamonds or sapphire are harder than uglier rocks. Guess I'll need to find that link myself ;)
This is also the reason behind the name XKCD
I agree with other commenters that paper and pencil are the way to go for true learning, but the other week I left my notebook at home for a lecture, and was able to keep good notes with Typst, although my typing speed…
This is a major plot point of the book A Beautifully Foolish Endeavor, sequel to An Absolutely Remarkable Thing. The main antagonist uses high quality VR to trick the brain into full reality from someone else's…
A vector is a position in a dimensional space. In 2D space a vector is a point (x, y) like (1, 3) or (-2.5, 7.39). We can also do simple math on vectors like addition: (1, 3) + (2, -1) = (3, 2). LLMs treat language as…
I used the same type of deck in Yu-Gi-Oh a few years ago. Something with fusion summoning elemental heroes which banished everything before bringing everything back. Wasn't all that good, but was somewhat fun to watch…
Reading these comments is starting to feel like an https://xkcd.com/2304/ situation.
My first thought when seeing the screenshot was that it feels like it should just be a vscode extension.
It works over wifi, but you might be interested in KDE Connect [1]. It can do clipboard, remote input, file sending, command running, etc. on Windows and Linux. [1] https://kdeconnect.kde.org/
What are your thoughts on the prql language?
My university has an infamous project of implementing Euchre (another trick-taking game) in C++ in one of the early programming courses. It's a nice fundamental problem for dealing with objects, agents, and logic.
I'm quite unsure of myself here and might be mistaken, but there's also the chomskyist argument that much of the structure of human language is derived from the structure of our brain itself. Our brain is flexible…
I assume to stop one dedicated person doing too much of the image. The novelty here is the community aspect.
This was fun, I forget sometimes how silly all our grade school math worksheets used to be. I always had trouble showing my work for simple additions and multiplication, it's a bit easier when its a self motivated…
Is this not a form of mutation testing? With the added idea of treating anything you write to sanity-check the output as a test?