Lobste の最新の投稿 · このページについて 閉じる · Buzzing Home · エディターズピック · HN人気 · HN最新 · テクノロジー · HN トップ · Show HN · HN Ask + もっと - 閉じる
海外ニュースの見出し · 経済学人最新 · Reddit 人気 · 深い思考 · Reddit ワールドニュース · ブルームバーグ最新 · ブレイキングニュース · The Atlantic · BBC · 中国 · エコノミスト · ビデオ · Ars Technica · PH人気の作品 · Reddit質問 · Reddit中国 · 株式市場人気 · 纽约时报 · ファイナンス · ガーディアン · ヤフーファイナンス · ファイナンシャルタイムズ · 女性主義 · ウォールストリートジャーナル · レイチャーズ · ビジネスインサイダー · スカイニュース · グーグルニュース · サイドプロジェクト · ポリティコ · Linux · Dev人気の記事 · ニュース速報 · ルーターズ最新 · PHYS最新 · Nature · Science Alert · Live Science · Bear Blog トレンド · Big Think · 暗号通貨 · Quora热门 · 新しいサイトを提案しますか?    

人気の Lobste の最新 の投稿

ソース: バージョン: 他の言語: 購読: ソーシャル: 最終更新日: 2025-12-31T20:41:31.118+08:00   統計を見る
18:11  Modular Monolith and Microservices: Data ownership, boundaries, consistency and synchronization (binaryigor.com)
15:34  Mastodon Stories for systemd v259 (0pointer.net)
10:57  Simple Bidirectional Type Inference (ettolrach.com)
03:26  A vulnerability in libsodium (00f.net)
02:25  Escaping Containment: A Security Analysis of FreeBSD Jails (media.ccc.de)
12-30  Developers remain willing but reluctant to use AI: The 2025 Developer Survey results are here (stackoverflow.blog)
12-29  Clock Synchronization Is a Nightmare (arpitbhayani.me)
12-29  Slaughtering Competition Problems with Quantifier Elimination (grossack.site)
12-29  Tiny, types-first schema validation for TypeScript (github.com)
12-29  Solve Hi-Q with AlphaZero and Curriculum Learning (www.robw.fyi)
12-28  39C3: To sign or not to sign: Practical vulnerabilities in GPG & friends (media.ccc.de)
12-28  Fastverse: A Suite of High-Performance and Low-Dependency R Packages (fastverse.org)
12-27  Getting started with Playdate on Ubuntu (sethmlarson.dev)
12-27  Meet Critic: Code Inspection System in Opera Software (2019?) (sudonull.com)
12-27  The Rime of the Ancient Maintainer (www.joanwestenberg.com)
12-27  llm-grep: Match lines using both classic and semantic regular expressions (github.com)
12-27  "Enabling" C threads in a Python / Wasm environment (yosefk.com)
12-27  Show: Twine - A tool to dynamically trace calls in production Elixir systems (github.com)
12-27  On Metastable Failures and Interactions Between Systems (charap.co)
12-26  Toward a policy for machine-learning tools in kernel development (lwn.net)
12-25  Self-referencing Page Tables for the x86-Architecture (0l.de)
12-25  Mathematically extra-complicated Secretest Santa 2025 (youtube.com)
12-25  The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in mind (mirari.vitasys.nl)
12-25  Datafun - functional language that generalizes Datalog (www.rntz.net)
12-24  Meta Is Using The Linux Scheduler Designed For Valve''s Steam Deck On Its Servers - Phoronix (www.phoronix.com)
12-24  Attention From First Principles (metaworld.me)
12-24  An initial analysis of the discovered Unix V4 tape (www.spinellis.gr)
12-23  Reproducing the NixOS 25.11 Minimal Installation ISO (arnout.engelen.eu)
12-23  The lightest notes app implementation in 111 loc (github.com)
12-23  From Zero to QED: An informal introduction to formality in Lean 4 (sdiehl.github.io)
12-23  An uncomfortable but necessary discussion about the Debian bug tracker (nibblestew.blogspot.com)
12-22  Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department (sine.foundation)
12-22  typed-arrow: First-class compile‑time Arrow schemas for Rust (github.com)
12-22  Thirteen years of Rust and the birth of Rue (steveklabnik.com)
12-22  Inverse parentheses (kellett.im)
12-21  Exploring Speculative JIT Compilation for Emacs Lisp with Java (kyo.iroiro.party)
12-21  The atomic time scale at NIST Boulder has failed (journa.host)
12-21  Tag proposal: decentralization (lobste.rs)
12-21  Text similarity search via normalized compression distance (discourse.haskell.org)
12-21  An introduction to property-based testing with QuickCheck (2020) (jesper.sikanda.be)
12-21  Shooting myself in the foot with Git by accident (utcc.utoronto.ca)
12-21  romforth: Ultra Portable, Small, Baremetal Forth for various processors (github.com)
12-21  Granule, a statically-typed linear functional language with graded modal types (github.com)
12-20  Detecting goroutine leaks with synctest/pprof (antonz.org)
12-20  Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (abhamra.com)