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-10T16:50:58.983+08:00   查看統計
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)
00f.net image
Branches in branch-free code (00f.net)
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)
letsencrypt.org image
64-Day Certificate Lifetimes Coming Feb 2027 (letsencrypt.org)
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)
Property Testing with Agent Swarms (recursion.wtf)
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)
nishantjosh.dev image
You''re Leaving Compute on the Table (nishantjosh.dev)
place.reeseric.ci image
Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it (place.reeseric.ci)
blog.jetbrains.com image
Building a RAG Pipeline for Semantic Code Search (blog.jetbrains.com)
Protocol-aware recovery for consensus-based storage (2018) (www.usenix.org)
d2pzklc15kok91.cloudfront.net image
Hacking the Go compiler to efficiently map IPv4 to IPv6 (vincent.bernat.ch)
initialcommit.com image
An animated, customizable Git cheat sheet drawn by git-sim (initialcommit.com)
Obelisk 0.42: Durable Agents, Layered Sandboxes (obeli.sk)
Improving and Stabilizing the racoon2 IKE Daemon in NetBSD (blog.netbsd.org)
dryperspective.github.io image
The complement of true is true, except when it''s false (dryperspective.github.io)
A Mere Mortal''s Introduction to JIT Vulnerabilities in JavaScript Engines (trustfoundry.net)
We’re going to need default hard budget caps on pretty much everything (simonwillison.net)
media.jvt.me image
Why I recommend Renovate over any other dependency update tools (2024) (www.jvt.me)
Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) (dl.acm.org)
The Era of Software Quality, or the Era of Ostriches? (blogs.gnome.org)
Two-Stack Sliding-Window Aggregation (orlp.net)
images.prismic.io image
Respecting your users'' dread of the clankers (thoughtbot.com)
The Era of Programming Languages Exploration is upon Us (kirancodes.me)
gVisor is being donated to CNCF (gvisor.dev)
linuxiac.com image
Klassik Revives the KDE 3 Desktop on Modern Plasma 6 (linuxiac.com)
Driving the GDEH0154D67 e-paper display with Rust (sgt.hootr.club)
blog.jetbrains.com image
JetBrains Air: Building a System of Products for Agentic Software Development (blog.jetbrains.com)
loige.co image
The hidden design compromises of Docker layers (loige.co)
rahuljuliato.com image
Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs'' rx (rahuljuliato.com)
cdn.writeas.net image
Thrust vs. Steer (or: Yet Another Anecdotal Case of the Dunning-Kruger Effect) (write.as)
arxiv.org image
Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures (arxiv.org)
How to make a text box: A crash course in Unicode and OpenType - Jimmy Lefevre, BSC 2026 (www.youtube.com)
Lists that keep track of their reversal (grim.cargocut.org)
opengraph.githubassets.com image
I built a small app that scours the internet to create a daily personolized news briefing (github.com)
molily.de image
The death of web development education (molily.de)
opengraph.githubassets.com image
outis: Fight AI spam by generating and sending a fake "user unknown" bounce emails (github.com)
The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary (verdagon.dev)
Google breaks promise to provide 10 years of updates to Chromebooks – OSnews (www.osnews.com)
WSL containers is now generally available (blogs.windows.com)
spectrum.ieee.org image
A brief history of the Bloomberg Terminal (spectrum.ieee.org)
Branch Target Reuse: Spectre-v2 Attacks in JIT Engines (www.vusec.net)
static.media.ccc.de image
attezt: device attestation, PKCS11 and ACME (media.ccc.de)
amutable.com image
Dumb Servers, Smart Clients: Distributing Images with Quarry (amutable.com)
Join Ordering, Part 1: The Shape of the Search Space (deferworks.org)
The Only Intuitive Interface Is The Nipple (www.greenend.org.uk)
The best explanation I''ve found about the state of AI hype and hysteria (www.youtube.com)
Change Tours Because understanding a code change is hard (hannahpotter.github.io)
postmarketos.org image
Nura (postmarketOS): The road to daily-drivable mainline phones (postmarketos.org)
Unix File and Directory Permissions and Modes (2018) (wpollock.com)
captainacab.com image
Captain ACAB - collectively tracking the hidden costs of law enforcement (captainacab.com)
↑
↓