LectronPusher

7 ms·

1.
by LectronPusher 2y ago
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]: https://w
2.
by LectronPusher 2y ago
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
3.
by LectronPusher 2y ago
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 mixfix opera
4.
by LectronPusher 2y ago
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
5.
by LectronPusher 2y ago
Link seems broken?
6.
by LectronPusher 3y ago
The pareto optimal essay?
7.
by LectronPusher 3y ago
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] https://
8.
by LectronPusher 3y ago
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 ;)
9.
by LectronPusher 3y ago
This is also the reason behind the name XKCD
10.
by LectronPusher 3y ago
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 isn't excellent.
11.
by LectronPusher 3y ago
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 perspective. The effect
12.
by LectronPusher 3y ago
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 combinations of vector
13.
by LectronPusher 3y ago
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 opponents realize
14.
by LectronPusher 3y ago
Reading these comments is starting to feel like an https://xkcd.com/2304/ situation.
15.
by LectronPusher 3y ago
My first thought when seeing the screenshot was that it feels like it should just be a vscode extension.
16.
by LectronPusher 3y ago
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/
17.
by LectronPusher 3y ago
What are your thoughts on the prql language?
18.
by LectronPusher 3y ago
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.
19.
by LectronPusher 3y ago
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 enough to genera
20.
by LectronPusher 3y ago
I assume to stop one dedicated person doing too much of the image. The novelty here is the community aspect.
21.
by LectronPusher 3y ago
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 dunking on the GPUs.
22.
by LectronPusher 3y ago
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?