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-04-19T17:00:16.308+08:00   查看统计
16:13  Easters - an adventofcode-like challenge for easter (easters.dev)
14:11  Deus Lex Machina: releasing a new compacting Zig tokenizer (validark.dev)
13:45  Efficient E-Matching for Super Optimizers (blog.vortan.dev)
12:32  Buried Toggles Begging to be Brought to Light (venam.net)
11:38  Open Core and .NET Foundation: Time for Some Introspection? (lobste.rs)
08:14  Are your channels visible enough? (libera.chat)
09:33  System Design of a Cellular APL Computer (ieeexplore.ieee.org)
09:02  pahole: Analysing Memory Layout of Complex Data Structures With Ease (pramodkumbhar.com)
00:46  Marching Events: What does iCalendar have to do with ray marching? (pwy.io)
01:57  Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
04-18  Antithesis driven testing (sqlsync.dev)
04-18  Sneak peek: A new ASN.1 API for Python (blog.trailofbits.com)
04-18  Microsecond transforms: Building a fast sandbox for user code (blog.sequinstream.com)
04-18  Awesome Consensus: A survey of recent byzantine fault tolerance algorithms (github.com)
04-18  Exacerbating Cross-Site Scripting: The Iframe Sandwich (coopergyoung.com)
04-18  Lockless Programming Considerations for Xbox 360 and Microsoft Windows (2012) (learn.microsoft.com)
04-18  Software Development Has Too Much Software In It (smustafa.blog)
04-18  Using /.ssh/authorized keys to decide what the incoming connection can do (dan.langille.org)
04-18  Honest and Elitist Thoughts on Why Computers Were More Fun Before (www.datagubbe.se)
04-18  Decomposing Transactional Systems (transactional.blog)
04-18  Introducing Policy Servers for Matrix (matrix.org)
04-18  Matrix Calculus for Machine Learning and Beyond (github.com)
04-18  How to create and use program libraries on Linux (2003) (tldp.org)
04-18  Serbian student activist’s phone hacked using Cellebrite zero-day exploit (securityaffairs.com)
04-17  traceboot: precise and lightweight tracing for boot and shell scripts (codeberg.org)
04-17  Concurrency in Haskell: Fast, Simple, Correct (bitbashing.io)
04-17  Everyone knows your location, Part 2: try it yourself and share the results (timsh.org)
04-17  Arch Linux: Valkey to replace Redis in the [extra] Repository (archlinux.org)
04-17  Graham: Synchronizing Clocks by Leveraging Local Clock Properties (www.usenix.org)
04-17  Passing planes and other whoosh sounds (www.windytan.com)
04-17  Investigating truthfulness in a pre-release o3 model (transluce.org)
04-17  Bring Back RSS Feeds to Browsers (jetgirl.art)
04-17  Regular Expression Derivatives in Python (archive.fosdem.org)
04-17  Isolated Execution Environment for eBPF (ebpf.foundation)
04-17  tariff: The GREATEST, most TREMENDOUS Python package that makes importing great again (github.com)
04-17  sqlc: Generate type-safe code from SQL (github.com)
04-17  A practical hacker''s guide to the C programming language (github.com)
04-17  deb-books: books hidden in Debian source packages (codeberg.org)
04-17  codex: Lightweight coding agent that runs in your terminal (github.com)
04-17  TLS Certificate Lifetimes Will Officially Reduce to 47 Days (www.digicert.com)
04-17  Learning Fennel from Scratch to Develop Neovim Plugins (lambdaisland.com)
04-17  Northguard: Scalable Log Storage at Linkedin (announcement event) (blog.typeobject.com)
04-17  Torque – A lightweight meta-assembler for any processor (benbridle.com)
04-17  An Intro to DeepSeek''s Distributed File System (maknee.github.io)
04-17  Mastodon Exit Interview (v.cx)
04-17  Introducing Kermit: A typeface for kids (microsoft.design)
04-16  Getting better performance out of object storage (spiraldb.com)
04-16  Reproducing Hacker News writing style fingerprinting - (antirez.com)
04-16  What Every Programmer Should Know about How CPUs Work • Matt Godbolt • GOTO 2024 (www.youtube.com)
04-16  swank-decorators: Python-inspired decorators for Ruby (github.com)
04-16  CISA extends funding to ensure ''no lapse in critical CVE services'' (www.bleepingcomputer.com)
04-16  Crimes... And Felonies. [HP QuickLook and Daystarter] (www.youtube.com)
04-16  The 3-Year Journey to an Actually Good Monitoring Stack (phare.io)
04-16  Herb: Powerful and seamless HTML-aware ERB parsing and tooling (herb-tools.dev)
04-16  Introducing Herb: A new HTML-Aware ERB Parser for smarting developer tooling (marcoroth.dev)
04-16  Update on Spain and LaLiga blocks of the internet (vercel.com)
04-16  Supercharge your Tests with Snapshot Testing (www.youtube.com)
04-16  Dangerous Arbitrary File Read Vulnerability in Yelp (CVE-2025-3155) (blogs.gnome.org)
04-16  Atomicless Concurrency (2023) (mcyoung.xyz)
04-16  The Story Behind K2 Mode and How It Works The IntelliJ IDEA Blog (blog.jetbrains.com)
04-16  Company''s Surveillance Tech Makes Immigrants ''Easy Pickings'' (web.archive.org)
04-16  A flowing WebGL gradient, deconstructed (alexharri.com)
04-16  Cutting Down Rust Compile Times With One Thousand Crates (www.feldera.com)
04-16  GNOME Shell Frippery (frippery.org)
04-16  An Introduction to Modern CMake (cliutils.gitlab.io)
04-16  The answer is 42! Fedora Linux 42, that is (fedoramagazine.org)
04-16  Arch Linux now has an official WSL image (antiz.fr)
04-15  Getting Started with W65C832 (joedavisson.com)
04-15  Flambda2 Ep. 4: How to write a purely functional compiler (ocamlpro.com)
04-15  AHOY! European Social Web Day 2025 (ahoy.eu)
04-15  Procedural Foliage Rendering with L-systems and Geometry Instancing (jysandy.github.io)
04-15  The Problem with “Vibe Coding” (dylanbeattie.net)
04-15  Behind the 6-digit code: Building HOTP and TOTP from scratch (blog.dogac.dev)
04-15  What the Hell Is a Target Triple? (mcyoung.xyz)
04-15  Stevens: a hackable AI assistant using a single SQLite table and a handful of cron jobs (www.geoffreylitt.com)
04-15  Frontier AI Models Still Fail at Basic Physical Tasks: A Manufacturing Case Study (adamkarvonen.github.io)
04-15  Deploying TypeScript: recent advances and possible future directions (2ality.com)
04-15  MacPad: How I Created the Hybrid Mac-iPad Laptop and Tablet That Apple Won’t Make (2024) (www.macstories.net)
04-15  An ssh adventure; or, why l10n support is important (gitlab.com)
04-15  Stasm: GCC/Clang inline assembly wrapper, C macro pre-processor based. ASM for human beings (github.com)
04-15  PanVK is officially Vulkan 1.1 conformant on the Arm Mali-G610 GPU (www.khronos.org)
04-15  Algebraic Semantics for Machine Knitting (uwplse.org)
04-14  Flat origami is Turing complete (arxiv.org)
04-14  Pretty State Machine Patterns in Rust (hoverbear.org)
04-14  git-remote-http is linked against incompatibly licensed OpenSSL (bugs.debian.org)
04-14  Python is an interpreted language with a compiler (ntietz.com)
04-14  We don’t need no virtualization (blog.snork.dev)
04-14  I''ve been writing software for the last 25 years. Here are a few more things I''ve learned so far (part 2) (blog.rpanachi.com)
04-14  htmx Documentation - Caching (htmx.org)
04-14  An Ars Technica history of the Internet, part 1 (arstechnica.com)
04-14  Zig''s new LinkedList API (it''s time to learn @fieldParentPtr) (www.openmymind.net)
04-14  Ditch the DIY Drama: Why Use Fedify Instead of Building ActivityPub from Scratch? (hackers.pub)
04-14  Ship Software That Does Nothing (kerrick.blog)
04-14  Mandatory short duration TLS certificates are probably coming soon (utcc.utoronto.ca)
04-14  A Visual Journey Through Async Rust (github.com)
04-14  Solving One Million Sudoku Puzzles per hour (www.miakoring.de)
04-14  Torvalds Celebrates Git''s 20th Anniversay. Is It More Famous Than Linux? (m.slashdot.org)
04-14  The Five Critical Roles of Your Team (withinboredom.info)
04-14  A tricky Commodore PET repair: tracking down 6 1/2 bad chips (www.righto.com)
04-13  Speeding up Terraform caching with OverlayFS (www.bejarano.io)
04-13  no-panic: Attribute macro to require that the compiler prove a function can''t ever panic (github.com)
04-13  Torn Write Detection and Protection (transactional.blog)
04-13  TrueSkill 2: An improved Bayesian skill rating system (www.microsoft.com)
04-13  Nix Trigonometric Math Library from Ground Zero (lantian.pub)
04-13  Natural Language Is Now the Only No-Code Tool That Matters (www.xfaang.com)
04-13  cl-yasboi: Yet Another Starter Boilerplate for Common Lisp (github.com)
04-13  Creating 256 Bytes of RAM (in a simulation) (www.youtube.com)
04-13  ZCS — An Entity Component System in Zig (gamesbymason.com)
04-13  Performance Analysis and Tuning on Modern CPUs (github.com)
04-12  CORE-MATH: high performance open-source mathematical functions with correct rounding (core-math.gitlabpages.inria.fr)
04-12  BPS is a GPS alternative that nobody''s heard of (www.jeffgeerling.com)
04-12  Bootstrapping Understanding: An Introduction to Reverse Engineering (www.muppetlabs.com)
04-12  My Cloudflare R2 has been blocked from LaLiga (Spain football league), is it even legal? (lobste.rs)
04-12  awe: A compiler for the Algol W programming language (github.com)
04-12  Slopsquatting: Planting Malicious Packages Under Names AIs Will Hallucinate (socket.dev)
04-12  Some features that every JavaScript developer should know in 2025 (waspdev.com)
04-12  Bug in Outlook PST Password Protection (2006) (www.nirsoft.net)
04-12  Python Performance: Why ''if not list'' is 2x Faster Than Using len() (blog.codingconfessions.com)
04-12  The 5 Levels of Configuration Languages (beza1e1.tuxen.de)
04-12  Convert Protobuf/Avro/JSON Kafka Messages to Apache Parquet with Tansu: A Step-by-Step Guide (blog.tansu.io)
04-12  tpchgen-rs: TPC-H benchmark data generation in pure Rust (github.com)
04-12  Datastar - The hypermedia framework (data-star.dev)
04-12  The Past, Present & Future of Programming Languages (www.youtube.com)
04-12  CaMeL offers a promising new direction for mitigating prompt injection attacks (simonwillison.net)
04-12  Bilinear interpolation on a quadrilateral using Barycentric coordinates (gpuopen.com)
04-12  Golang sync.Pool is not a silver bullet (wundergraph.com)
04-11  Erlang’s not about lightweight processes and message passing… (stevana.github.io)
04-11  quadrable: Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs (github.com)
04-11  Real-time visualisation of London Underground Trains (www.londonunderground.live)
04-11  Haiku Activity & Contract Report, March 2025 (www.haiku-os.org)
04-11  12-factor-agents: Principles to build LLM-powered software good enough to put in the hands of production customers? (github.com)
04-11  With Carrots & Sticks - Can the browser handle web security? (frederikbraun.de)
04-11  Usb-C and its overengineered history (www.youtube.com)
04-11  Taking out the Trash: Garbage Collection of Object Storage at Massive Scale (www.warpstream.com)
04-11  Low cost, high speed data acquisition over HDMI (media.ccc.de)
04-11  Controlling Language and Diffusion Models by Transporting Activations (machinelearning.apple.com)
04-11  My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules (www.muppetlabs.com)
04-11  cargo-mutants: :zombie: Inject bugs and see if your tests catch them (github.com)
04-11  The YAML Exponent Problem causing chaos in your config files (www.brautaset.org)
04-11  Two decades of Git: A conversation with creator Linus Torvalds (www.youtube.com)
04-11  Introducing DBIx::Class::ResultSet::PrettyPrint (peateasea.de)
04-10  The “S” in MCP Stands for Security (elenacross7.medium.com)
04-10  BTrees, Inverted Indices, and a Model for Full Text Search (ohadravid.github.io)
04-10  Lisp Programs Don''t Have Parentheses (funcall.blogspot.com)
04-10  Having Fun With a Scamming Crypto Job (nguyenhuythanh.com)
04-10  The Myst Graph: A New Perspective on Myst (glthr.com)
04-10  The Y Combinator Explained in Python (lptk.github.io)
04-10  Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io)
04-10  RFC 3446 - Introduce the Store API for great good (github.com)
04-10  Elliptical Python Programming (susam.net)
04-10  Adaptive Lossless Floating Point compression in Rust is faster than C (spiral-one.vercel.app)
04-10  Async from scratch 1: What''s in a Future, anyway? (natkr.com)
04-10  git-withme - Peer-to-peer, encrypted, ephemeral Git collaboration (git daemon with encryption) (git.sr.ht)
04-10  “It’s not that bad” they told me - Coreboot (lilysthings.org)
04-10  Visualizing a Million Time Series with the Density Line Chart (arxiv.org)
04-10  What are "promotional" websites (not doc sites) that as a developer/SW eng you find useful/descriptive of a technology you use or consider using? (lobste.rs)
04-09  Koreo: The platform engineering toolkit for Kubernetes (koreo.dev)
04-09  A compiler for the Micron programming language - the Oberon with the power of C (github.com)
04-09  An LLM Query Understanding Service (softwaredoug.com)
04-09  Man pages are great, man readers are the problem (whynothugo.nl)
04-09  Maintenance Notice - Whisky Documentation (docs.getwhisky.app)
04-09  facet: Rust reflection, serialization, deserialization — know the shape of your types (github.com)
04-09  How Netflix Accurately Attributes eBPF Flow Logs (netflixtechblog.com)
04-09  Hardening the Firefox Frontend with Content Security Policies (attackanddefense.dev)
04-09  Eurisko, the Computer with a Mind of its Own - George Johnson (aliciapatterson.org)
04-09  Is not writing tests unprofessional? (2019) (matthiasnoback.nl)
04-09  the order of files in your ext4 filesystem does not matter (thewisenerd.com)
04-09  Decomposing factorial of 300K as the product of 300K factors larger than 100K (gus-massa.blogspot.com)
04-09  A surprising enum size optimization in the Rust compiler (jpfennell.com)
04-09  Linux 6.15 Features Deliver A Lot For Intel & AMD, Many Other Changes (www.phoronix.com)
04-09  Global Value Numbering Using Random Interpretation (www2.eecs.berkeley.edu)
04-09  shorty: a C library for concise lambdas (github.com)
04-09  Mistakes and cool things to do with arena allocators (zylinski.se)
04-09  Netbird: connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls (github.com)
04-09  PyReason: Explainable inference for annotated, real valued, graph based and temporal logic (github.com)
04-09  How to "get a feel for the data" (briefer.cloud)
04-08  dreckly: pkgsrc fork focused on quality and portability to all UNIX-like platforms (github.com)
04-08  "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (www.philipzucker.com)
04-08  Every programming language needs its killer app to succeed (www.grilly.com)
04-08  What it''s like to interview a software engineer preparing with AI (www.kapwing.com)
04-08  Zen and The Art of Semiconductor Manufacturing (futuring.substack.com)
04-08  More devops than I bargained for (fasterthanli.me)
04-08  Remembering John Conway''s FRACTRAN, a ridiculous, yet surprisingly deep language (raganwald.com)
04-08  Emacs Startup Time Doesn’t Matter (batsov.com)
04-08  Thinking like a compiler: places and values in Rust (steveklabnik.com)