tonyg

14 ms·

151.
by tonyg 3y ago
You'll never guess what cellular modems still use.
152.
by tonyg 3y ago
Setting up gotosocial for just me was straightforward (but not straightforward enough for someone who doesn't manage their own private little fleet of linux servers, sigh). However it doesn't work well: none of the more social ele
153.
by tonyg 3y ago
False dichotomy
154.
by tonyg 3y ago
Yep. Unix' "everything is a stream of bytes" hoist by its own petard, again.
155.
by tonyg 3y ago
Yes: https://git.syndicate-lang.org/syndicate-lang/syndicate-js/s... The `syntax` subdirectory is (or should be!) pretty clean. The `compiler` subdirectory is, uh, functional. Please do get in touch if you have an
156.
by tonyg 3y ago
Yes, I've done this too, but I don't think it's feasible for the MS TypeScript implementation, which is implemented quite differently.
157.
by tonyg 3y ago
The implementation of the parser is deeply, deeply baked in to the whole of the MS TypeScript compiler and tooling libraries. It's not feasible to, e.g., add new AST nodes, or change or augment the grammar producing them, and there&#x2
158.
by tonyg 3y ago
> We can't change the parser Aw :-( That's the bit that I'd really like to have TS macros for! My own approach has been to loosely parse input as something like D-expressions, transform that, and pipe the result into the T
159.
by tonyg 3y ago
Beautiful. Thank you for that link.
160.
Breaking Down the System Layer(synit.org)
1 points by tonyg 3y ago|0 comments
161.
A security kernel based on the lambda calculus (1996)(mumble.net)
3 points by tonyg 3y ago|0 comments
162.
by tonyg 3y ago
This is a good article. Also good, along similar lines, is the W7 paper: "A Security Kernel Based on the Lambda-Calculus", Jonathan A. Rees, MIT AI memo 1564, 1996. Available as PDF at its official home at https://dspac
163.
by tonyg 4y ago
A little disappointed at the brevity of the comparison with what I would have thought to be extremely related work: > In functional programming, stream fusion is a related technique which can fuse lazily constructed streams [27, 39 ].
164.
Noise Protocol Framework(noiseprotocol.org)
1 points by tonyg 4y ago|0 comments
165.
by tonyg 4y ago
Apropos recent discussion of using Postgres as a queue.
166.
Tasks within Transactions using RabbitMQ(eighty-twenty.org)
1 points by tonyg 4y ago|1 comments
167.
by tonyg 4y ago
No one "worked for generations". We each get one lifetime, that's it.
168.
SirTunnel, a personal ngrok alternative(eighty-twenty.org)
147 points by tonyg 4y ago|24 comments
169.
by tonyg 4y ago
> Try and read GPS data without asking the operating system for that capability. That's not capability-based security: you have to do that whichever model is in use. The ocaps come in when you use dependency injection (aka "fun
170.
by tonyg 4y ago
No: one possible alternative interaction would be the user handing the program a representation of an instance of the class of object requested. For instance, if the program wants a camera, it says "drag and drop a camera here". T
171.
by tonyg 4y ago
Seriously, begging developers to change or fix things doesn't count as "user empowerment", and neither does spending the 10,000 hours necessary to figure out the maze of interlocking horrible technologies required to try to f
172.
by tonyg 4y ago
> A normal end user cannot do anything about this without significant effort. This succinctly captures an important truth about computers (and especially mobile phones) over the past thirty years or so. Free software communities just don
173.
by tonyg 4y ago
Typed Racket, but you'd write the pipe operator as a trivial macro rather than as a function.
174.
Synit and SqueakPhone Demo [video](youtube.com)
4 points by tonyg 4y ago|0 comments
175.
Breaking Down the System Layer(synit.org)
1 points by tonyg 4y ago|0 comments
176.
by tonyg 4y ago
No, I don't use SSH certificates at all, just public keys and/or passwords
177.
by tonyg 4y ago
Yes, I use them for work
178.
by tonyg 4y ago
Yes, I use them for my personal machines
179.
by tonyg 4y ago
I put CA keys straight on SSH-client machines, like a regular public key
180.
by tonyg 4y ago
I put CA keys on just one machine, and log in to that machine to generate certificates that I use from other SSH-client machines

More ›