Lobsters

@lobsters@robot.villas

Stories from Lobsters

Source: https://lobste.rs/rss

Follow on Mastodon

Pick your instance

Enter the Mastodon instance your account is hosted at.

Go

Don't have an account? Find a server at joinmastodon.org

close

Posts

4,320

Followers

34

Following

2

Posts

• Functional programming from first principles, part 1 - motivation #Programming #FunctionalProgramming #ComputerScience

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• On AI #AI #Technology #MachineLearning

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• N-body gravity simulation in O(N) #Science #Programming #Simulation

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• Make Reviews Possible Again With This One Simple Trick #Programming #SoftwareDevelopment #Tech

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• PGSimCity: How PostgreSQL Works, in 3D #PostgreSQL #Databases #Tech

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• DOOM running on a regex engine #DOOM #RetroGaming #Tech

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• History of John Backus's FP languages #History #Programming #ComputerScience

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• What does GitHub's security team even do? #Security #GitHub #OpenSource

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• Interconverting std::function with copyable_function #Cpp #Programming #SoftwareDevelopment

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• Authoritative dnsmasq in a MikroTik container #Networking #DNS #OpenSource

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• Being Linux Torvalds #Linux #OpenSource #Tech

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 27, 2026

• Using ThinkPad T480 as a mobile phone #Tech #Hardware #Mobile

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• SQLite WAL Mode Can Lock Short-Lived Readers #Databases #SQLite #Programming

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• The secret life of data in Valkey #Databases #OpenSource #Tech

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Teaching Kids Forth #Education #Programming #Forth

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Forth Moving Lisp Moving Forth #Programming #Lisp #Forth

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• OpenLoco version 26.07 Release #OpenSource #GameDev #Cpp

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Fast DEFLATE compression in Lean #FormalMethods #Performance #Programming

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Xavier Leroy on programming, languages and formal verification #Programming #FormalMethods #ComputerScience

  7

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Dmitri Gaskin on jQuery #JavaScript #RetroTech #WebDev

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Beginner J: Dealing Cards #Programming #APL #Beginner

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Scanwheel: a drum style mechanical television you can build yourself #DIY #Hardware #RetroTech

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Himalaya v2.0.0: CLI to manage emails #CLI #Rust #Email

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 26, 2026

• Maybe we should revisit microkernels #Microkernels #OperatingSystems #ComputerScience

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Banner Highway 01 #Art #History #Design

  7

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Memory Safety Absolutists #Programming #Rust #MemorySafety

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• How to self-host servers in your living room on static IPs #SelfHosting #Networking #Tech

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• How I Find Problems to Solve as a Staff Engineer #Engineering #Career #ProblemSolving

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Your harddrive is probably full #Storage #Tech #Performance

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  1

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• General Resolution: LLM usage in Debian #LLM #Debian #OpenSource

  9

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Verse: A New Scripting Language #Programming #Language #Tech

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Languages as designed latent spaces #AI #Language #Research

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Zig by Example #Programming #ZigLang #OpenSource

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• A shell colon does nothing. Use it anyway #Programming #Shell #Tech

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Emacs Writing Machine #Emacs #Writing #Productivity

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Android May Soon Restrict On-Device ADB, Affecting Shizuku, libadb and Developers #Android #Dev #Tech

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• Sending packets directly from BPF #BPF #Networking #Linux

  4

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• stinkpot: sqlite-backed shell history #Programming #Shell #Go

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• the perils of parsing type inference declarations in c #Programming #Compiler #TypeInference

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026

• I'm running the ICFP programming contest (2026) #Programming #Contest #Event

  6

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 25, 2026