romac

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 ›