1."Why don't you use dependent types?"("Why don't you use dependent types?")
("Why don't you use dependent types?")
要約がありません。
投稿者: baruchel | スコア: 26
2.Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch(Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch)
(Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch)
要約がありません。
投稿者: meander_water | スコア: 77
3.URLs are state containers(URLs are state containers)
(URLs are state containers)
要約がありません。
投稿者: thm | スコア: 165
4.Autodesk's John Walker Explained HP and IBM in 1991(Autodesk's John Walker Explained HP and IBM in 1991)
(Autodesk's John Walker Explained HP and IBM in 1991)
要約がありません。
投稿者: suioir | スコア: 25
5.Mock – An API creation and testing utility: Examples(Mock – An API creation and testing utility: Examples)
(Mock – An API creation and testing utility: Examples)
要約がありません。
投稿者: dhuan_ | スコア: 73
6.Backpropagation is a leaky abstraction (2016)(Backpropagation is a leaky abstraction (2016))
(Backpropagation is a leaky abstraction (2016))
要約がありません。
投稿者: swatson741 | スコア: 221
7.Notes by djb on using Fil-C (2025)(Notes by djb on using Fil-C (2025))
(Notes by djb on using Fil-C (2025))
要約がありません。
投稿者: transpute | スコア: 169
8.Matched Clean Power Index(Matched Clean Power Index)
(Matched Clean Power Index)
要約がありません。
投稿者: bensg | スコア: 21
9.Go Primitive in Java, or Go in a Box(Go Primitive in Java, or Go in a Box)
(Go Primitive in Java, or Go in a Box)
要約がありません。
投稿者: ingve | スコア: 35
10.Visopsys: OS maintained by a single developer since 1997(Visopsys: OS maintained by a single developer since 1997)
(Visopsys: OS maintained by a single developer since 1997)
要約がありません。
投稿者: kome | スコア: 403
11.HyperRogue – A non-Euclidean roguelike(HyperRogue – A non-Euclidean roguelike)
(HyperRogue – A non-Euclidean roguelike)
要約がありません。
投稿者: stared | スコア: 81
12.Claude Code can debug low-level cryptography(Claude Code can debug low-level cryptography)
(Claude Code can debug low-level cryptography)
要約がありません。
投稿者: Bogdanp | スコア: 387
13.Welcome to hell; please drive carefully(Welcome to hell; please drive carefully)
(Welcome to hell; please drive carefully)
要約がありません。
投稿者: 2earth | スコア: 49
14.Updated practice for review articles and position papers in ArXiv CS category(Updated practice for review articles and position papers in ArXiv CS category)
(Updated practice for review articles and position papers in ArXiv CS category)
要約がありません。
投稿者: dw64 | スコア: 468
15.How I use every Claude Code feature(How I use every Claude Code feature)
(How I use every Claude Code feature)
要約がありません。
投稿者: sshh12 | スコア: 362
16.Pomelli(Pomelli)
(Pomelli)
要約がありません。
投稿者: birriel | スコア: 223
17.LM8560, the eternal chip from the 1980 years(LM8560, the eternal chip from the 1980 years)
(LM8560, the eternal chip from the 1980 years)
要約がありません。
投稿者: userbinator | スコア: 86
18.FlightAware Map Design(FlightAware Map Design)
(FlightAware Map Design)
要約がありません。
投稿者: marklit | スコア: 61
19.A man who changes the time on Big Ben(A man who changes the time on Big Ben)
(A man who changes the time on Big Ben)
要約がありません。
投稿者: simmerup | スコア: 7
20.GHC now runs in the browser(GHC now runs in the browser)
(GHC now runs in the browser)
要約がありません。
投稿者: kaycebasques | スコア: 331
21.Writing FreeDOS Programs in C(Writing FreeDOS Programs in C)
(Writing FreeDOS Programs in C)
要約がありません。
投稿者: AlexeyBrin | スコア: 3
22.Automatically Translating C to Rust(Automatically Translating C to Rust)
(Automatically Translating C to Rust)
要約がありません。
投稿者: FromTheArchives | スコア: 86
23.Context engineering(Context engineering)
(Context engineering)
要約がありません。
投稿者: chrisloy | スコア: 45
24.Why write code if the LLM can just do the thing? (web app experiment)(Why write code if the LLM can just do the thing? (web app experiment))
(Why write code if the LLM can just do the thing? (web app experiment))
要約がありません。
投稿者: samrolken | スコア: 379
25.When O3 is 2x slower than O2(When O3 is 2x slower than O2)
(When O3 is 2x slower than O2)
要約がありません。
投稿者: keyle | スコア: 65
26.Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust(Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust)
(Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust)
要約がありません。
投稿者: 0x1997 | スコア: 81
27.SQLite concurrency and why you should care about it(SQLite concurrency and why you should care about it)
(SQLite concurrency and why you should care about it)
要約がありません。
投稿者: HunOL | スコア: 328
28.Reflections on Trusting Trust (1984)(Reflections on Trusting Trust (1984))
(Reflections on Trusting Trust (1984))
要約がありません。
投稿者: erhuve | スコア: 3
29.Anonymous credentials: rate-limit bots and agents without compromising privacy(Anonymous credentials: rate-limit bots and agents without compromising privacy)
(Anonymous credentials: rate-limit bots and agents without compromising privacy)
要約がありません。
投稿者: eleye | スコア: 83
30.Beginner-friendly, unofficial documentation for Helix text editor(Beginner-friendly, unofficial documentation for Helix text editor)
(Beginner-friendly, unofficial documentation for Helix text editor)
要約がありません。
投稿者: Curiositry | スコア: 183
31.From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey(From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey)
(From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey)
要約がありません。
投稿者: tymscar | スコア: 140
32.The Smol Training Playbook: The Secrets to Building World-Class LLMs(The Smol Training Playbook: The Secrets to Building World-Class LLMs)
(The Smol Training Playbook: The Secrets to Building World-Class LLMs)
要約がありません。
投稿者: kashifr | スコア: 236
33.3M Diskette Reference Manual (1983) [pdf](3M Diskette Reference Manual (1983) [pdf])
(3M Diskette Reference Manual (1983) [pdf])
要約がありません。
投稿者: susam | スコア: 104
34.Is 'learn to craft' the new 'learn to code?'(Is 'learn to craft' the new 'learn to code?')
(Is 'learn to craft' the new 'learn to code?')
要約がありません。
投稿者: geox | スコア: 5
35.Chip Hall of Fame: Intel 8088 Microprocessor (2017)(Chip Hall of Fame: Intel 8088 Microprocessor (2017))
(Chip Hall of Fame: Intel 8088 Microprocessor (2017))
要約がありません。
投稿者: stmw | スコア: 34
36.Dating: A mysterious constellation of facts(Dating: A mysterious constellation of facts)
(Dating: A mysterious constellation of facts)
要約がありません。
投稿者: tobr | スコア: 116
37.A Few Words About Async(A Few Words About Async)
(A Few Words About Async)
要約がありません。
投稿者: vinhnx | スコア: 64
38.How to Build a Solar Powered Electric Oven(How to Build a Solar Powered Electric Oven)
(How to Build a Solar Powered Electric Oven)
要約がありません。
投稿者: surprisetalk | スコア: 66
39.SailfishOS: A Linux-based European alternative to dominant mobile OSes(SailfishOS: A Linux-based European alternative to dominant mobile OSes)
(SailfishOS: A Linux-based European alternative to dominant mobile OSes)
要約がありません。
投稿者: ForHackernews | スコア: 317
40.CLI to manage your SQL database schemas and migrations(CLI to manage your SQL database schemas and migrations)
(CLI to manage your SQL database schemas and migrations)
要約がありません。
投稿者: PonyM | スコア: 29
41.SRI and Arc(SRI and Arc)
(SRI and Arc)
要約がありません。
投稿者: klelatti | スコア: 4
42.I built my own CityMapper(I built my own CityMapper)
(I built my own CityMapper)
要約がありません。
投稿者: ashfn | スコア: 143
43.Chat Control proposal fails again after public opposition(Chat Control proposal fails again after public opposition)
(Chat Control proposal fails again after public opposition)
要約がありません。
投稿者: speckx | スコア: 528
44.Austria: Pylons as sculpture for public acceptance of expanding electrification(Austria: Pylons as sculpture for public acceptance of expanding electrification)
(Austria: Pylons as sculpture for public acceptance of expanding electrification)
要約がありません。
投稿者: Geekette | スコア: 114
45.Word2vec-style vector arithmetic on docs embeddings(Word2vec-style vector arithmetic on docs embeddings)
(Word2vec-style vector arithmetic on docs embeddings)
要約がありません。
投稿者: kaycebasques | スコア: 68
46.NJVL: Nim's New Intermediate Representation(NJVL: Nim's New Intermediate Representation)
(NJVL: Nim's New Intermediate Representation)
要約がありません。
投稿者: generichuman | スコア: 70
47.We reduced a container image from 800GB to 2GB(We reduced a container image from 800GB to 2GB)
(We reduced a container image from 800GB to 2GB)
要約がありません。
投稿者: untrimmed | スコア: 70
48.I'm a health editor: my husband's prostate cancer screening results surprised me(I'm a health editor: my husband's prostate cancer screening results surprised me)
(I'm a health editor: my husband's prostate cancer screening results surprised me)
要約がありません。
投稿者: wslh | スコア: 5
49.FFmpeg dealing with a security researcher(FFmpeg dealing with a security researcher)
(FFmpeg dealing with a security researcher)
要約がありません。
投稿者: trollied | スコア: 85
50.Linux and Windows: A tale of Kerberos, SSSD, DFS, and black magic (2018)(Linux and Windows: A tale of Kerberos, SSSD, DFS, and black magic (2018))
(Linux and Windows: A tale of Kerberos, SSSD, DFS, and black magic (2018))
要約がありません。
投稿者: indigodaddy | スコア: 26
51.Stop 'reactions' to email by adding a postfix header (2024)(Stop 'reactions' to email by adding a postfix header (2024))
(Stop 'reactions' to email by adding a postfix header (2024))
要約がありません。
投稿者: fanf2 | スコア: 51
52.RegEx Crossword(RegEx Crossword)
(RegEx Crossword)
要約がありません。
投稿者: a022311 | スコア: 47
53.OpenDesk by the Centre for Digital Sovereignty(OpenDesk by the Centre for Digital Sovereignty)
(OpenDesk by the Centre for Digital Sovereignty)
要約がありません。
投稿者: athousandsteps | スコア: 59
54.Strange Attractors(Strange Attractors)
(Strange Attractors)
要約がありません。
投稿者: shashanktomar | スコア: 758
55.Where to begin with "modern" Emacs?(Where to begin with "modern" Emacs?)
(Where to begin with "modern" Emacs?)
要約がありません。
投稿者: weakfish | スコア: 187
56.Visible from space, Sudan's bloodied sands expose a massacre of thousands(Visible from space, Sudan's bloodied sands expose a massacre of thousands)
(Visible from space, Sudan's bloodied sands expose a massacre of thousands)
要約がありません。
投稿者: wslh | スコア: 334
57.Myths Programmers Believe about CPU Caches (2018)(Myths Programmers Believe about CPU Caches (2018))
(Myths Programmers Believe about CPU Caches (2018))
要約がありません。
投稿者: whack | スコア: 148
58.CharlotteOS – An Experimental Modern Operating System(CharlotteOS – An Experimental Modern Operating System)
(CharlotteOS – An Experimental Modern Operating System)
要約がありません。
投稿者: ementally | スコア: 166
59.You can't refuse to be scanned by ICE's facial recognition app, DHS document say(You can't refuse to be scanned by ICE's facial recognition app, DHS document say)
(You can't refuse to be scanned by ICE's facial recognition app, DHS document say)
要約がありません。
投稿者: nh43215rgb | スコア: 541
60.Studies increasingly find links between air pollutants and dementia(Studies increasingly find links between air pollutants and dementia)
(Studies increasingly find links between air pollutants and dementia)
要約がありません。
投稿者: quapster | スコア: 179
61.Viruses of the Mind (1991) Richard Dawkins [pdf](Viruses of the Mind (1991) Richard Dawkins [pdf])
(Viruses of the Mind (1991) Richard Dawkins [pdf])
要約がありません。
投稿者: keepamovin | スコア: 8
62.Frank Gasking on preserving «lost» games(Frank Gasking on preserving «lost» games)
(Frank Gasking on preserving «lost» games)
要約がありません。
投稿者: doener | スコア: 83
63.New analog chip capable of outperforming top-end GPUs by as much as 1000x(New analog chip capable of outperforming top-end GPUs by as much as 1000x)
(New analog chip capable of outperforming top-end GPUs by as much as 1000x)
要約がありません。
投稿者: mrbluecoat | スコア: 62
64.The hardest program I've ever written (2015)(The hardest program I've ever written (2015))
(The hardest program I've ever written (2015))
要約がありません。
投稿者: jacobedawson | スコア: 84
65.My Impressions of the MacBook Pro M4(My Impressions of the MacBook Pro M4)
(My Impressions of the MacBook Pro M4)
要約がありません。
投稿者: secure | スコア: 241
66.Active listening: the Swiss Army Knife of communication(Active listening: the Swiss Army Knife of communication)
(Active listening: the Swiss Army Knife of communication)
要約がありません。
投稿者: lucidplot | スコア: 180
67.A simple drag and drop tool to document and label fuse boxes(A simple drag and drop tool to document and label fuse boxes)
(A simple drag and drop tool to document and label fuse boxes)
要約がありません。
投稿者: eg312 | スコア: 23
68.Hard Rust requirements from May onward(Hard Rust requirements from May onward)
(Hard Rust requirements from May onward)
要約がありません。
投稿者: rkta | スコア: 375
69.'Do not trust your eyes': AI generates surge in expense fraud('Do not trust your eyes': AI generates surge in expense fraud)
('Do not trust your eyes': AI generates surge in expense fraud)
要約がありません。
投稿者: departed | スコア: 30
70.Pangolin (YC S25) is hiring a full stack software engineer (open-source)(Pangolin (YC S25) is hiring a full stack software engineer (open-source))
(Pangolin (YC S25) is hiring a full stack software engineer (open-source))
要約がありません。
投稿者: miloschwartz | スコア: 1
71.Hacking India's largest automaker: Tata Motors(Hacking India's largest automaker: Tata Motors)
(Hacking India's largest automaker: Tata Motors)
要約がありません。
投稿者: EatonZ | スコア: 258
72.Why "everyone dies" gets AGI all wrong(Why "everyone dies" gets AGI all wrong)
(Why "everyone dies" gets AGI all wrong)
要約がありません。
投稿者: danans | スコア: 95
73.Perfetto: Swiss army knife for Linux client tracing(Perfetto: Swiss army knife for Linux client tracing)
(Perfetto: Swiss army knife for Linux client tracing)
要約がありません。
投稿者: todsacerdoti | スコア: 154
74.Use DuckDB-WASM to query TB of data in browser(Use DuckDB-WASM to query TB of data in browser)
(Use DuckDB-WASM to query TB of data in browser)
要約がありません。
投稿者: mlissner | スコア: 229
75.You Don't Need Anubis(You Don't Need Anubis)
(You Don't Need Anubis)
要約がありません。
投稿者: flexagoon | スコア: 158
76.Open-Source Ada: From Gateware to Application(Open-Source Ada: From Gateware to Application)
(Open-Source Ada: From Gateware to Application)
要約がありません。
投稿者: Bogdanp | スコア: 57
77.Duper – The Format That's Super(Duper – The Format That's Super)
(Duper – The Format That's Super)
要約がありません。
投稿者: epiceric | スコア: 24
78.Reflections on My Tech Career – Part 1(Reflections on My Tech Career – Part 1)
(Reflections on My Tech Career – Part 1)
要約がありません。
投稿者: breppp | スコア: 35
79.Czech police forced to turn off facial recognition cameras at the Prague airport(Czech police forced to turn off facial recognition cameras at the Prague airport)
(Czech police forced to turn off facial recognition cameras at the Prague airport)
要約がありません。
投稿者: campuscodi | スコア: 146
80.KeyLeak Detector – Scan websites for exposed API keys and secrets(KeyLeak Detector – Scan websites for exposed API keys and secrets)
(KeyLeak Detector – Scan websites for exposed API keys and secrets)
要約がありません。
投稿者: amaldavid | スコア: 22
81.The Impossible Optimization, and the Metaprogramming to Achieve It(The Impossible Optimization, and the Metaprogramming to Achieve It)
(The Impossible Optimization, and the Metaprogramming to Achieve It)
要約がありません。
投稿者: melodyogonna | スコア: 70
82.Apple reports fourth quarter results(Apple reports fourth quarter results)
(Apple reports fourth quarter results)
要約がありません。
投稿者: mfiguiere | スコア: 175
83.Viagrid – PCB template for rapid PCB prototyping with factory-made vias [video](Viagrid – PCB template for rapid PCB prototyping with factory-made vias [video])
(Viagrid – PCB template for rapid PCB prototyping with factory-made vias [video])
要約がありません。
投稿者: surprisetalk | スコア: 146
84.Sustainable memristors from shiitake mycelium for high-frequency bioelectronics(Sustainable memristors from shiitake mycelium for high-frequency bioelectronics)
(Sustainable memristors from shiitake mycelium for high-frequency bioelectronics)
要約がありません。
投稿者: PaulHoule | スコア: 143
85.Leaker reveals which Pixels are vulnerable to Cellebrite phone hacking(Leaker reveals which Pixels are vulnerable to Cellebrite phone hacking)
(Leaker reveals which Pixels are vulnerable to Cellebrite phone hacking)
要約がありません。
投稿者: akyuu | スコア: 452
86.Pipelex – Declarative language for repeatable AI workflows(Pipelex – Declarative language for repeatable AI workflows)
(Pipelex – Declarative language for repeatable AI workflows)
要約がありません。
投稿者: lchoquel | スコア: 115
87.Nix Derivation Madness(Nix Derivation Madness)
(Nix Derivation Madness)
要約がありません。
投稿者: birdculture | スコア: 184
88.Moving tables across PostgreSQL instances(Moving tables across PostgreSQL instances)
(Moving tables across PostgreSQL instances)
要約がありません。
投稿者: ananthakumaran | スコア: 6
89.Reconfigurable Analog Computers(Reconfigurable Analog Computers)
(Reconfigurable Analog Computers)
要約がありません。
投稿者: gidellav | スコア: 24
90.AI scrapers request commented scripts(AI scrapers request commented scripts)
(AI scrapers request commented scripts)
要約がありません。
投稿者: ColinWright | スコア: 258
91.The purported benefits of effect systems(The purported benefits of effect systems)
(The purported benefits of effect systems)
要約がありません。
投稿者: SchwKatze | スコア: 12
92.The profitable startup(The profitable startup)
(The profitable startup)
要約がありません。
投稿者: doppp | スコア: 236
93.Rouille – Rust Programming, in French(Rouille – Rust Programming, in French)
(Rouille – Rust Programming, in French)
要約がありません。
投稿者: mihau | スコア: 214
94.Sufficiently Smart Compiler(Sufficiently Smart Compiler)
(Sufficiently Smart Compiler)
要約がありません。
投稿者: coffeeaddict1 | スコア: 30
95.Why should I care what color the bikeshed is? (1999)(Why should I care what color the bikeshed is? (1999))
(Why should I care what color the bikeshed is? (1999))
要約がありません。
投稿者: program | スコア: 92
96.Futurelock: A subtle risk in async Rust(Futurelock: A subtle risk in async Rust)
(Futurelock: A subtle risk in async Rust)
要約がありません。
投稿者: bcantrill | スコア: 427
97.Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book(Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book)
(Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book)
要約がありません。
投稿者: sebg | スコア: 39
98.Watermarking for Generative AI(Watermarking for Generative AI)
(Watermarking for Generative AI)
要約がありません。
投稿者: gidellav | スコア: 13
99.Scientists Generate Matter Directly from Light (2021)(Scientists Generate Matter Directly from Light (2021))
(Scientists Generate Matter Directly from Light (2021))
要約がありません。
投稿者: ciconia | スコア: 6
100.It's insulting to read AI-generated blog posts(It's insulting to read AI-generated blog posts)
(It's insulting to read AI-generated blog posts)
要約がありません。
投稿者: speckx | スコア: 1277
