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

用中文瀏覽 Lobste 最新提交

數據來源: 該頁面支持的版本: 該頁面支持的語言: 訂閱地址: 社交媒體: 最後更新於: 2025-09-15T14:08:42.541+08:00   查看統計
12:05  Moonbit developers are lying to you (bitemyapp.com)
11:59  Smalltalk and Lambda Calculus (blog.ielliott.io)
10:48  riffq is a Postgres wire protocol compatibility layer for Python (riffq.com)
05:43  tsink: Embedded time-series database for Rust (github.com)
05:28  Networking for System Administrators (2nd Edition) (www.kickstarter.com)
04:35  DriftDB: An experimental append-only database with built-in time travel (github.com)
01:28  The unreasonable effectiveness of modern sort algorithms (github.com)
00:40  On the Security of SSH Client Signatures (arxiv.org)
09-14  Writing an operating system kernel from scratch (popovicu.com)
09-14  Refurb weekend: Silicon Graphics Indigo² IMPACT 10000 (oldvcr.blogspot.com)
09-14  Redox Development Priorities for 2025/26 (www.redox-os.org)
09-14  Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)
09-14  Learning to fuzz with LibAFL by solving puzzles (github.com)
09-14  A fast PHP toolchain written in Rust (github.com)
09-14  Tebako: cross-platform, self-contained executables (www.tebako.org)
09-13  Flow Control: a programmer''s text editor (github.com)
09-13  Link Graveyard: A snapshot of my abandoned browser tabs (timkellogg.me)
09-13  Setsum – order agnostic, additive, subtractive checksum (avi.im)
09-13  pgschema: Terraform-style, declarative schema migration for Postgres (github.com)
09-13  Safe C proposal is not being continued (sibellavia.lol)
09-13  AFRICA’S DIGITAL RESET: What the continental internet exchange means for businesses and digital freedom – Business Insider (businessinsider.co.tz)
09-13  Linux 6.17 Fix Lands To Address Regression With "Serious Breakage" In Hibernation (www.phoronix.com)
09-13  Splitting a long string in lines using AVX2 (lemire.me)
09-13  meow: Yet another modal editing on Emacs (github.com)
09-13  Tips for installing Windows 98 in QEMU/UTM (sporks.space)
09-13  Grimoire CSS - flexible utility class tool (grimoirecss.com)
09-13  What Happens After I''m Gone? The Future of the Online Me (btxx.org)
09-13  From 19k to 4.2M events/sec: story of a SQLite query optimisation (mnt.io)
09-12  Jef Raskin’s cul-de-sac and the quest for the humane computer (arstechnica.com)
09-12  Center for the Alignment of AI Alignment Centers (alignmentalignment.ai)
09-13  open-edison: An MCP Gateway to block Simon Willison''s Lethal Trifecta (github.com)
09-12  Lobsters Interview with Susam (lobste.rs)
09-12  Fun Friday Question: What Easter Eggs have you Found or Made? (lobste.rs)
09-12  Improving state machine code generation (trifectatech.org)
09-12  Debian Upgrade Marathon: 3.1 Sarge (wrongthink.link)
09-12  The Evolution of Logical Replication in PostgreSQL: A Firsthand Account (www.enterprisedb.com)
09-12  Logging in Go with Slog: A Practitioner''s Guide (www.dash0.com)
09-12  Emacs Wants You to Extend It: Sorting My Reading List (edoput.it)
09-12  FatNums: An Alternate Representation for School Arithmetic (2020) (parentheticallyspeaking.org)
09-12  VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments (comsec.ethz.ch)
09-12  Architecture by Fashion, Not Fundamentals (substack.com)
09-12  Declarative music - 2 Minute Deep Acid in Strudel (from scratch) (www.youtube.com)
09-12  httpjail: monitor and restrict HTTP/HTTPS requests from processes (github.com)
09-12  Kefir 0.5.0 Release Announcement (C17/C23 compiler) (kefir.protopopov.lv)
09-12  ANN: doom-ada: Doom Emacs Ada language module with syntax highlighting, LSP and Alire support (github.com)
09-11  Program verification is not all-or-nothing (lawrencecpaulson.github.io)
09-11  humanely dealing with humungus crawlers (flak.tedunangst.com)
09-11  Introducing nanonext: breaking down language barriers in data science (www.tidyverse.org)
09-11  Network and Storage Benchmarks for LLM Training on the Cloud (maknee.github.io)
09-11  Behind The Scenes of Bun Install (bun.com)
09-11  Why you should care about keeping your design files clean (2018) (monzo.com)
09-11  First-class merges and cover letters (dotat.at)
09-11  SlateDB: An embedded database built on object storage (slatedb.io)
09-11  pgEdge goes Open Source (www.pgedge.com)
09-11  [RFC] Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotation programming for SIMD targets (discourse.llvm.org)
09-11  Rust compiler performance survey 2025 results (blog.rust-lang.org)
09-11  Pay-per-output? AI firms blindsided by beefed up robots.txt instructions (arstechnica.com)
09-11  From Unit Tests to Whole Universe Tests (with Will Wilson) (youtu.be)
09-11  OrioleDB Patent: now freely available to the Postgres community (supabase.com)
09-11  ARM is great, ARM is terrible (and so is RISC-V) The Changelog (changelog.complete.org)
09-11  KDE launches its own distribution (again) (lwn.net)
09-11  TWISTED: The dramatic history of twisted-pair Ethernet (www.youtube.com)
09-11  Flox, the Nix Foundation, and NVIDIA Partner for CUDA (flox.dev)
09-11  Unicode 17.0 Release Announcement (blog.unicode.org)
09-10  The Origin Story of Merge Queues (mergify.com)
09-10  Many Hard Leetcode Problems are Easy Constraint Problems (buttondown.com)
09-10  JEP 401: Value Classes and Objects (Preview) (openjdk.org)
09-10  Function Composition in Programming Languages - Conor Hoekstra - CppNorth 2023 (www.youtube.com)
09-10  Popular npm software packages hit in supply-chain attack (arstechnica.com)
09-10  My Quarterly System Health Check-in (blog.nilenso.com)
09-10  Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift (arxiv.org)
09-10  The bloat of edge-case first libraries (43081j.com)
09-10  How to Prove False Statements: Practical Attacks on Fiat-Shamir (eprint.iacr.org)
09-10  Memory Integrity Enforcement: A complete vision for memory safety in Apple devices (security.apple.com)
09-10  Testing the compiler optimizations your code relies on (pythonspeed.com)
09-09  Analyzing the memory ordering models of the Apple M1 (2023) (www.sciencedirect.com)
09-10  Formatting code should be unnecessary (maxleiter.com)
09-10  A new experimental Go API for JSON (go.dev)
09-09  Apple Event for September 9th, 2025 (www.apple.com)
09-09  Writing a book in the age of open source (blog.incrementalforgetting.tech)
09-09  Replacing SGX with GitHub Actions: Or how to turn GitHub Actions into a trusted computing oracle (www.ethanheilman.com)
09-09  Batched Critical Sections (kprotty.me)
09-09  What I Learned Building My First Jenkins Plugin (mergify.com)
09-09  Recreating the Apollo AI adoption rate chart with GPT-5, Python and Pyodide (simonwillison.net)
09-09  A Novel Technique for SQL Injection in PDO’s Prepared Statements (slcyber.io)
09-09  i ran Claude in a loop for three months, and it created a genz programming language called cursed (ghuntley.com)
09-09  Liquid Glass in the Browser: Refraction with CSS and SVG (kube.io)
09-09  GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR (blog.llvm.org)
09-09  Using Emacs Org-Mode With Databases: A getting-started guide (gitlab.com)
09-09  Wikimedia sunsets separate mobile domains (www.mediawiki.org)
09-09  Introducing Signal Secure Backups (signal.org)
09-09  Unix Co-Creator Brian Kernighan on Rust, Distros and NixOS (thenewstack.io)
09-09  Anatomy of a billion-download NPM supply-chain attack (jdstaerk.substack.com)
09-09  Fixing my gripes with GitHub using Gleam and a Raspberry Pi (giacomocavalieri.me)
09-08  We will not accept changes created with the aid of "AI" (codeberg.org)
09-08  Experimenting with local LLMs on macOS (blog.6nok.org)
09-08  Strong Eventual Consistency - The Big Idea behind CRDTs (lewiscampbell.tech)
09-08  ''Make invalid states unrepresentable'' considered harmful (www.seangoedecke.com)
09-08  Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges (2021) (arxiv.org)
09-08  Hashed sorting is typically faster than hash tables (reiner.org)
09-08  How I solved a distributed queue problem after 15 years DBOS (www.dbos.dev)
09-08  Adventures in porting a Wayland Compositor to NetBSD and OpenBSD (youtu.be)
09-08  Ever shared a Spotify link on the internet? Someone you don''t know can now message you (www.androidauthority.com)
09-08  Pico CSS • Minimal CSS Framework for semantic HTML (picocss.com)
09-07  Engineering excellence starts on edge (world.hey.com)
09-07  Algebraic Effects in Practice with Flix (www.relax.software)
09-07  The Expression Problem and its solutions (eli.thegreenplace.net)
09-07  Do you have a personal wiki? (lobste.rs)
09-07  Semantic Line Breaks (sembr.org)
09-07  Hitting Peak File IO Performance with Zig (steelcake.com)
09-07  Emulating Rust''s Result and ? in Jai with Metaprogramming (jamesoswald.dev)
09-07  How can I help? Volunteer opportunities: Lobste.rs, OSS, programming, Internet related, other? (lobste.rs)
09-07  The CoPilot productivity paradox (www.marginalia.nu)
09-07  Stop writing CLI validation. Parse it right the first time (hackers.pub)
09-06  Oldest recorded transaction (avi.im)
09-06  Developing a Space Flight Simulator in Clojure (www.wedesoft.de)
09-06  Natural transformations as a basis of control (muratkasimov.art)
09-06  Bringing restartable sequences out of the niche (lwn.net)
09-06  X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)
09-05  Basecamp Campfire is now open source (github.com)
09-06  EmbeddingGemma: Best-in-Class Open Model for On-Device Embeddings (developers.googleblog.com)
09-05  Use singular nouns for database table names (www.teamten.com)
09-05  The state of fq_codel and sch_cake worldwide [2022] (blog.cerowrt.org)
09-05  Trying to Make Sense of Casing Conventions on the Web (blog.jim-nielsen.com)
09-05  Xmake v3.0.2 has been released, Improve C modules and new native thread support (github.com)
09-05  If I hear "design pattern" one more time, I''ll go mad (purplesyringa.moe)
09-05  Opt-in Strict Memory Safety Checking in Swift 6.2 (github.com)
09-05  Fil''s Unbelievable Garbage Collector (fil-c.org)
09-05  Evolving the OCaml Programming Language (2025) (kcsrk.info)
09-05  Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack (arxiv.org)
09-05  maak: The infinitely extensible command runner and automation project build system à la Make (codeberg.org)
09-05  Let''s rename the "vibecoding" tag to "llms" (lobste.rs)
09-05  Glamorous Toolkit: The Moldable Development Environment (github.com)
09-05  Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more (blog.trailofbits.com)
09-05  Cassandra counter columns: Nice in theory, hazardous in practice (2022) (ably.com)
09-05  wal3: A Write-Ahead Log for Chroma, Build on Object Storage (trychroma.com)
09-05  Integer Programming (2002) (web.mit.edu)
09-04  An embedded dev kit for EndBASIC with NetBSD (youtu.be)
09-04  A practical introduction to parsing in Rust (jhwlr.io)
09-04  The Programming-Lang of the Future (vimeo.com)
09-04  Strategically Holding Back Bugs and Patches (rya.nc)
09-04  A CA Trusted by Microsoft Mis-issued Certificates for 1.1.1.1 in May 2025, According to Logs (arstechnica.com)
09-04  Ladybird Browser Update (August 2025) (youtu.be)
09-04  Route, Layer and Process Kafka Messages with Tansu Services (blog.tansu.io)
09-04  Linux Kernel SMB 0-Day Vulnerability CVE-2025-37899 Uncovered Using ChatGPT o3 (www.upwind.io)
09-04  Git exclude, a handy feature you might not know about (marijkeluttekes.dev)
09-04  Building Terminal Applications With Elixir (www.youtube.com)
09-04  Slint 1.13 Released with Live-Preview for Rust and C (slint.dev)
09-04  The first Gleam Conference - Gathering 2026 (gleamgathering.com)
09-04  BASIC-M6502: Microsoft BASIC for 6502 Microprocessor - Version 1.1 (github.com)
09-04  Your Biggest Customer Might Be Your Biggest Bottleneck (densumesh.dev)
09-03  Abstract Machine Models (dr-knz.net)
09-03  Cookie Chaos: How to bypass __Host and __Secure cookie prefixes (portswigger.net)
09-03  The Anatomy of a Mach-O: Structure, Code Signing, and PAC (oliviagallucci.com)
09-03  Sharing a mutable reference between Rust and Python (blog.lilyf.org)
09-03  WheelNext & Wheel Variants: An update, and a request for feedback (discuss.python.org)
09-03  New gABI/ELF Spec Available for Public Review (groups.google.com)
09-03  2025 Financial Report and Fundraiser (ziglang.org)