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-07-08T00:20:24.966+08:00   查看统计
haskellforall.com image
Mechanized type inference for record concatenation (haskellforall.com)
gmo-cybersecurity.com image
Reporting a 19 Years Hidden Linux Kernel Zero-Day for Google kernelCTF: CVE-2026-43456 (gmo-cybersecurity.com)
Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM (doscienceto.it)
i0.wp.com image
Google’s exponential path to climate-wrecking digital bloat (ketanjoshi.co)
ebitengine.org image
Compiling a Go program into a native binary for Nintendo Switch (ebitengine.org)
A Rust-to-Lean verification pipeline with AI provers: An experience report (arxiv.org)
radicle.dev image
Radicle: P2P Git Replication with Git Native Issues and Patches (radicle.dev)
www.phoronix.net image
ReactOS "Open-Source Windows" Project Now Capable Of Running Half-Life 2 (www.phoronix.com)
Connections in Math: the two kinds of random (stillthinking.net)
images.spr.so image
Backstage access: an unauthenticated SQL injection in Front Gate Tickets (ian.sh)
Seventy Years of Parsing: Theoretical and Practical Consequences (langsec.org)
thebuild.com image
PREEMPT_NONE Is Dead; Your Postgres Probably Doesn’t Care (thebuild.com)
rapha.land image
Jam Programming Language (rapha.land)
a.ltrbxd.com image
Trajan: The Typeface That Took Over Movie Posters (letterboxd.com)
i0.wp.com image
How a Skiing Accident Put Our Development Practices to the test (blog.enioka.com)
opengraph.githubassets.com image
Dragonfruit: A 68k/Dragonball Palm device emulator for ESP32 devices (github.com)
Metastability in Recovery: Cascading Recovery with a Loop (charap.co)
localghost.dev image
Time-based background colour transitions with Temporal and CSS color-mix (localghost.dev)
Version-controlled databases using Prolly trees (lwn.net)
Installing A/UX 1.1 like it’s the 90s (thomasw.dev)
blog.pspaul.de image
Bench Press: Leaking Text Nodes with CSS (blog.pspaul.de)
How is Zig working out after 3 years and 100k lines of game code? (www.youtube.com)
www.formaly.io image
Knowledge Should Not Be Gated (www.formaly.io)
small details in my mastodon client that i wanted more people to notice (w.on-t.work)
opengraph.githubassets.com image
ps5-linux-loader: Linux payload implementing HV exploits to run a custom bootloader (github.com)
hauleth.dev image
The Lion, The Witch, and the audacity of recruiters (hauleth.dev)
Non-hybrid PQ-only TLS and the MIKEY-IBAKE intervention (libroot.org)
opengraph.githubassets.com image
wince-dc: Windows CE Dreamcast Community Edition (github.com)
arxiv.org image
A Counterexample to Wegner''s Conjecture for Axis-Parallel Rectangles (arxiv.org)
Developer Verification – LineageOS (lineageos.org)
Reducing Assumptions, Exploding Your Code (ryelang.org)
i0.wp.com image
OpenClaw just launched an official app for iPhone (9to5mac.com)
Lemmy Development Update June 2026 and 1.0.0-beta.1 (lemmy.ml)
Rust - Handling Results In A Map Closure (reemus.dev)
citizenlab.ca image
Espionage Against the European Parliament: Member of Committee Investigating Spyware Hacked with Pegasus (citizenlab.ca)
www.msuiche.com image
A Windows Kernel in a Browser Tab, Part I: Cold Boot, Fast Boot, and Four Megabytes (www.msuiche.com)
sem: A new code understanding primitive tool at a semantic granularity (ataraxy-labs.github.io)
media.piefed.social image
PieFed v1.7 is released: Following Users, Faster Browsing & Smarter Moderation (join.piefed.social)
stillup.to image
Keep track of the side projects if they are still alive (stillup.to)
arxiv.org image
Markets are competitive if and only if P ! NP (arxiv.org)
opengraph.githubassets.com image
Self-Hosted AI news aggregator using Cloudflare Workers, Vectorize, and Nostr (github.com)
A [non-hybrid tls-mlkem] standard by any other name: How IETF evades responsibility for its actions (blog.cr.yp.to)
opengraph.githubassets.com image
Dogesh is a Python-based interpreted programming language where every keyword speaks dog (github.com)
hackers.pub image
Why implementing ActivityPub is hard, and why it doesn''t have to be (hackers.pub)
questdb.com image
The mask that compiles to nothing: how HotSpot''s JIT learned to reason about bits (questdb.com)
The Short Leash AI Coding Method For Beating Fable (blog.okturtles.org)
neodyme.io image
Diving into the depths of Widevine L3 (neodyme.io)
‘guix substitute‘ and ‘guix pull‘ vulnerabilities (guix.gnu.org)
opengraph.githubassets.com image
Until_Heat_Death_Do_Us_Part: Counting until the heat death of the universe, broadcasting counter every second over 100Mbps ethernet (github.com)
opengraph.githubassets.com image
proposal-async-context: Async Context for JavaScript (github.com)
opengraph.githubassets.com image
ds.css: A css framework recreating the DS / DS Lite''s UI (github.com)
substackcdn.com image
The Private Capture of Public Genius (www.wysr.xyz)
cdn.arstechnica.net image
Newly discovered PamStealer isn''t your typical macOS malware (arstechnica.com)
www.scylladb.com image
How ScyllaDB''s Trie-Based Index Delivers Up to 3X More Throughput (www.scylladb.com)
Since Linux 6.9 (May 2024), the LUKS encryption key remained resident in memory across suspend (mathstodon.xyz)
nelson.cloud image
.gitignore Isn’t the Only Way To Ignore Files in Git (nelson.cloud)
media2.dev.to image
kernel asynchronous reads in PostgreSQL 19 (io_uring) (dev.to)
arxiv.org image
Investigating idiosyncrasies in AI fiction (arxiv.org)
storage.googleapis.com image
Opening up ‘Zero-Knowledge Proof’ technology to promote privacy in age assurance (blog.google)
lobste.rs image
Tools or techniques for conveying mental models? (lobste.rs)
Type definitions to retrieve objects from localStorage (taxorubio.com)
The Control Plane Was the Point: Revisiting autofz in the LLM Era (yfu.tw)
code.visualstudio.com image
Improving token efficiency for GitHub Copilot in VS Code (code.visualstudio.com)
openfeature.dev image
OpenFeature - Standardizing Feature Flagging for Everyone (openfeature.dev)
Creating a development sandbox with crosvm (www.erat.org)
Unprivileged root via an out-of-bounds write in the FUSE readdir cache (CVE-2026-31694) (cyberstan.co.uk)
nesbitt.io image
Open Source as Infrastructure: Taking Roads and Bridges literally (nesbitt.io)
All Package Management Functionality Moved from Compiler to Build System (ziglang.org)
Matrix Orthogonalization Improves Memory in Recurrent Models (ayushtambde.com)
www.git-tower.com image
How Jujutsu Rethinks Git''s Working Copy and Conflict Model (www.git-tower.com)
godotengine.org image
Changes to Godot Engine Contribution Policies (godotengine.org)
Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC (minoki.github.io)
lobste.rs image
Which GitHub features are needed in a code forge before you can migrate? (lobste.rs)
Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages (2016) (dl.acm.org)
images.axios.com image
Trump administration lifts restrictions on Anthropic''s Fable 5 (www.axios.com)
What happened to the fight for the internet? (dustycloud.org)
The Threat of Residential Proxies (www.feistyduck.com)
cekrem.github.io image
Parse, Don''t Validate — In a Language That Doesn''t Want You To (cekrem.github.io)
i0.wp.com image
Soatok’s Informal Guide to Threat Models (soatok.blog)
Slint and the Node.js Event Loop (slint.dev)
servo.org image
May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more (servo.org)
Proving the Fundamental Theorem of Arithmetic in Agda (byorgey.github.io)
Local Reasoning for Global Properties (tratt.net)
jj_tui: terminal user interface to jujutsu focused on speed and clarity (tangled.org)
Platform Support for GNU Extensions to Basic Regular Expressions (www.wezm.net)
Revisiting Yliluoma’s ordered dither algorithm (30fps.net)
You Don’t Know Jack About Formal Verification (queue.acm.org)
opengraph.githubassets.com image
ipv6_frag_escape: Linux LPE - Reliable Jail/Container Escape (github.com)
WATaBoy: JIT-ing Game Boy Instructions to Wasm Beats a Native Interpreter (humphri.es)
Pystd standard library, similar-ish functionality with a fraction of the compile time (nibblestew.blogspot.com)
nebusec.ai image
Longinus: 2 Boundaries in One Bug, Piercing Chrome’s Renderer and V8 Sandbox with a Single Vulnerability, CVE-2026-6307 (nebusec.ai)
Evaluation order and nontermination in query languages (www.rntz.net)
The Scanline Sweeper: A Glyph Rendering Algorithm (youtu.be)
Obfuscation: building the final boss of cryptography (vitalik.eth.limo)
autocrypt2.org image
Autocrypt v2 - Post-Quantum and Reliable Deletion (autocrypt2.org)
sigma-star.at image
Integrity on Embedded Linux Devices under the Cyber Resilience Act (sigma-star.at)
Joys of cancelling a TBB task group · (aras-p.info)
repository-images.githubusercontent.com image
Kivo - A lightweight desktop teleprompter built with PySide6 (github.com)
Optimizing LLVM''s bump allocator (maskray.me)
Ante: New Way to Blend Borrow Checking and Reference Counting (verdagon.dev)
Convolutional Neural Networks in APL (2019) (dl.acm.org)
github.githubassets.com image
Build System Improvements, Centralized Overview, etc (gist.github.com)
www.patrick-breyer.de image
“Double Threat” to Private Communications: Undemocratic Chat Control Backroom Deals and Imminent Concessions Spark Relaunch of fightchatcontrol.eu (www.patrick-breyer.de)
lh3.googleusercontent.com image
Examining circuit boards from the Space Shuttle''s I/O Processor (www.righto.com)
Attention AI Slop Porters (www.reddit.com)
Lazy Loading Dynamic Libraries and the Plugin-Architecture on iOS (medium.com)
Installing SerenityOS on My Old ThinkPad T60 (btxx.org)
Regular expressions that work “everywhere” (www.johndcook.com)
victoriametrics.com image
How VictoriaLogs Stores Your Logs in a Columnar Layout (victoriametrics.com)
makerspet.com image
Building an Open-Source Robot Vacuum — Meet oomwoo (makerspet.com)
The feature in OxCaml that more languages should steal - The Consensus (theconsensus.dev)
Comparing Transformers and Hybrid Models at the Token Level (arxiv.org)
opengraph.githubassets.com image
GPT2-BASIC: Portable Machine Intelligence in BASIC (github.com)
A peek into Reddit''s anti-spam internals (lyra.horse)
www.phoronix.net image
Linux 7.2 Improves Anonymous/Unnamed Pipe Performance For Shell Pipelines & More (www.phoronix.com)
Data Access Patterns That Makes Your CPU Really Angry (blog.weineng.me)