Lobste 最新提交 · 關於 收起 · Buzzing 首頁 · 編輯精選 · HN 熱門 · HN最新 · 科技 · HN首頁 · Show HN · HN問答 + 更多 - 收起
國外新聞頭條 · 經濟學人最新 · Reddit熱門 · 精神食糧 · Reddit新聞小組 · 彭博最新 · 突發新聞 · 大西洋週刊 · BBC · 中國 · 經濟學人 · 下飯視頻 · Ars Technica · PH熱門 · Reddit提問 · 中國小組 · 股市熱門 · 紐約時報 · 財經新聞 · 衛報 · 雅虎財經 · 金融時報 · 女權主義 · 華爾街日報 · 路透社 · Business Insider · Axios · 天空新聞 · 谷歌新聞 · 業餘項目 · Politico · Linux · Dev熱門 · 紐約客 · 路透最新 · PHYS · Nature · ScienceAlert · 生活科學 · Bear · BigThink · 加密貨幣 · Quora熱門 · 提議更多喜歡的站點?    

用中文瀏覽 Lobste 最新提交

本站並非官方網站,僅對標題進行聚合翻譯,點擊即跳轉至原站,所有內容版權歸原站所有。本站無意做 SEO 垃圾站,只是為了方便快速發現感興趣的外語文章。

數據來源: 該頁面支持的版本: 該頁面支持的語言: 訂閱地址: 社交媒體: 最後更新於: 2026-10-16T20:05:06.982+08:00   查看統計
opengraph.githubassets.com image
coopiano: A physically modelled piano synthesizer in C17 (github.com)
dataswamp.org image
My self-hosted infrastructure with Incus OS (dataswamp.org)
Linus Torvalds on AI-assisted kernel contributions (lore.kernel.org)
Epic''s EAC2 v2 seems fairly easily bypassable (codon.org.uk)
rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) (henniger.dev)
Religious Studies In Software Engineering (tombh.co.uk)
Remote Attestation Should Not Be Tolerated (lumi.codeberg.page)
av.vimuser.org image
Libreboot 26.10 “Ominous Olive” released with full UEFI support (libreboot.org)
The geometric model of maintenance (entropicthoughts.com)
ArenaAllocators don''t play nicely with ArrayLists (www.openmymind.net)
The Ferranti files: 40 years of Sinclair secrets unearthed (youtu.be)
An Emulator Writer''s HOWTO for Static Binary Translation (www.gtoal.com)
sunshowers.io image
Anthropic''s Scion is heavily inspired by Mononoke · sunshowers (sunshowers.io)
go.dev image
Better HTTP/1 connection reuse (go.dev)
blog.trailofbits.com image
Package managers have an integrity problem (blog.trailofbits.com)
What I Self-Host Aspirational Self Hosting Guide (viceconsole.fyi)
libzxc.org image
ZXC: Lossless compression built for ultra-fast decode (libzxc.org)
cdn.sanity.io image
Building a Linearizable Log on READ COMMITTED Isolation (materialize.com)
kde.org image
Plasma 6.8 released (KDE''s 30th birthday) (kde.org)
yet another place where a linux man page is inaccurate (sebsite.pw)
Linux Lockdown and Hibernation (again) (codon.org.uk)
AIR-LLM: Broadcasting AI Weights over Radio for Memory-Free Edge LLM Inference via RF Computing (arxiv.org)
www-cdn.anthropic.com image
AI models may be capable of self-replicating without access to a datacenter (www.anthropic.com)
Compiler bootstrapping depends on more than you might think (utcc.utoronto.ca)
Conquering Recursion (nsl.com)
The 2026 Maintainers Summit (lwn.net)
Accelerating the Zig Tokenizer (with AVX-512) (www.youtube.com)
bart.degoe.de image
Running RAG with a (small) language model in the browser (bart.degoe.de)
pikuma.com image
Can Ease of Creation Lead to Decrease in Quality & Value? (pikuma.com)
Easylang: A Simple, Browser-Based Programming Language in the Spirit of the Old Home Computer BASIC (easylang.online)
Model backdoors are easy to create and hard to reliably remove (equistamp.substack.com)
DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) (arxiv.org)
Chasing a -O2 pessimization in antcc (386s.org)
web-assets.claroty.com image
Freeze the Controller, Defrost the Food: Uncovering Vulnerabilities in Danfoss Refrigeration Controllers (claroty.com)
momo5502.com image
500 Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter (momo5502.com)
larstofus.com image
Speeding up the Unreal editor by… not using unnecessarily secure hash methods (larstofus.com)
hackaday.com image
ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor (hackaday.com)
512 bytes at a time: reconstructing IBM i save-file checksums (blog.silentsignal.eu)
lemire.me image
Parsing JSON at tens of gigabytes per second… in Python (lemire.me)
www.afp.com image
French supermarket chains say cyberattack forced refrigerator shutdown (www.afp.com)
miro.medium.com image
How to effectively debug when you no longer understand the code (copyconstruct.medium.com)
www.phoronix.net image
Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code (www.phoronix.com)
gamesbymason.com image
Highlights from "I spent 6 years developing a game in Rust and it just shipped, AMA" (2024) (gamesbymason.com)
Tello''s GameSir T1d controller as a Linux Xbox controller (blog.jacq.cc)
github.githubassets.com image
The next-gen borrow checker, a drop-in replacement for Rust borrow checking (gist.github.com)
Valen''s Memory Safety: A New Kind of Borrow Checking (verdagon.dev)
adepts.of0x.cc image
Hacking the Eufy Doorbell and Base Station (adepts.of0x.cc)
JSON Tiles: Fast Analytics on Semi-Structured Data (2021) (db.cit.tum.de)
pydantic.dev image
How shredding JSON is giving Logfire 1000x query speedups (pydantic.dev)
Consistency is not a localized property (n-the-loop.com)
Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation (arxiv.org)
patkerr.co.uk image
The 2D physics prototype behind GTA’s vehicles (patkerr.co.uk)
Why ''externalized'' proofs of cyclic trait impls does not work (smallcultfollowing.com)
Reporting vulnerabilities to Estonian companies (www.youtube.com)
opengraph.githubassets.com image
culpert - rust heap profiling with span awareness and regression tooling (github.com)
alfy.blog image
Iframes that finally fit their content (alfy.blog)
lightbulbcomputer.com image
The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors (lightbulbcomputer.com)
oh, apparently it''s not possible to portably check for string-to-float conversion errors in standard c (sebsite.pw)
www.phoronix.net image
Patches Updated To Begin Removing The Linux x32 ABI (www.phoronix.com)
A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (blog.scrt.ch)
The importance of communities around software (lumi.codeberg.page)
opengraph.githubassets.com image
Lifeguard: A static analyzer for Python lazy imports compatibility (github.com)
blueberrywren.dev image
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)
earendil.com image
There are many themes, but this one is yours (earendil.com)
The making of a very fast SPI flasher (localcc.cc)
beaksec.github.io image
Telegram Desktop: one-click account takeover via IPC injection (beaksec.github.io)
Reducing undefined behavior in the C language (lwn.net)
unsung.aresluna.org image
Deeper dive: Keyboard differences between Windows and Macs (unsung.aresluna.org)
B-Trees Are Back: Engineering Fast and Pageable Node Layouts (www.cs.cit.tum.de)
opengraph.githubassets.com image
The Goose Programming Language (github.com)
Composition over Inheritance Explained using Retro Games (www.youtube.com)
arxiv.org image
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)
cdn.hetzner.com image
The history of the Hetzner Cloud network stack (www.hetzner.com)
Ending the Casuarina Linux Experiment (casuarina.org)
martinalderson.com image
Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)
zweiundeins.gmbh image
SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)
Clojure in the Age of Language Models (yogthos.net)
sheets.works image
The people holding up the internet (sheets.works)
news.mit.edu image
Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)
When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)
rat''s minimal register allocator (hexrat.cc)
00f.net image
Zeroization, part 1: Wiping can make things worse (00f.net)
chimera-linux.org image
Creating distro build tooling for a small community (chimera-linux.org)
daniel.haxx.se image
Twenty-two pending curl vulnerabilities (daniel.haxx.se)
Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)
blog.zm.is image
Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)
rsadowski.de image
Headers Up! What''s New in httpd and relayd (rsadowski.de)
opengraph.githubassets.com image
OpenAI shares mathematics research catalogue (github.com)
ersc.io image
When random is not actually random enough (ersc.io)
www.raspberrypi.com image
Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)
Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)
A Terminal Protocol for Program Status (OSC 7501) (mitchellh.com)
blogger.googleusercontent.com image
Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)
dbushell.com image
A sustainable web career, for when all this blows over (dbushell.com)
opengraph.githubassets.com image
Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)
Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)
blog.google image
Chrome''s Response to Recent ccTLD Registry Hijacks (blog.google)
Bidirectional Type Slicing (arxiv.org)
Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)
res.infoq.com image
Why Continuations are Coming to Java (2019) (www.infoq.com)
Open Source as We Know It Is Dead (jross.me)
blog.cloudflare.com image
How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)
Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)
spoonful: static site generator written in Nix (tangled.org)
gleam.run image
Gleam doesn''t compile to Erlang source anymore (gleam.run)
pikuma.com image
Reverse Engineering Comanche Terrain Maps (pikuma.com)
↑
↓