ravenical

Joined 1 year ago

Karma

1,475

Submissions

125

Member since

May 21

View on Hacker News

Recent submissions

CorridorKey 2.0 corridorkey.com

206 ravenical 4 days ago 78 comments

Bootstrapping the Verified Software Stack theorem.dev

2 ravenical 8 days ago 0 comments

Comment · 15 days ago

Syllables, not letters. Bonsai -> sai-on -> Scion

Comment · 20 days ago

> hope some typescript-like "typed shell" becomes mainstream someday

Might want to check out nushell (https://www.nushell.sh/)

Safe SIMD in Rust, even on the inside shnatsel.github.io

69 ravenical 21 days ago 4 comments

A Tale of Two Programmers c00kiemon5ter.github.io

2 ravenical 24 days ago 0 comments

Comment · 24 days ago

https://github.com/openai/math

Pre-Emptive Commit Messages arialdomartini.github.io

1 ravenical 1 month ago 0 comments

A24 making an SCP movie without anybody from The SCP Foundation involved avclub.com

3 ravenical 1 month ago 0 comments

Comment · 1 month ago

That's... not Minecraft. That's some weird voxel game attempting, poorly, to clone Minecraft. Doesn't really bode well, imo.

Hook and Squeeze data4democracy.substack.com

1 ravenical 1 month ago 0 comments

Fermat's Last Theorem: Anthropic has beaten me to it xenaproject.wordpress.com

43 ravenical 1 month ago 2 comments

Wikimedia Foundation declines to voluntarily recognise the union wikimediafoundation.org

7 ravenical 3 months ago 3 comments

Comment · 3 months ago

You want https://hardcover.app/.

The Dispensable Nation crookedtimber.org

2 ravenical 3 months ago 1 comments