Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
romac
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
9 ms
·
1.
▲
Human-in-the-loop code review tool for AI-generated changes
(tuicr.dev)
4 points
by
romac
5mo ago
|
0 comments
2.
▲
One Developer, Two Dozen Agents, Zero Alignment
(maggieappleton.com)
1 points
by
romac
5mo ago
|
0 comments
3.
▲
Rust should have stable tail calls
(trifectatech.org)
5 points
by
romac
6mo ago
|
0 comments
4.
▲
Reckless Drivin' (2000) ported to native SDL2 for macOS and Linux
(github.com)
5 points
by
romac
7mo ago
|
1 comments
5.
▲
Glaze
(raycast.com)
1 points
by
romac
7mo ago
|
0 comments
6.
▲
Glaze by Raycast
(glazeapp.com)
234 points
by
romac
7mo ago
|
145 comments
7.
▲
by
romac
7mo ago
Yes there are many such crates, which can indeed kinda fill the gap. One of the more recent one is https://docs.rs/bon
8.
▲
Rust Doesn't Have Named Arguments. So What?
(thoughtbot.com)
2 points
by
romac
7mo ago
|
2 comments
9.
▲
Browse Code by Meaning
(haskellforall.com)
13 points
by
romac
7mo ago
|
1 comments
10.
▲
by
romac
8mo ago
There is a single-page version of the book that you can save as a PDF: https://betrusted.io/xous-book/print.html
11.
▲
Running a Linux Router on macOS
(amodm.com)
1 points
by
romac
1y ago
|
2 comments
12.
▲
EU could earn €1T by taxing aviation, private jets included
(euractiv.com)
6 points
by
romac
1y ago
|
1 comments
13.
▲
Amp: Agentic Coding Tool by Sourcegraph
(ampcode.com)
2 points
by
romac
1y ago
|
0 comments
14.
▲
Infinite Monkey: Chat with an LLM to control an emulated classic Mac
(infinitemac.org)
3 points
by
romac
1y ago
|
0 comments
15.
▲
Retrobootstrapping Rust for some reason
(graydon2.dreamwidth.org)
142 points
by
romac
1y ago
|
51 comments
16.
▲
by
romac
1y ago
You can also go the other way around and generate traces [1] from the TLA+ or Quint [2] specs using the Apalache model checker [3], map each action in the trace to an action on your system under test, and check that the abstract and concret
17.
▲
by
romac
1y ago
If you are interested in TLA+, you might want to check out Quint ( https://quint-lang.org ), a modern take on a specification language which shares the same underlying temporal logic of actions, but with a syntax more familiar to
18.
▲
An Year of the Linux Desktop
(xeiaso.net)
7 points
by
romac
1y ago
|
0 comments
19.
▲
by
romac
2y ago
And they are pushing in that direction: https://machinelearning.apple.com/research/homomorphic-encry...
20.
▲
I'm Using Linux in My Spare Time Now
(marcelvoss.com)
3 points
by
romac
2y ago
|
0 comments
21.
▲
DuckDuckGo macOS Browser
(github.com)
2 points
by
romac
2y ago
|
0 comments
22.
▲
by
romac
2y ago
If you haven't seen those already, you might also want to check out: - Apalache: a symbolic model checker for TLA+ backed by Z3 (https://apalache-mc.org) - Quint: a modern and executable specification language with TLA+
23.
▲
by
romac
2y ago
I wonder if this could be made to work in the browser using CheerpJ? https://cheerpj.com
24.
▲
Unclog – Build your changelog from a structured collection of independent files
(github.com)
2 points
by
romac
2y ago
|
0 comments
25.
▲
GDC: Classic Postmortem - The Making of Myst [video]
(youtube.com)
1 points
by
romac
3y ago
|
0 comments
26.
▲
37C3: SMTP Smuggling – Spoofing Emails Worldwide [video]
(media.ccc.de)
4 points
by
romac
3y ago
|
1 comments
27.
▲
A Brainfuck interpreter written in PostScript
(github.com)
117 points
by
romac
3y ago
|
55 comments
28.
▲
EPFL's New Large Language Model for Medical Knowledge
(actu.epfl.ch)
3 points
by
romac
3y ago
|
1 comments
29.
▲
by
romac
3y ago
Vale has a very interesting approach to memory safety, without garbage collection or a borrow checker, using a memory management technique called "generational references" which I had never heard of previously.
30.
▲
The Vale Programming Language
(vale.dev)
1 points
by
romac
3y ago
|
1 comments
More ›