Elektrine lite

← Feed

Lobsters

lobsters@mastodon.social

<p>Feed for stories that have reached the front page of lobste.rs.</p>

Posts

  • View post

    Beyond the &amp; https://lobste.rs/s/wks0s9 #rust https://lwn.net/SubscriberLink/1096028/7524dbcae1be7205/

  • View post

    Migrating Git repos to SHA-256 https://lobste.rs/s/ug8erg #vcs https://exa.y2k.diy/garden/git-sha256/

  • View post

    Gentoo infrastructure sponsors wanted via @arch@floofy.tech https://lobste.rs/s/jmqi5h #linux https://www.gentoo.org/news/2026/10/07/infrastructure-sponsors-wanted.html

  • View post

    jujutsu (jj) 0.46.0 via @kingmob@hachyderm.io https://lobste.rs/s/nz3b1h #release #vcs https://github.com/jj-vcs/jj/releases/tag/v0.46.0

  • View post

    How to Believe a Machine-Checked Proof (1997) https://lobste.rs/s/8nfjfc #pdf #formalmethods #math https://www.brics.dk/RS/97/18/BRICS-RS-97-18.pdf

  • View post

    Clojure in the Age of Language Models https://lobste.rs/s/xtgwsd #ai #clojure https://yogthos.net/posts/2026-10-07-clojure-llms.html

  • View post

    Property Testing with Agent Swarms https://lobste.rs/s/ycmpvw #testing #vibecoding https://recursion.wtf/posts/agents-and-property-tests/

  • View post

    The people holding up the internet https://lobste.rs/s/lhr4oy #historical #web https://sheets.works/data-viz/holding-up-the-internet

  • View post

    How can undefined opcodes ud0 and ud1 have parameters? https://lobste.rs/s/hzwqzv #assembly #hardware https://devblogs.microsoft.com/oldnewthing/20261007-00/?p=112759/

  • View post

    I&#39;ve Been Deindexed by Google https://lobste.rs/s/en3vgh #practices https://kennyqin.com/deindexed-by-google/

  • View post

    Uncle Bob Martin says he no longer reads AI-generated code and the developer world is split https://lobste.rs/s/tfcilp #vibecoding https://startupfortune.com/uncle-bob-martin-says-he-no-longer-reads-ai-generated-code-and-the-developer-world-is-split/

  • View post

    Hello, my name is Orca via @goldstein@im-in.space https://lobste.rs/s/ffn6sm #a11y #linux #security https://linnemanlabs.com/posts/hello-my-name-is-orca/

  • View post

    A rant about APIs https://lobste.rs/s/jiphkt #api #practices https://dev.clintonblackburn.com/2026/10/08/a-rant-about-apis.html

  • View post

    Monte-Carlo simulations https://lobste.rs/s/pift8w #math https://eli.thegreenplace.net/2026/monte-carlo-simulations/

  • View post

    On using AI as a writing assistant https://lobste.rs/s/jfxvvk #vibecoding https://ninashamsi.com/writing/i-am-a-bad-writer.html

  • View post

    Escape Analysis in Go: Stack or Heap? https://lobste.rs/s/vzcqqd #video #go https://www.youtube.com/watch?v=BanG_wLnSfE

  • View post

    Impossibility Proof for Instant 8-tuple Piston Extenders https://lobste.rs/s/r07fdn #video #formalmethods #games #math #reversing https://www.youtube.com/watch?v=I-MMyRzmqFI

  • View post

    The Mathocalypse via @mseri@mathstodon.xyz https://lobste.rs/s/zlhyss #math #vibecoding https://scottaaronson.blog/?p=10169

  • View post

    connect-go v2 is here · Buf Blog https://lobste.rs/s/lpnmlt #go https://buf.build/blog/connect-go-v2

  • View post

    Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 via @rk@mastodon.well.com https://lobste.rs/s/9qtgrm #person https://news.mit.edu/2026/margaret-hamilton-computing-pioneer-dies-1007

  • View post

    New gTLD Program: 2026 Round applications via @robalex@indieweb.social https://lobste.rs/s/gyr21i #networking https://newgtldprogram-aps.icann.org/applications

  • View post

    All our houses are built on sand now https://lobste.rs/s/l252ms #vibecoding https://po-ru.com/2026/10/07/all-our-houses-are-built-on-sand-now

  • View post

    C for Rust Programmers by @bd103@hachyderm.io https://lobste.rs/s/lgdxtw #c #rust https://bd103.dev/blog/2026-10-07-c-for-rust-programmers/

  • View post

    Query Plan Rewriting in PostgreSQL via @fanf@mendeddrum.org https://lobste.rs/s/qlxpzx #databases https://theconsensus.dev/p/2026/09/13/query-plan-rewriting-in-postgresql.html

  • View post

    When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan&#39;s International Internet Disconnection https://lobste.rs/s/hhga98 #networking https://resilience.ocf.tw/web/report/en.html

  • View post

    Software developers are not okay https://lobste.rs/s/0gvyif #philosophy https://www.baldurbjarnason.com/2026/05-software-developers-are-not-okay/

  • View post

    rat&#39;s minimal register allocator https://lobste.rs/s/frav12 #compilers #performance https://hexrat.cc/pages/blog/2026_10_07

  • View post

    Zeroization, part 1: Wiping can make things worse https://lobste.rs/s/4hxxad #compilers #security https://00f.net/2026/10/06/zeroization-1/

  • View post

    On Git Refs https://lobste.rs/s/u88nlh #vcs https://matklad.github.io/2026/10/07/git-ref.html

  • View post

    Calling a function in C without naming it https://lobste.rs/s/ucwapn #c #security https://wiro.world/posts/calling-c-func-without-naming-it/