veqq

45 ms·

331.
Alligator Eggs and Lambda Calculus (2007)(worrydream.com)
29 points by veqq 2y ago|8 comments
332.
by veqq 2y ago
Related to an old comment of yours: > I also kind of strongly dislike HtDP. I'm researching programming pedagogy and I'm curious about your thoughts on this.
333.
2D Racket Syntax(docs.racket-lang.org)
88 points by veqq 2y ago|15 comments
334.
Time, Clocks and the Ordering of Events in a Distributed System (1978)(lamport.azurewebsites.net)
1 points by veqq 2y ago|0 comments
335.
by veqq 2y ago
ctrl+shift+right click overrides any such js
336.
What's up with Lobste.rs blocking the Brave browser?(lobste.rs)
79 points by veqq 2y ago|92 comments
337.
by veqq 2y ago
Iverson's Notation as a Tool of Thought defends the opposite idea (and explains the reason for APL): https://news.ycombinator.com/item?id=25249563 It's about phase transitions. When you understand the system, shor
338.
by veqq 2y ago
You can trivially remove it e.g. `disableHugoGeneratorInject = true` in `config.toml`.
339.
by veqq 2y ago
Concrete Abstractions, Schematics of Computation and others from the era (also using Scheme) covered similar ground (and went far further!) SICP is denser and sticks to theory forgoing databases, operating systems and actually implementing
340.
by veqq 2y ago
Different applications also supported different feature sets. Keeping up with ever newer supersets also stretched many players’ resources too much: https://alexalejandre.com/programming/xmpp-open-messaging-st... > A
341.
Brainfuck Enterprise Solutions(bf-enterprise-solutions.github.io)
2 points by veqq 2y ago|0 comments
342.
by veqq 2y ago
Common Lisp's REPL works like this.
343.
by veqq 2y ago
- Decent Interval - Frank Snepp - About Saigon's fall by a CIA analyst - Inside China's Nuclear Weapons Program - Danny Stillman - Operation Dark Heart - Anthony Shaffer - Afghanistan. "The Pentagon" bought and destroyed
344.
Tutorial on Good Lisp Programming Style – Norvig [pdf](cs.umd.edu)
3 points by veqq 2y ago|0 comments
345.
by veqq 2y ago
https://ryjo.codes/ has a lot of good material on CLIPS.
346.
by veqq 2y ago
https://www.nand2tetris.org/ starts making logic gates until you build a language in assembly, which you implement Tetris with.
347.
by veqq 2y ago
Airlines are subsidized all around the world, and incinerate money everywhere. Very few airlines are profitable over even short periods. In the US, Southwest is the only one whose shareholder equity's grown in the last 5, 10, 20 or how
348.
Growing a Language – Guy Steele (1998) [video](youtube.com)
3 points by veqq 2y ago|0 comments
349.
by veqq 2y ago
> that was shutting down exercism is not shutting down. He responded to multiple comments saying he wasn't and he doesn't understand how people jumped to that conclusion. e.g. https://news.ycombinator.com/item?i
350.
Macro-forth: Forth implemented in compile-time rust macros (Fastest Forth)(github.com)
1 points by veqq 2y ago|0 comments
351.
Implementation of Functional Languages Using Custom Hardware (1985)(cl.cam.ac.uk)
3 points by veqq 2y ago|0 comments
352.
by veqq 2y ago
Tangentially, what APIs do you guys actually pay for? (Personally or through work)
353.
Common Lisp Cookbook – Equality(lispcookbook.github.io)
1 points by veqq 2y ago|0 comments
354.
by veqq 2y ago
How much would you pay for that - compared to existing VPN solutions? You can find cloud hosts or server rentals in Bosnia, Colombia or wherever fairly easily.
355.
by veqq 2y ago
> It is really used much in companies? Cisco seems to use Chez for something mysterious, a video game company scripted in Scheme, stopped and restarted again. I know a guy who does option trading in Racket, I have some large valuation mo
356.
by veqq 2y ago
Wow, you weren't joking: > apic_c1e spectre_v1 spectre_v2 spec_store_bypass swapgs taa itlb_multihit srbds mmio_stale_data retbleed eibrs_pbrsb gds bhi
357.
Eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee (2018)(github.com)
7 points by veqq 2y ago|2 comments
358.
8-Bit CPU Formed on Single Grain Glass Substrate (2002)(z80.info)
5 points by veqq 2y ago|0 comments
359.
by veqq 2y ago
The walled gardens increasingly block URLs - FB blocks many sites for sharing copywrited content (even random blogs) - reddit blocks all dot ru, may archival sites, telegram links etc. etc. - twitter blocked some blogging platforms - also m
360.
How Big Tech Ruined Farming [video](youtube.com)
2 points by veqq 2y ago|0 comments

More ›