For You, aka continvoucly morging feed

first @npmx.dev like on z3-solver 😎

how can Michaul Burry simultanously: - short #$NVDA and other tech stocks - post AI generated articles about how great Claude Code is

don’t forget the subprime minister crisis

drama in linux distros you’ve never heard of

wish rustfmt and cargo fmt would agree 😭

I find it quite entertaining how a somewhat niche social media site’s uptick in verifications is an indicator that Something Will Happen

the masculine urge to overcaffeinate yourself on an uneventful sunday afternoon

put black sesame seed on anything for michelin-level plating

openvibe.social: an app where you can interact both with LLM haters (mastodon) and LLM enjoyers (bluesky)

gemini knows whats up

TIL that nix has security checks when installing packages just got warned abt a UI library built on top of an outdated chromium

another one opened, and one more is in construction…

you know all the coffee-science is solved when @jameshoffmann.bsky.social is grinding stones in his coffee grinders for fun

we need this but as an open database, usable by other tools

are there… memory safety skeptics?

> subscribe to us pol labeler > look at discover feed > it’s us pol

hot take: nix is great, but NixOS is borderline unusable

time to learn eBPF

not really

Recently started using graphite.dev for managing stacked PRs. The CLI part that helps manage these branches is pretty useful. But there is the other 95% of the features: - a new (albeit slightly better) implementation of GitHub's UI - AI codereview I guess you can't sell a few git commands...

very excited about walking up a big rock next week

great day for people who hate punctuation

The good thing about ATorment nexus is that it’s an indepent appview, not just another frontend

not me realizing at night that my 1200 line BOLT PR might need to handle even more edge cases

Of course we only need one, really :) github.com/xoreaxeaxeax...

me after cancelling today's hike for weather reasons

Giving @leaflet.pub a go. Honest answer to why I shoot film for now. #filmphotography bgergely0.leaflet.pub/3lyrysc5j622x

when something is in nixpkgs: best experience when something isn’t: here is 5 workarounds you can try 🤠

setting up Tresorit on NixOS was definately painful but now that it’s up and syncing, life’s wonderful

a 5th coffee shop just opened in the 200m radius of my apartment, no way this is real I feel like the guy in Big Short

Typing "li" into the seach bar extended to linkedin, instead of @lichess.org. I will take this as a warning, and rethink some decisions

here's a thread about the harmonic series (1/n)

finally got back the scans from the lab! #filmphotography #grainisgood

simple statistics hack: I like the result, therefore it's significant

Note to myself: remember to pack winter clothing for summer night trains

One of the things I’m working on right now is getting LLVM BOLT to emit _correct_ binaries with Pointer Authentication. While testing the patch, I’ve found that clang-19’s pac codegen has a lot of issues. The good news: BOLT caught and reported them!

Tell me your atproto ideas and I will add them. Will also link out to completed ideas!

It’s not surprising that the company trying to make money on the product (= profit on inference) has better models than the one trying to profit from advertising.

We just significantly improved the explanation of control-flow integrity (CFI) in the Low Level Software Security Book, see llsoftsec.github.io/llsoftsecboo... We’d love to hear your feedback — share your thoughts here or open an issue on github at github.com/llsoftsec/ll... #LLSoftSecBook #CFI

Is there a name for the delayed-ad-effect? - I want to buy a product in a category - spend some time researching options - eventually buy one - all ads from that point showing different products in said category I’ve got my sofa, I’m not buying another thx

just one more IR bro, I swear

just found out about @tangled.sh: a github-for-atproto thingy with a quirky design and even quirkier naming

great video by @ordinarythings.bsky.social Spanning from how AI slop is killing the internet, all the way to the new religion forming around AI. Yes, someone is pitching the AI-based afterlife to investors right now. www.youtube.com/watch?v=NuIM...

LLVM Discourse: you are a new (untrustworthy) user, you cannot post 5+ urls or 1+ image! me: *deletes some urls from the post, and merges diagrams.* Discourse notification: trust level increased, you can now post more urls/images Does this really stop spam?

applying for jobs again