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-02-08T15:14:21.522+08:00   查看统计
14:33  No-Libc Zig Now Outperforms Glibc Zig (ziglang.org)
11:37  Docker Bake is Now Generally Available (www.docker.com)
03:42  getaddrinfo sucks. everything else is much worse (valentin.gosu.se)
03:04  Secure cookie library in Go from scratch (moroz.dev)
01:49  A Brief History of Code Signing at Mozilla (hearsum.ca)
01:32  Fun Friday: what''s the weirdest automation you''ve ever made? (lobste.rs)
01:20  polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference (github.com)
02-07  LKML: Hector Martin: [PATCH] MAINTAINERS: Remove myself (lkml.org)
02-07  CPython tail-call interpreter merged for Python 3.14 (docs.python.org)
02-07  Refined: simple refinement types for Rust (jordankaye.dev)
02-07  What the f*** is reflection? (www.youtube.com)
02-07  OpenTelemetry, Prometheus, and More: Which Is Better for Metrics Collection and Propagation? (victoriametrics.com)
02-07  numbat: A statically typed programming language for scientific computations with first class support for physical dimensions and units (github.com)
02-07  FOSDEM 2025 - 14 Years of systemd (fosdem.org)
02-07  Subpixel Snake: The Web''s Smallest Game (www.youtube.com)
02-07  The Three Projections of Doctor Futamura (blog.sigfpe.com)
02-07  Comments on Shared Unix Hosting vs. the Cloud (oils.pub)
02-07  The LLM Curve of Impact on Software Engineers (serce.me)
02-07  How much instrumentation is enough / when am I done? (blog.toshokelectric.com)
02-07  Library sandboxing for Verona (github.com)
02-07  Benchmarking caching in Rails with Redis vs the alternatives (www.bigbinary.com)
02-07  [OpenWrt Wiki] OpenWrt 24.10.0 - First Stable Release - 6. February 2025 (openwrt.org)
02-07  Llama''s Paradox - Exploiting Llama.cpp (retr0.blog)
02-07  The all new le Chat: Your AI assistant for life and work Mistral AI (mistral.ai)
02-07  DOOM running on Apple Lightning to HDMI dongle (youtu.be)
02-07  A Closer Look At The Tanmatsu (hackaday.com)
02-07  Fabrication begins for production OpenTitan silicon (opensource.googleblog.com)
02-07  GitHub Copilot: The agent awakens (github.blog)
02-07  Parameterized tests in Swift: Reducing boilerplate code (www.avanderlee.com)
02-07  Which rich text editor framework should you choose in 2025? (liveblocks.io)
02-06  A cheaper and faster way to deploy Binderhub (2i2c.org)
02-06  The Three Basic Rules of Safety Hygiene (jack.wrenn.fyi)
02-06  The inevitability of the borrow checker (yorickpeterse.com)
02-06  Profiling in production with function call traces (yosefk.com)
02-06  Asdf Has Been Re-Written in Golang (stratus3d.com)
02-06  Just because you’re getting an index scan, doesn''t mean you can’t do better (www.pgmustard.com)
02-06  FreeBSD and hi-fi audio setup: bit-perfect, equalizer, real-time (m4c.pl)
02-06  SQLite or PostgreSQL? It''s Complicated (www.twilio.com)
02-06  It Is Time to Standardize Principles and Practices for Software Memory Safety – Communications of the ACM (cacm.acm.org)
02-06  Hotline for modern Apple systems (github.com)
02-06  How to Influence Query Planning in Postgresql (chriskiehl.com)
02-06  The Evolving Landscape of LLM Evaluation (www.ruder.io)
02-06  Tips for more effective fuzz testing with AFL (nullprogram.com)
02-06  Counter-Strike analytics with Bevy and React (youtu.be)
02-06  Versioning versus Coordination (brooker.co.za)
02-06  Implementation of a RingBuffer in Java with optional FIFO like semantics (github.com)
02-06  Collaborative Text Editing with Eg-Walker (www.youtube.com)
02-06  comic-web-markup: Comic-web is a markup language for describing comics, as well as a rendering engine for this language (github.com)
02-06  zasper: Fastest and Most Efficient IDE to run Jupyter Notebooks (github.com)
02-06  Gemini 2.0 is now available to everyone (blog.google)
02-05  Go Supply Chain Attack: Malicious Package Exploits Go Module (socket.dev)
02-05  A Java JIT Compiler and Runtime in Common Lisp (github.com)
02-05  Puzzmo — The place for thoughtful puzzles (puzzmo.com)
02-05  Rewriting Slipshow in OCaml: The undo-able monad (choum.net)
02-05  Zig; what I think after months of using it (strongly-typed-thoughts.net)
02-05  A painless guide to CRC error detection algorithms (1993) (www.ross.net)
02-05  Framework ships RISC-V board for its 13" laptops along with "boardless" laptop chassis (arstechnica.com)
02-05  Spritely Institute - Decentralized Networking Technology (spritely.institute)
02-05  Ambsheets: Spreadsheets for exploring scenarios (www.inkandswitch.com)
02-05  Cooperative multitasking in Rust (elric.pl)
02-05  The developer of SerenityOS is challenging the browser duopoly (thenextweb.com)
02-05  Corca: Collaborative Math Editor (corca.io)
02-05  Fat Rand: How Many Lines Do You Need To Generate A Random Number? (lucumr.pocoo.org)
02-05  Supply chain security and the danger of abandoned S3 buckets (labs.watchtowr.com)
02-04  No-Panic Rust: A Nice Technique for Systems Programming (blog.reverberate.org)
02-04  How to configure multiple Tor relays on the same interface with different IPs (osservatorionessuno.org)
02-04  How languages influence each other and evolve (thetechenabler.substack.com)
02-04  Seeking Support After Equinix Metal Sunsets (alpinelinux.org)
02-04  clr: Checker for Lifetimes and other Refinement types (github.com)
02-04  "GOT0 Considered Harmful” Considered Harmful (1987) (web.archive.org)
02-04  Build your own SQLite in Rust, Part 4: reading tables metadata (blog.sylver.dev)
02-04  Gang of None? Design Patterns in Elixir (www.youtube.com)
02-04  Operational and Denotational Strategies for Understanding Code (noelwelsh.com)
02-04  Retaking The Web Browser, One Small Step At A Time (andregarzia.com)
02-04  Running Private DeepSeek R1 with Verifiable Security (tinfoil.sh)
02-04  Lisa: Production-quality expert-system shell (github.com)
02-04  AMD: Microcode Signature Verification Vulnerability (github.com)
02-04  Generating image descriptions and alt-text with AI (dri.es)
02-04  PanGui - A cross-platform UI library with a razor sharp focus on performance, simplicity and expressive power (pangui.io)
02-04  Developer philosophy (qntm.org)
02-04  Disassembling a binary: linear sweep and recursive traversal (nicolo.dev)
02-03  What''s next for Flathub build infrastructure (docs.flathub.org)
02-03  Pinning Down "Future Is Not Send" Errors (emschwartz.me)
02-03  Optimizing with Novel Calendrical Algorithms (jhpratt.dev)
02-03  Arithmetic Coding for Data Compression (dl.acm.org)
02-03  The Patient Programmer (dbushell.com)
02-03  Perfect is the enemy of good (medv.io)
02-03  RUSTSEC-2025-0004: openssl: ssl::select_next_proto use after free (rustsec.org)
02-03  A selfish personal argument for releasing code as Open Source (simonwillison.net)
02-03  freedoms-for-who, revisited briefly (lu.is)
02-03  Nix: string interpolation of directories gone awry (fzakaria.com)
02-03  A caveat with statically linked language runtimes (thinkingeek.com)
02-03  Incident SEV scales are a waste of time (blog.danslimmon.com)
02-03  Tote:Rewriting Playground (100r.co)
02-03  Designing your Data: The Bread & Butter of APL Performance by Aaron Hsu (www.youtube.com)
02-03  Scripts to help setup llms tools easily from fosdem (github.com)
02-03  Hollywood: split a computer console into multiple panes of genuine technical melodrama (a.hollywood.computer)
02-03  Everyone knows your location: tracking myself down through in-app ads (timsh.org)
02-03  par: experimental concurrent language with an interactive playground (github.com)
02-03  5 Python Details and their Consequences (youtu.be)
02-02  What software do you dream about, but do not have time to code yourself? (lobste.rs)
02-02  For Sale: Binaries Compiled From Hand-Crafted Artisanal Code (jasonbrownlee.me)
02-02  Eat your greens - A philosophy for language design (www.youtube.com)
02-02  Unexpected Benefits of Building Your Own Tools (tiniuc.com)
02-02  Safety in Programming Languages is a Means to an End (lewiscampbell.tech)
02-02  LLMs: harmful to technical innovation? (evanhahn.com)
02-02  TAI64 in the wild is (sometimes) not TAI (blog.dave.tf)
02-02  Waydroid - Android in a Linux container (waydro.id)
02-02  Allow Necromancy: To Avoid Reposts, Enable Comments on Old Posts (lobste.rs)
02-02  Python 3, Pygame, and Debian Bookworm on the Miyoo A30 (www.jtolio.com)
02-02  The origin and unexpected evolution of the word "mainframe" (www.righto.com)
02-02  Ruby "Thread Contention" is simply GVL Queuing Island94.org (island94.org)
02-02  Revisiting random number generation (swlody.dev)
02-02  Extending the Coreutils project - Rewriting base tools in Rust (uutils.github.io)
02-01  The Next Chapter in Swift Build Technologies (swift.org)
02-01  Using serde, quote, syn and proc_macro2 to implement the Kafka protocol sans-io in Rust (blog.tansu.io)
02-01  Chatbot Software Begins to Face Fundamental Limitations (www.quantamagazine.org)
02-01  Hell Is Overconfident Developers Writing Encryption Code (soatok.blog)
02-01  Designing a keyboard from scratch (www.masterzen.fr)
02-01  Visualizing all books of the world in ISBN-Space (phiresky.github.io)
02-01  Blazing-fast IoT data pipeline for infrared monitoring (s2.dev)
02-01  Using LLM to write SQLite queries (amjith.com)
02-01  Jailbreaking DeepSeek R1 - Prompt Injection Using Charcodes (substack.com)
02-01  uscope: A New Debugger and Introspection Toolchain (www.calabro.io)
02-01  linuxpdf: Linux running inside a PDF file via a RISC-V emulator (github.com)
02-01  Designing Great Watchdog Timers for Embedded Systems (www.ganssle.com)
02-01  The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery (github.com)
02-01  Will Scaling Reasoning Models Like o3 and R1 Unlock Superhuman Reasoning? (scaling-reasoning.chrisbarber.co)
02-01  From ''pfui'' to bevy_hui - make Bevy UI great (www.youtube.com)
02-01  Guten: A tiny newspaper printer (amanvir.com)
02-01  Navigating Global Regulations and Open Source: US OFAC Sanctions (www.linuxfoundation.org)
02-01  Ruby on Rails on WebAssembly, the full-stack in-browser journey (web.dev)
02-01  Jujutsu VCS Introduction and Patterns (kubamartin.com)
02-01  The VGHF Library opens in early access (gamehistory.org)
01-31  Particles, Progress, and Perseverance: A Journey into WebGPU Fluids (tympanus.net)
01-31  Accurate predictions on small data with a tabular foundation model (www.nature.com)
01-31  Destroying and reprogramming the sprite engine of Ghosts ‘n Goblins (youtu.be)
01-31  Potential RUST-inspired simplification for Go error handling (github.com)
01-31  Byte Queue Limits: the unauthorized biography (medium.com)
01-31  Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust (www.youtube.com)
01-31  nom parser combinators now released in version 8, with a new architecture (github.com)
01-31  Gamedev.city: Game development-centric link aggregator (gamedev.city)
01-31  Falsehoods programmers believe about null pointers (purplesyringa.moe)
01-31  How Jane Street accidentally built a better build system for OCaml (blog.janestreet.com)
01-31  Contracts for C explained in 5 minutes (timur.audio)
01-31  The surprising way to save memory with BytesIO (pythonspeed.com)
01-31  Practical Pigment Mixing for Digital Painting (2021) (scrtwpns.com)
01-31  Introducing sealed types (cheriot.org)
01-31  Ranking Programming Languages by Energy Efficiency (haslab.github.io)
01-30  PyPI Now Supports Project Archival (blog.pypi.org)
01-30  Pointers Are Complicated II, or: We need better language specs (www.ralfj.de)
01-30  History of APL in the USSR (dl.acm.org)
01-30  Perforator - cluster-wide continous profiling tool (github.com)
01-30  Decompiling 2024: A Year of Resurgance in Decompilation Research (mahaloz.re)
01-30  Ending Support for Expiration Notification Emails (letsencrypt.org)
01-30  Parametric Subtyping for Structural Parametric Polymorphism (blog.sigplan.org)
01-30  Senders/Receivers: An Introduction (accu.org)
01-30  keymapper: A cross-platform context-aware key remapper (github.com)
01-30  Building a semantic movie search demo with pgvector and Next.js (blog.6nok.org)
01-30  Why Trees Without Branches Grow Faster: The Case for Reducing Branches in Code (cedardb.com)
01-30  Using v2ray with Caddy to Access the Internet in China (sequentialread.com)
01-29  Portal flow brings it all together (30fps.net)
01-29  Things you might not need in your tests (thoughtbot.com)
01-29  How to Set WebGL Shader Colors with CSS and JavaScript (www.nmattia.com)
01-29  Bidirectional Typechecking is Bidirectional (cybercat-institute.github.io)
01-29  You''re thinking about passkeys wrong (dev.to)
01-29  MLX — Distributed Computing for Apple Silicon (ml-explore.github.io)
01-29  Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned (tarides.com)
01-29  A Modern Compiler for the French Tax Code (inria.hal.science)
01-29  Statistical Process Control: Practitioner''s Guide (entropicthoughts.com)
01-29  My history with Forth & stack machines (yosefk.com)
01-29  Introducing codename goose (block.github.io)
01-29  Deep Learning for NLP Best Practices (www.ruder.io)
01-29  Sunsetting Cursed Terminal Emulation (arcan-fe.com)
01-29  Monorepo: How to vendor dependencies and contribute back upstream? (lobste.rs)
01-29  Marginalia - A search engine prioritizing non-commercial content (marginalia-search.com)
01-29  Limited Run Games violated GPL releasing Tomba! game (github.com)
01-28  But what is a lifetime - thinking of lifetimes as regions of memory (youtu.be)
01-28  A pattern for obtaining a single value while holding a lock (devblogs.microsoft.com)
01-28  Daily command-line ablutions (lobste.rs)
01-28  Seven things I know after 25 years of development (zverok.space)
01-28  Can We Retain the Benefits of Transitive Dependencies Without Undermining Security? (tratt.net)
01-28  Data Protection Day: Only 1.3% of cases before EU DPAs result in a fine (noyb.eu)
01-28  public-inbox - an "archives first" approach to mailing lists (public-inbox.org)
01-28  Clone2Leak: Your Git Credentials Belong To Us (flatt.tech)
01-28  Image replacement in Canva designs using reverse image search (www.canva.dev)
01-28  Scaling One Million Checkboxes to 650,000,000 checks (2024) (eieio.games)
01-28  Building personal software with Claude (blog.nelhage.com)
01-28  pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger (github.com)
01-28  Building a toast component (emilkowal.ski)
01-28  really really good random number generator (rrgrng) (swlody.dev)
01-28  Spritely Goblins v0.15.0: Goblins in the browser! — Spritely Institute (www.spritely.institute)