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-07-12T15:33:55.078+08:00   查看統計
15:01  Damn Small Link Forwarder (DSLF): a bit.ly replacement written in rust (github.com)
09:08  Hanami and the elephant in the room (hanamirb.org)
07:18  WatchWitch: Interoperability, Privacy, and Autonomy for the Apple Watch (arxiv.org)
03:53  Measuring power network frequency using junk you have in your closet (halcy.de)
03:24  Wasm the Hard Way: Porting the Chicory Compiler to Android (blog.evacchi.dev)
01:39  Cybersecurity Risk Assessment Request (daniel.haxx.se)
07-11  Intermediaries in Network-based Ecosystems (mydata.org)
07-11  Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes (c3-lang.org)
07-11  Mill Build Tool v1.0.0 Release Highlights (mill-build.org)
07-11  Not So Fast: AI Coding Tools Can Actually Reduce Productivity (secondthoughts.ai)
07-11  sipgate discovers null-pointer-dereference in Mediatek VoLTE stack firmware (www.sipgate.de)
07-11  Writing an IR from Scratch and survive to write a post (farena.in)
07-11  Concurrent Programming with Harmony (harmony.cs.cornell.edu)
07-11  A remembrance of Matthew S. Trout (mst) (curtispoe.org)
07-11  Lossless float image compression (aras-p.info)
07-11  An (almost) catastrophic OpenZFS bug and the humans that made it (and Rust is here too) (despairlabs.com)
07-11  Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity (metr.org)
07-11  Specification Grounding: The Missing Link in Vibe Coding (unstract.com)
07-11  Vibe Coding Casino: Rise of programming by slot machine (evrim.zone)
07-10  Jai Demo and Design Explanation (www.youtube.com)
07-10  CoverDrop: Blowing the Whistle Through A News App (www.coverdrop.org)
07-10  Diffusion Elites: surprisingly good, simple and embarrassingly parallel (blog.christianperone.com)
07-10  Multi-player Durable Stream Playground (s2.dev)
07-10  Essential and accidental configuration (jfmengels.net)
07-10  Optimizing a Math Expression Parser in Rust (rpallas.xyz)
07-10  Building Modular Interpreters and Visitors in Rust with Extensible Variants and CGP (contextgeneric.dev)
07-10  Unveiling the Open Source heroes that power our digital infrastructure (maintaine.rs)
07-10  Functional Functions - A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C (thephd.dev)
07-10  A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux (www.muppetlabs.com)
07-10  An online searchable reference tool for C intrinsics of all major SIMD engines (simd.info)
07-10  Get the location of the ISS using DNS (shkspr.mobi)
07-10  Variadic Generics ideas that won’t work for Rust (poignardazur.github.io)
07-10  Roll your own in-game UI with Clay and NanoVG (dev.to)
07-09  Summary of the May 2025 TC39 plenary (blogs.igalia.com)
07-09  HyAB k-means for color quantization (30fps.net)
07-09  Just say no to broken JSON (lemire.me)
07-09  Reachy Mini - The Open-Source Robot by Hugging Face (huggingface.co)
07-09  Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods (www.cs.uoregon.edu)
07-09  The Tree Borrows paper is finally published (www.ralfj.de)
07-09  Frame of preference – A history of Mac settings, 1984–2004 (aresluna.org)
07-09  C3 0.7.3 - Small improvements (c3-lang.org)
07-09  CVE-2025-48384: Breaking git with a carriage return and cloning RCE (dgl.cx)
07-08  Mastering Postgres Replication Slots: Preventing WAL Bloat and Other Production Issues (www.morling.dev)
07-09  Multiple vulnerabilities fixed in Git (www.openwall.com)
07-08  Making Unsafe Rust a Little Safer: Find Memory Errors in Production with GWP-ASan (blog.colinbreck.com)
07-09  Announcing FOKS, the Federated Open Key Service (blog.foks.pub)
07-08  Which Kubernetes is the Smallest? Examining Talos Linux, K3s, K0s, and More (www.siderolabs.com)
07-08  bitchat is a decentralized, peer-to-peer messaging application that operates over Bluetooth Low Energy (BLE) mesh networks (github.com)
07-08  Customize your keyboard shortcuts in Chrome with a Chrome extension (taupiqueur.github.io)
07-08  Deterministic Simulation Testing in Rust: A Theater Of State Machines (www.polarsignals.com)
07-08  Enterprise Loop pattern in multiple languages (github.com)
07-08  TouchFS - Context-Aware File Generation (touchfs.io)
07-08  Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders (contextgeneric.dev)
07-08  All Programming Languages are Fast (orgpad.info)
07-08  You Should Run a Certificate Transparency Log (words.filippo.io)
07-08  Applied Cryptography: comprehensive, novel course materials released under Creative Commons (appliedcryptography.page)
07-08  Iceberg, The Right Idea - The Wrong Spec - Part 1 of 2: History (database-doctor.com)
07-08  Adding a feature because ChatGPT incorrectly thinks it exists (www.holovaty.com)
07-08  Generic interfaces (go.dev)
07-08  Stop putting nix setup in your checked-in .envrc files (offby1.website)
07-08  The Future of Forums is Lies, I Guess (aphyr.com)
07-08  In defence of swap: common misconceptions (2018) (chrisdown.name)
07-08  Automatically Packaging a Haskell Library as a Swift Binary XCFramework (alt-romes.github.io)
07-07  Prompt Coding Experiment: No code edits, only complete rewrites (www.gibney.org)
07-07  You don''t have to use Nix to manage your dotfiles (jade.fyi)
07-07  Building personalized micro agents (blog.meain.io)
07-07  AfriNIC: Hope, Hijack, and the Harsh Lessons of African Multistakeholderism (medium.com)
07-07  Decrypted Generative Model safety files for Apple Intelligence containing filters (github.com)
07-07  In Praise of the Contrarian Stack (hackers.pub)
07-07  Ziglings: Learn Zig by fixing broken programs (codeberg.org)
07-07  Plasma 6.4 Wayland vs X11, processor and power benchmarks (www.dedoimedo.com)
07-07  theory building without a mentor (jyn.dev)
07-07  Coalton: Toward safe, flexible, and efficient software in Common Lisp (www.youtube.com)
07-07  Progress report on rustc_codegen_cranelift (June 2025) (bjorn3.github.io)
07-07  What is OpenTelemetry? [a basic guide] (signoz.io)
07-07  Apple Pay vs. Alternative Payment Services (www.taler.net)
07-07  quickly converitng djot to htmlmathml (www.unix.dog)
07-07  C mistakes among the vulnerabilities present in curl code (mastodon.social)
07-06  I built Gadzetto.com in a single day using ChatGPT (gadzetto.com)
07-06  Unsoundness and accidental features in the #[target_feature] attribute (predr.ag)
07-06  Serving 200 million requests per day with a cgi-bin (jacob.gold)
07-06  160 Core RISC-V supercluster on a single M.2 (www.youtube.com)
07-06  operators, not users and programmers (jyn.dev)
07-06  KDE Plasma 6.4 has landed in OpenBSD (undeadly.org)
07-06  The messy reality of SIMD (vector) functions (johnnysswlab.com)
07-05  Reflections on 2 years of CPython’s JIT Compiler: The good, the bad, the ugly (fidget-spinner.github.io)
07-05  What clever tools/workflows do you use to manage development environments? (lobste.rs)
07-05  Making Language Models Play Baba is You (fi-le.net)
07-05  AI’s great brain robbery — and how universities can fight back (www.thetimes.com)
07-05  actix-passport: A comprehensive, flexible authentication framework for actix-web (github.com)
07-05  The ITTAGE indirect branch predictor (blog.nelhage.com)
07-05  Gödel''s beavers, or the limits of knowledge (lcamtuf.substack.com)
07-05  iris: A neurosymbolic framework for vulnerability detection in code (github.com)
07-05  A compact bitset implementation used in Ocarina of Time save files (github.com)
07-05  gremllm: A slight upgrade to the Gremlins in your code (github.com)
07-05  mawkdown, a lightweight, line-oriented(ish) text markup tool implemented in awk (codeberg.org)
07-05  awesome-standards: A curated list of technical standards (github.com)
07-05  A supposedly worthwhile contract I''ll never do again (ahelwer.ca)
07-04  Compression Dictionary Transport (developer.mozilla.org)
07-04  Getting extensions to work with free-threaded Python (lwn.net)
07-04  Steam has been flooded with games stolen from itch.io (www.gamepressure.com)
07-04  37 Things I Learned About Information Retrieval in Two Years at a Vector Database Company (www.leoniemonigatti.com)
07-04  A catamorphic lambda-calculus interpreter (www.michaelpj.com)
07-04  Our Fullstack Architecture: Eta, HTMX, and Lit (www.lorenstew.art)
07-04  The scary and surprisingly deep rabbit hole of Rust''s temporaries (taping-memory.dev)
07-04  Anarchy in the Database: A Survey and Evaluation of Database Management System Extensibility (www.vldb.org)
07-04  Project Vend: Can Claude run a small shop? (And why does that matter?) (www.anthropic.com)
07-04  writing a little gosh (flak.tedunangst.com)
07-04  complected and orthogonal persistence (jyn.dev)
07-04  Taming agentic engineering - Prompts are code, .json/.md files are state (mariozechner.at)
07-04  Speeding up PostgreSQL snapshots, in pgstream (xata.io)
07-04  Portability of tar features (mgorny.pl)
07-03  Taking over 60k spyware user accounts with SQL injection (ericdaigle.ca)
07-03  I Built The Torment Nexus (Political Podcast Edition) (www.jamesrball.com)
07-03  The most mysterious bug I solved at work (cadence.moe)
07-03  goHardDrive Leaked Personal Data for Thousands of Customers (mtlynch.io)
07-03  Writing Code Was Never The Bottleneck (ordep.dev)
07-03  How to manage configuration settings in Go web applications (www.alexedwards.net)
07-03  Recreating Laravel Cloud’s range input with native HTML (phare.io)
07-03  Introducing the first alpha of Turso: The next evolution of SQLite (turso.tech)
07-03  I Still Use Vim. I Also Use AI. It Still Feels Like Me (www.godaddy.com)
07-03  The Amiga 3000 UNIX and Sun Microsystems: Deal or no deal? (www.datagubbe.se)
07-03  Exploiting the IKKO Activebuds "AI powered" earbuds, running DOOM, stealing their OpenAI API key and customer data (blog.mgdproductions.com)
07-03  Fail Faster: Staging and Fast Randomness for High-Performance Property-Based Testing (www.youtube.com)
07-03  Tree-Structured Concurrency II: Replacing Background Tasks With Actors (blog.yoshuawuyts.com)
07-03  500 faster: Four different ways to speed up your code (pythonspeed.com)
07-03  Deploying Python (Django) to Kubernetes: A practical guide with a complete DevOps Pipeline (denibertovic.com)
07-03  Programming as Theory Building (pablo.rauzy.name)
07-03  sslcheck: Command-line tool to check and monitor SSL certificate expiration across multiple domains (github.com)
07-03  This Overly Long Variable Name Could Have Been a Comment (jonathan-frere.com)
07-02  How I Scanned all of GitHub’s “Oops Commits” for Leaked Secrets worth 25k in Bug Bounties (trufflesecurity.com)
07-02  Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA (www.mongodb.com)
07-02  Counterexamples of positivity implications in Kähler curvature tensors (www.magnusson.io)
07-02  Three Years of Nix and NixOS: The Good, the Bad, and the Ugly (pierrezemb.fr)
07-02  Uncloud - tool for deploying and managing containerised applications (github.com)
07-02  The Chapel Programming Language (chapel-lang.org)
07-02  How large are large language models? (2025) (gist.github.com)
07-02  The web''s broken deal with AI companies (dri.es)
07-02  The Hell of FFIX Tetra Master (xvw.lol)
07-02  OpenBao, the community fork of Vault, released v2.3.1 with namespaces (github.com)
07-02  What should a native DOM templating API look like? (justinfagnani.com)
07-02  Software engineering with LLMs in 2025: reality check (www.youtube.com)
07-02  Parsing Layout, or: Haskell''s Syntax is a Mess (amelia.how)
07-01  Emoji Kitchen - Browse Google''s unique emoji combinations (emojikitchen.dev)
07-01  Exception handling in rustc_codegen_cranelift (tweedegolf.nl)
07-01  FUZZING''25 Keynote: "Are you sure you belong in academia?" (www.youtube.com)
07-01  Cloud native LSM Key-Value Store with searchable compression algo and distributed compaction (github.com)
07-01  input-branches: Workflow and flake-part for flake input patching using imported git branches (github.com)
07-01  Introducing pay per crawl: enabling content owners to charge AI crawlers for access (blog.cloudflare.com)
07-01  From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD (emptysqua.re)
07-01  Finding and understanding bugs in C compilers (2011) (www.cse.unr.edu)
07-01  Alternative Blanket Implementations for a Single Rust Trait (www.greyblake.com)
07-01  Orchestrating Edge AI workloads on a Jetson Orin Nano with Nomad (atodorov.me)
07-01  Google Developer Search Appliance – Proxmox Port (archive.org)
07-01  llvm: InstCombine: improve optimizations for ceiling division with no overflow—a PR by Alex Gaynor and Claude Code (simonwillison.net)
07-01  Building Replication-Safe LSM Trees in Postgres (www.paradedb.com)
07-01  HMPL-DOM: The HTMX Alternative for Writing Reactive HTML Without JavaScript (github.com)
07-01  CVE-2025-32463 Vulnerability Advisory: Sudo chroot Elevation of Privilege (www.stratascale.com)
07-01  Building Accurate Address Matching Systems (www.robinlinacre.com)
07-01  VibeTunnel - access terminal from the browser to command agents (github.com)