~lobsters | Bookmarks (1917)

Application blackbox

dxuuu.xyz

debugging linux
1
Making a Trello clone using htmx

erikheemskerk.nl

web
1
A Tour of WebAuthn

imperialviolet.org

cryptography web
2
Debu.gs: Try Inferno without Installing It

debu.gs

Pete Elmore, 2013-04-06 04:22The thing I said here is actually a really real thing. Inferno’s usually...
Pete Elmore, 2013-04-06 04:22The thing I said here is actually a really real thing. Inferno’s usually easy enough to get up and running. There’s some mkfile tweaking, sometimes there are some platform-specific bugs, you’ll have to adjust your path, etc. It can be a bother. It’s definitely worth it, but you can’t tel...

historical osdev
1
How to collect performance statistics with Cabal | The Haskell Programming Language's blog

haskell.org

blog functional programming haskell
1
Formal Methods: Just Good Engineering Practice? - Marc's Blog

brooker.co.za

Earlier this week, I did the keynote at TLA+ conf 2024 (watch the video or check...
Earlier this week, I did the keynote at TLA+ conf 2024 (watch the video or check out the slides). My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on la...

formalmethods
2
How Many Hours Can You Code?

thecodist.com

practices
1
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1
Problem Driven Development

staysaasy.com

Figuring out what to do is a big part of senior tech roles. Senior Engineers and...
Figuring out what to do is a big part of senior tech roles. Senior Engineers and Engineering Managers often struggle to define technical roadmaps. Reasons include: There’s little industry training on how to do it It can be daunting to prioritize against professional PMs who are specifically selected and trained to b...

practices programming
1
- YouTube

youtu.be

hochladen kamerahandy kostenlos teilen video
1
Goodhart's Law Isn't as Useful as You Might Think

commoncog.com

H/t @lcapaldo Comments

business thinking practices
2
Deliver the Bare Minimum

btxx.org

culture rant
1
On Long Term Software Development - Bert Hubert's writings

berthub.eu

Recently the Dutch Electoral Board (where I am also a very part time advisor) invited me...
Recently the Dutch Electoral Board (where I am also a very part time advisor) invited me to do a talk reflecting on their open source Abacus vote tabulation software. Much software is now provided as a service, and is typically deployed continuously (CD, continuous deployment), surrounded by enough automated testing...

programming
2
Unnecessary Optimization in Rust: Hamming Distances, SIMD, and Auto-Vectorization

emschwartz.me

performance rust
1
How bloom filters made SQLite 10x faster - blag

avi.im

databases
1
Dec 22: Why we use our own hardware at Fastmail

fastmail.com

devops hardware
2
GitHub - singh47/huelogs: Minimilistic Log Moniitoring System

github.com

devops release
1
Do Not Fix Bugs Reported in Your Open Source Projects

dblock.org

Have you watched The IT Crowd? It’s a hilarious British television sitcom from around 2006 that...
Have you watched The IT Crowd? It’s a hilarious British television sitcom from around 2006 that cast a bunch of IT geniuses at the Reynholm Industries tech support department in London. One of the signature laughs is that every time the phone rang, Roy would pick it up and without waiting say “Have you turned it off...

open source practices
3
Four limitations of Rust’s borrow checker

polybdenum.com

I’ve been using Rust for hobby projects since 2016 and have been working professionally in Rust...
I’ve been using Rust for hobby projects since 2016 and have been working professionally in Rust since 2021, so I tend to consider myself pretty knowledgeable about Rust. I’m already familiar with all the common limitations of Rust’s type system and how to work around them, so it’s pretty rare that I have to “fight t...

plt rust
2
sqlite.directory

sqlite.directory

databases
1
Let's Build Snake with Rust

scottlogic.com

Since 2016, Rust has been voted the “most loved programming language” every year in the Stack...
Since 2016, Rust has been voted the “most loved programming language” every year in the Stack Overflow Developer Survey by what appears to be a growing margin, and after checking it out for myself, it’s pretty clear why. Rust offers a plethora of features you’d expect from a modern language and addresses pain points...

rust
1
UIs Should Be Versioned, Just Like We Version APIs

okayfail.com

Every organization that offers an application programming interface almost immediately starts to version it. APIs are...
Every organization that offers an application programming interface almost immediately starts to version it. APIs are essentially contracts between us, service providers, and our users. The bargain is you build your app using our service in some presumably mutually beneficial arrangement, and in exchange we promise ...

design
2
Ideas from "A Philosophy of Software Design"

16elt.com

books byte-sized tech programming software design
2
darktable 5.0.0 released

darktable.org

release
2