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-05-23T10:45:23.393+08:00   查看統計
Announcing Isabelle support for SAW (www.galois.com)
account-center: Self-hosted, OIDC-authenticated portal for internal services and knowledge base articles (git.sr.ht)
lemire.me image
Only 17% of all 64-bit Integers are products of two 32-bit integers (lemire.me)
security.apple.com image
A blueprint for formal verification of Apple corecrypto (security.apple.com)
End-to-End Procedural Generation in Caves of Qud (2019) (www.youtube.com)
spf13.com image
The Maintainer''s Dilemma (spf13.com)
A Forth-inspired language for writing websites (robida.net)
minc — A minimal language for building native software (minc.dev)
safedep.io image
Megalodon: Mass GitHub Repo Backdooring via CI Workflows (safedep.io)
crocidb.com image
This blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD (crocidb.com)
blog.mozilla.org image
Designing Firefox for the future (blog.mozilla.org)
Virtual Time for discrete event simulation and distributed concurrency control (1985) (worrydream.com)
C Programming Language Quiz (stefansf.de)
www.ftc.gov image
FTC to Require Cox Media Group to Pay Nearly 1million to Settle Charges They Deceived Customers About “Active Listening” AI-Powered Marketing Service (www.ftc.gov)
Gnutella: A Protocol Outlives the World That Created It (rickcarlino.com)
go.dev image
Introducing the pkg.go.dev API (go.dev)
www.loopwerk.io image
uv is fantastic, but its package management UX is a mess (www.loopwerk.io)
Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP (yes-we-scan.app)
hacks.mozilla.org image
Announcing Web Serial Support in Firefox (hacks.mozilla.org)
media2.dev.to image
Introducing ArkTS, Huawei’s Next-Generation Development Language (dev.to)
Dependency cooldowns are unfair; we should use phased rollouts instead (illegalcode.net)
Speeding Up the Back End with Graph Theory (2019) (sensortower.com)
lobste.rs image
Internships for early university / no former employment (lobste.rs)
blog.andr2i.com image
L1 instruction cache set conflicts, associativity, and code alignment in Go (blog.andr2i.com)
Church Encoding, Parametricity, and the Yoneda Lemma (blog.wybxc.cc)
Python 3.15: features that didn''t make the headlines (blog.changs.co.uk)
On Google declaring war on the Web (tante.cc)
us1.discourse-cdn.com image
[RFC] LLVM Foundation statement in favor of open access to standards documents (discourse.llvm.org)
Twelve Ways to Be Wrong About AI-Assisted Coding (third-bit.com)
www.waterfox.com image
Waterfox Release 6.6.13 removes Startpage as default search provider (www.waterfox.com)
The Mislabeled Bricks of Utopia (orib.dev)
user-images.githubusercontent.com image
Staged publishing for npm packages (docs.npmjs.com)
An OpenAI model has disproved a central conjecture in discrete geometry (openai.com)
Who Builds a House Without Drawing Blueprints? (2015) (cacm.acm.org)
cdn.arstechnica.net image
Yearslong fight over users'' right to tweak smart TV software heads to trial (arstechnica.com)
storage.ghost.io image
XSS Is Deadly for Passkeys: The Hidden Risk of Attestation None (scotthelme.co.uk)
Logic bug in the Linux kernel''s __ptrace_may_access() function (CVE-2026-46333) (cdn2.qualys.com)
How cross-thread double free detection could work in glibc malloc (kallus.org)
the may 2026 fedi software vulnerability (w.on-t.work)
opengraph.githubassets.com image
modulejail: Proactively shrink a Linux host''s kernel-module attack surface by blacklisting every module not currently in use (github.com)
a-us.storyblok.com image
Grafana Labs GitHub repos breached via TanStack npm supply chain attack (grafana.com)
Annotate-in-Place Notes with Emacs and org-remark (www.chiply.dev)
opengraph.githubassets.com image
haunt.nvim: Ghost text bookmarks for Neovim (github.com)
nesbitt.io image
Ways for an Open Source Project to Die (nesbitt.io)
Github: internal repositories have been accessed (nitter.net)
GitHub Source Code Breach - TeamPCP Claims Access to Internal Source Code (cybersecuritynews.com)
Why Ruby Still Feels Like Home After All These Years (caio.ca)
I''ve built a virtual museum with nearly every operating system you can think of (www.youtube.com)
Chasing down why installing the kernel segfaulted (sporks.space)
ddbeck.com image
Better generated branch names with jj (ddbeck.com)
On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications (proofsandintuitions.net)
opengraph.githubassets.com image
pg_deltax: Apache-licensed time-series extension for PostgreSQL (github.com)
Under the Hood: Building a Real-Time Chord Recognizer (whatchord.earthmanmuons.com)
codeberg.org image
Lime, a parser generator that can merge grammars at runtime (codeberg.org)
The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation (smoores.dev)
questdb.com image
The Windows DLL loader lock: how a Rust thread can hang your JVM (questdb.com)
Holistic Configuration Management at Facebook (research.facebook.com)
lemire.me image
SIMD-accelerated integer-to-string conversion (lemire.me)
Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative (casuarina.org)
sfconservancy.org image
Comprehensive Response to Bambu''s AGPLv3 Violations (sfconservancy.org)
Programming as Theory Building (1985) (gwern.net)
The Fil-C Optimized Calling Convention (fil-c.org)
minikin.me image
cargo-crap: Finding Untested Complexity in AI-Generated Rust Code (minikin.me)
Misconceptions about the UNIX Philosophy (posixcafe.org)
barthalion.blog image
How does Flathub even work? The CDN and caching layer (barthalion.blog)
i0.wp.com image
Cross-Document View Transitions: The Gotchas Nobody Mentions (css-tricks.com)
labs.leaningtech.com image
A Linux-like kernel in a browser tab - deep dive in the BrowserPod architecture (labs.leaningtech.com)
opengraph.githubassets.com image
De‐bloating Javascript (github.com)
Complications of funding an open source operating system (posixcafe.org)
unsplash.com image
FediMeteo, HAProxy, and the art of not wasting snac threads (it-notes.dragas.net)
blogger.googleusercontent.com image
Calvin - Determinism, Distributed ACID transactions (2020) (www.mydistributed.systems)
Researcher says Microsoft secretly built a backdoor into BitLocker (www.techspot.com)
Reversing ‘Grateful Dead: D2S2’ on Mac (2022) (blog.os9.ca)
baltazarstudios.com image
Designing a Scientific Calculator from scratch in FPGA (baltazarstudios.com)
www.freebsd.org image
New design for the FreeBSD website (www.freebsd.org)
00f.net image
Bun''s problem may be developing in the open (00f.net)
Don''t answer the first question (lalitm.com)
Reviewing so called Pull Requests at dayjob (rkta.de)
opengraph.githubassets.com image
Claude Code managed to get Adobe Lightroom working on Linux (github.com)
assets.softr-files.com image
Go European — Discover European products and services (www.goeuropean.org)
www.security.com image
Fast16: Pre-Stuxnet Sabotage Tool Was Built to Subvert Nuclear Weapons Simulations (www.security.com)
www.buildbuddy.io image
Content-defined chunking in Bazel''s remote cache (www.buildbuddy.io)
Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
media2.dev.to image
The Piece Table - the Unsung Hero of Your Text Editor (dev.to)
blogger.googleusercontent.com image
The Tomy Tutor and the state of 1983 home computers (oldvcr.blogspot.com)
twilitrealm.dev image
Dusklight • Restoring light to a classic adventure (twilitrealm.dev)
experimental OpenBSD MAP-E CE support (feedback) (git.sr.ht)
opengraph.githubassets.com image
triad: data-oriented window manager for the River Wayland compositor (github.com)
Recent Kernel exploits, attack surface reduction, example IPSEC (www.openwall.com)
Starting Systems Programming, Pt 1: Programmers Write Programs (2025) (eblog.fly.dev)
A few ways of specifying per-theme colours in only CSS (chrismorgan.info)
www.abgeo.dev image
Cheap smart doorbell allows fleet-wide account takeover and call hijacking (www.abgeo.dev)
assethoard.com image
Using Rust to parse Godot .tres files and walk the resource graph (assethoard.com)
Starting my own Content Delivery Network (www.youtube.com)
opengraph.githubassets.com image
CVE-2026-40369: Arbitrary Kernel Address Increment via NtQuerySystemInformation (github.com)
lobste.rs image
LLM generated text should be off topic (lobste.rs)
images.ctfassets.net image
What we learned using AI agents to refactor a monolith (1password.com)
projectzero.google image
A 0-click exploit chain for the Pixel 10: When a Door Closes, a Window Opens (projectzero.google)
Moving away from Tailwind, and learning to structure my CSS (jvns.ca)
SQL: Incorrect by Construction (chreke.com)
opengraph.githubassets.com image
claude-for-legal: A suite of plugins for legal workflows (github.com)
opengraph.githubassets.com image
Volkswagen- detects when your tests are being run in a CI server, and makes them pass (2015) (github.com)
news.dyne.org image
Community building at the edge of the Internet (news.dyne.org)
opengraph.githubassets.com image
ssh-keysign-pwn: Read root-owned files as an unprivileged user (github.com)
lobste.rs image
In what way if any are you a tech minimalist while maintaining your job/love for tech? (lobste.rs)
Amazonbot is finally respecting robots.txt (xeiaso.net)
lobste.rs image
"This is written by an LLM" comments should be flagged as off-topic (lobste.rs)
substackcdn.com image
First public macOS kernel memory corruption exploit on Apple M5 (blog.calif.io)
static1.squarespace.com image
Linux Compromises, Broken Embargoes, and the Shrinking Patch Window (www.askbaize.com)
media2.dev.to image
Coding Is Thinking: Why I Still Write Code by Hand (dev.to)
May I recommend… understanding Emacs''s patterns (www.chiply.dev)
wasp.sh image
5 Years and 5M Later: Inventing a New Programming Language for Web Development Was a Mistake Wasp (wasp.sh)
depthfirst.com image
Achieving NGINX Remote Code Execution via an 18-Year-Old Vulnerability (depthfirst.com)
Catching Typos on My Website with Browser Testing (wickstrom.tech)
How (and why) rqlite takes control of the SQLite Write-Ahead Log (philipotoole.com)
static-assets.buttondown.com image
Points are a weird and inconsistent unit of measure (buttondown.com)
opengraph.githubassets.com image
Fragnesia: New Linux Privilege Escalation Exploit (github.com)
fredchan.org image
Setting up a free *.city.state.us locality domain (fredchan.org)
Designing a Custom Query Language for Non-Technical Analysts (nchammas.com)
opengraph.githubassets.com image
YellowKey Bitlocker Bypass Vulnerability (github.com)
kde.org image
Sovereign Tech Fund invests over 1 million in KDE software development (kde.org)
0day.click image
Claude Code RCE: Exploiting Deeplink Handlers via Settings Injection (0day.click)
An update on East River Source Control availability (ersc.io)
arxiv.org image
Deterministic Fully-Static Whole-Binary Translation without Heuristics (arxiv.org)
A detailed introduction to Kakoune for the aspiring power user (ficd.sh)
bernsteinbear.com image
Partial static single information form (bernsteinbear.com)
Solving the Rubik''s Cube (www.youtube.com)
Pycco: 100-line literate-style side-by-side documentation renderer (pycco-docs.github.io)
Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB (kcsrk.info)
www.jdhodges.com image
The BeBox: BeOS Hardware, Photos, and the Apple Deal That Wasn''t (www.jdhodges.com)
"six CVEs for serious security vulnerabilities in dnsmasq" (lists.thekelleys.org.uk)
duckdb.org image
Quack: The DuckDB Client-Server Protocol (duckdb.org)
Bambu Lab is abusing the open source social contract (www.jeffgeerling.com)
tanstack.com image
Postmortem: TanStack npm supply-chain compromise (tanstack.com)