@anon
sign up
@anon
sign up
pull down to refresh
New coding models and integrations
ollama.com/blog/coding-models
0 sats
\
0 comments
\
@hn
16h
tech
related
Stimulation Clicker
neal.fun/stimulation-clicker/
12 sats
\
0 comments
\
@hn
6 Jan
tech
Nanolog supports logging with 7 ns median latency
github.com/PlatformLab/NanoLog
31 sats
\
0 comments
\
@hn
23 Aug 2024
tech
Magistral — the first reasoning model by Mistral AI
mistral.ai/news/magistral
10 sats
\
0 comments
\
@hn
10 Jun
tech
But what are Hamming codes? The origin of error correction - 3Blue1Brown (2020)
www.youtube.com/watch?v=X8jsijhllIA&ab_channel=3Blue1Brown
195 sats
\
0 comments
\
@south_korea_ln
6 Dec 2024
science
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
Adding row polymorphism to Damas-Hindley-Milner
bernsteinbear.com/blog/row-poly/
21 sats
\
0 comments
\
@hn
23 Oct 2024
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar
tech
Planet eBook: free literature for your device
www.planetebook.com/
20 sats
\
0 comments
\
@hn
29 Jul 2024
tech
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
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
Fonts for Complex Data
www.typography.com/blog/fonts-for-complex-data
21 sats
\
0 comments
\
@hn
13 Apr 2024
tech
Show HN: Rill – Composable concurrency toolkit for Go
github.com/destel/rill
11 sats
\
0 comments
\
@hn
25 Nov 2024
tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 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
Why no one should use the AT&T syntax ever, for any reason (2021)
outerproduct.net/2021-02-13_att-asm.html
22 sats
\
0 comments
\
@hn
9 Jun 2024
tech
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Coding Is Changing...Here Is What You NEED To Know
www.youtube.com/watch?v=yTzqWczUrM0
10 sats
\
0 comments
\
@zarko
30 Jan 2024
devs
Coding for a Finite World
yoric.github.io/post/coding-for-a-finite-world/
20 sats
\
0 comments
\
@co574
5 Nov 2024
devs
NIP-88: binary event encoding by dr-orlovsky
github.com/nostr-protocol/nips/pull/512
52 sats
\
0 comments
\
@Rsync25
10 May 2023
bitcoin
REFRAG: Rethinking RAG based Decoding
arxiv.org/abs/2509.01092
136 sats
\
0 comments
\
@carter
14 Oct
AI
Rolling code - Wikipedia (2006)
en.wikipedia.org/wiki/Rolling_code?utm_source=chatgpt.com
30 sats
\
3 comments
\
@south_korea_ln
28 Feb
science
more