one-more-minute

6 ms·

1.
by one-more-minute 10mo ago
http://mikeinnes.io/posts/advent-2025/ I've been working through advent of code using my own little compiler/language. It's in such an early state that some creative problem solving is required, not
2.
by one-more-minute 1y ago
I'm working on a little hobby language that compiles to wasm: https://mikeinnes.io/posts/raven/ I've spent the last couple of months porting the compiler from Julia to TypeScript. That's nearly done
3.
by one-more-minute 2y ago
The author outlines a fair bit of the design thinking in this post [0]. What Datalog and co give you is the ability to do interesting program transformations. Mostly that's not because they are "declarative", if that means an
4.
Zest: a programming language for malleable and legible systems(github.com)
56 points by one-more-minute 2y ago|14 comments
5.
by one-more-minute 2y ago
Even within HTTP services, (a) your TLS will not be end to end, so you have to be happy for Cloudflare to see your data and (b) they don't like you to use up all their bandwidth with media streaming or other large files. Tunnel is a gr
6.
by one-more-minute 3y ago
I'm not against a tasteful flourish or two, but in safari the header of this blog stuck over the content as I scroll: https://imgur.com/a/TyU2h3t Something cool the web can do is static, reliable, easily readable
7.
by one-more-minute 3y ago
You need (a little) JS to run Wasm in the same way you need (a little) HTML to run JS; it's a hosted platform. JS handles loading and invoking the wasm code, and because it's close to a pure instruction set there's very littl
8.
by one-more-minute 3y ago
I mean, the article's logic is effectively that you can break code without the type system helping or warning you. I don't think Hickey would disagree with this – it's arguably a point in his favour.
9.
by one-more-minute 4y ago
A nice example, not currently available on Google fonts AFAICT, is 'Gilbert': https://www.typewithpride.com
10.
by one-more-minute 4y ago
Monotropism is compelling for all the reasons the author gives, but it isn't without any loose ends. For example, stimming is a characteristic feature of autism; the authors of the original paper briefly describe it as a focus on activ
11.
by one-more-minute 4y ago
I dislike referring to WASM as a "stack machine" for this reason. It is useful to remember that the text format started out as a low-level lisp-y expression tree with local variables and nested control flow. It still basically is
12.
by one-more-minute 4y ago
Epidemiologists study health at the population level in general, not just communicable diseases. So at least in that sense the "epidemi-" prefix isn't limited to infection. Is there any better term for a health issue with rap
13.
by one-more-minute 4y ago
Must be because I learned some French as a kid, but I can't help reading the "oi" as a "wa" sound in this context. Probably not what the authors were going for.
14.
by one-more-minute 4y ago
To expand on this, the switching argument is actually correct if you happen to know that the envelopes contain either {x, 2x} or {2x, 4x} dollars (where x = 50 or whatever), and you observe that A=100. These are effectively hidden assumpt
15.
by one-more-minute 4y ago
Right. I mean the original, paradoxical line of reasoning – "the switching argument". I see that the article also says "commonly one writer proposes a solution to the problem as stated, after which another writer shows that a
16.
by one-more-minute 4y ago
This line of reasoning isn't possible if you have specific amounts (eg £50 and £100) for the envelopes, which suggests that the variable A is being misused somehow. `B = (2A if A=50, A/2 if A=100)`. Simplifying this to `B = 2A or
17.
by one-more-minute 4y ago
There's a proposed standard for embedding DWARF debug info in WASM binaries [1], which at least Chrome already supports. This is the same format native executables use, so it should put wasm ahead of other VMs in terms of source langua
18.
by one-more-minute 4y ago
Right. It's important to remember that tools like JAX and PyTorch have total control over the numerical libraries they are differentiating, and have freedom to impose whatever semantics, rules and restrictions are convenient (immutab
19.
by one-more-minute 4y ago
It might be useful to separate the issues that are "just" bugs from the problems that come with Julia's unusual level of composability. I have no idea if Julia has more bog-standard, local bugs – things like data structure pr
20.
by one-more-minute 4y ago
Rust and Go seemed to initially want to target C programmers [1], but ended up capturing users from higher level languages – even Python and such – who wanted better performance and more control, because they had so many affordances. Hare c
21.
by one-more-minute 4y ago
Do this enough and you get a superpower (or at least a neat party trick): you can translate ideas across field boundaries and find really interesting links between subjects. Even just observing that some idea X has been discovered by fields
22.
by one-more-minute 5y ago
Cool! If the author is reading, have you looked at synaesthesia, and do you think it applies here? The idea of addition having both a visual appearance and a kinetic feel is alien to me (perhaps partly because I avoid mental arithmetic like
23.
by one-more-minute 5y ago
In general the gov.uk website is stellar. Lots of good info, and plenty of thought has gone into making everything clear, accessible and pleasing to the eye. Things generally work in a way that they really don't on most public org webs
24.
by one-more-minute 5y ago
Being explicit about side effects in the type system isn't a bad idea, but don't conflate that with blocking/non-blocking operations. Some side effects aren't async (eg console.log in JS, mutating shared state) and some
25.
by one-more-minute 5y ago
Some interesting psychology here: > In one study, each participant was given $25 and asked to place even-money bets on a coin that would land heads 60% of the time. Participants had 30 minutes to play, so could place about 300 bets, and
26.
Letterlocking: Origami in Reverse(economist.com)
2 points by one-more-minute 6y ago|0 comments
27.
by one-more-minute 6y ago
Tangential question about FPGAs: Is there any work on compiling code to a combination of hardware and software? I'm imagining that the "outer loop" of a program is still fairly standard ARM instructions, or similar, but the c
28.
WebAssembly on Roku(motley-coder.com)
3 points by one-more-minute 6y ago|1 comments
29.
by one-more-minute 6y ago
See also Piet: https://esolangs.org/wiki/Piet
30.
Onasemnogene Abeparvovec(en.wikipedia.org)
1 points by one-more-minute 7y ago|0 comments

More ›