@anon
sign up
@anon
sign up
pull down to refresh
Large Enough – Mistral AI
mistral.ai/news/mistral-large-2407/
121 sats
\
0 comments
\
@hn
24 Jul 2024
tech
related
Mistral Small 3 - new best small AI model
236 sats
\
2 comments
\
@zuspotirko
30 Jan
tech
Escaping the Chrome Sandbox Through DevTools
ading.dev/blog/posts/chrome_sandbox_escape.html
109 sats
\
0 comments
\
@hn
17 Oct 2024
tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecord
blog.julik.nl/2025/04/a-can-of-shardines
49 sats
\
0 comments
\
@hn
27 Apr
tech
The Art of Lisp and Writing
www.dreamsongs.com/ArtOfLisp.html
10 sats
\
0 comments
\
@hn
15 Jun
tech
Nanolog supports logging with 7 ns median latency
github.com/PlatformLab/NanoLog
31 sats
\
0 comments
\
@hn
23 Aug 2024
tech
Why I Chose Common Lisp
blog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats
\
0 comments
\
@hn
12 Jan
tech
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]
www.jjj.de/fxt/fxtbook.pdf
85 sats
\
0 comments
\
@hn
7 Mar
tech
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar
tech
Brew-Nix: a flake automatically packaging all homebrew casks
discourse.nixos.org/t/brew-nix-a-flake-automatically-packaging-all-homebrew-casks/44880
52 sats
\
0 comments
\
@hn
14 Jun 2024
tech
Conway's Game of Life, in checkboxes for some reason
huth.me/checkbox-life/
51 sats
\
0 comments
\
@hn
28 Jun 2024
tech
From Pegasus to Predator – The evolution of commercial spyware on iOS [video]
media.ccc.de/v/38c3-from-pegasus-to-predator-the-evolution-of-commercial-spyware-on-ios
11 sats
\
0 comments
\
@hn
30 Dec 2024
tech
Machine-Assisted Proof by Terence Tao [pdf]
www.ams.org/notices/202501/rnoti-p6.pdf
172 sats
\
0 comments
\
@hn
28 Dec 2024
tech
Computing with Time: Microarchitectural Weird Machines
cacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats
\
0 comments
\
@hn
25 Nov 2024
tech
Magistral — the first reasoning model by Mistral AI
mistral.ai/news/magistral
10 sats
\
0 comments
\
@hn
10 Jun
tech
Build AI agents with the Mistral Agents API
mistral.ai/news/agents-api
10 sats
\
0 comments
\
@carter
27 May
tech
With AI You Need to Think Much Bigger!
rodyne.com/?p=1828
177 sats
\
1 comment
\
@saadelh
16 Mar
AI
Episode 002: What's new in AI
bytebroadcast.com/p/episode-002-whats-new-in-ai-132
31 sats
\
2 comments
\
@profullstack
24 Oct 2024
podcasts
Wairdle - a followup about AI's struggles
404 sats
\
10 comments
\
@crrdlx
12 Aug
AI
more