permutans.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

Coming to see lack of Justfile [or similar] as underdeveloped ‘process’ intensity

submitted 6 hours ago • 0 comments

Something really clicked for me recently once I spotted that most of what chatbots do is summarisation, the other effects stem from that (code models don’t quite seem to fit). It’s easy to recognise so-called ‘sycophancy’ for instance as more of a case of informationless diction (input repetition)

submitted 6 hours ago • 0 comments

Cool… Unicode ‘security analysis’ docs.rs/unicode-rs/0...

submitted 18 hours ago • 0 comments

Benchmarked against puzzlingly fast code that was actually erroring out award 🏅

submitted 22 hours ago • 0 comments

Oh hey someone added float32 and uint64 support to polars-distance the other month 😇 Time to drop some numpy deps… github.com/ion-elgreco/...

submitted 1 day ago • 1 comment

Introducing Obspec: A Python protocol for interfacing with object storage Obspec is an alternative to fsspec. It defines a minimal Python interface to read, write, and modify data on object storage while acknowledging that object storage is not a filesystem. developmentseed.org/obspec/lates...

submitted 1 day ago • 0 comments

Current reason for optimism: embedding’s not dead (I should go back to tinker atop fastembed-rs again)

submitted 1 day ago • 0 comments

Regular programming will resume once the disillusionment of being let down by an interview I got my hopes up for clears ⏳ please stand by ⏳

submitted 1 day ago • 0 comments

> “The Social Contract,” says M. Dreyfus-Brisac, “is the book of all books that is most talked of and least read.”

submitted 3 days ago • 0 comments

"AllTrails has a new generative AI feature that can be asked to 'shorten my route' or 'make this more scenic.' But the people in charge of searching for lost hikers say the feature is going to exacerbate an issue they’ve been warning about for years: hiking apps providing false information."

submitted 8 days ago • 150 comments

📝 Introduction to dependent type theory (2022) tm.kehrenberg.net/series/intro... (based on the HoTT book, 2013 homotopytypetheory.org/book/)

submitted 4 days ago • 0 comments

Today I learned about python -X importime and the really neat python-importtime-graph tool by Kevin Michel that turns its output into a handy treemap visualization simonwillison.net/2025/Jun/20/...

submitted 5 days ago • 2 comments

Had a single re-interview with a company that I'd already spoken to about a position only to find "the role is not for you"... Made a godawful batch of garlic sumac chickpeas to non-celebrate 👎

submitted 7 days ago • 0 comments

LLMs entering their MLM era

submitted 8 days ago • 1 comment

bzip2 crate switches from C to 100% #rustlang trifectatech.org/blog/bzip2-c...

submitted 8 days ago • 3 comments

Wondering what the idiomatic way to do a semantic grep-like tool in Rust would be… using e.g. fastembed-rs you’d be able to get a semantic search (turn the document into a vector) but I wonder how badly it’d perform…

submitted 8 days ago • 1 comment

Our writer spoke to expert dietitians about the trending sea moss gel, it’s benefits, and if it’s worth adding to your diet.

submitted 89 days ago • 0 comments

Small turn of phrase I noticed recently (I forget who I was reading, I think either a writer from a previous era or from a non-tech field): prefer “mind” [or even ‘mindedness’] to describe an orientation/focus on something instead of “mindset” [somehow strikes me as self-help/griftcore terminology]

submitted 8 days ago • 0 comments

Mourning the loss of the sumac chicken with wheatberries and overnight marinated chickpeas w flatbread + tahini I just ate

submitted 9 days ago • 0 comments

📰 ICO vs. ClearView is still held up in the courts, with the company successfully claiming they’re out of jurisdiction as their services are used for natsec in foreign countries. ICO call this illegitimate extension of immunity for foreign states (June 11th) www.biometricupdate.com/202506/clear...

submitted 9 days ago • 0 comments

surprise Giacometti exhib at Tate Modern ❕

submitted 10 days ago • 0 comments

> Economic miracles stem from discovery, not repeating tasks at greater speed The email autoencoder case study (paradoxical loss of utility when both sides use it) reappears 📰 Carl Benedikt Frey in the FT: "AI alone cannot solve the productivity puzzle" on.ft.com/3HVRNLM

submitted 10 days ago • 0 comments

Interesting interview with one of the aides Hegseth fired last week archive.is/lyAWp

submitted 10 days ago • 0 comments

Sam Altman did WHAT techcrunch.com/2025/05/12/s...

submitted 10 days ago • 0 comments

The biblically accurate angel shaped gravity drive in Event Horizon (1996) (⁠♡⁠ω⁠♡⁠ ⁠)⁠ ⁠~

submitted 10 days ago • 0 comments

No way: before there was tape, radio jingles were performed live by regular performers 🎤 'The voice is my river': Meredith Monk reflects on 6 decades of music-making www.npr.org/2024/08/01/n...

submitted 10 days ago • 1 comment

🎙️ Trump’s Tech Bros — Can Tim Cook save Apple from the trade war? podcasts.apple.com/gb/podcast/t... 📝 Transcript on.ft.com/3SRK6c0

submitted 10 days ago • 1 comment

The Path Engineer's Path

submitted 11 days ago • 0 comments

@grok is this true???

submitted 11 days ago • 0 comments

📄 “Proof-Carrying Neuro-Symbolic Code” (2025) arxiv.org/abs/2504.12031 📄 “Proof-Carrying Code Completions” (2024) dl.acm.org/doi/pdf/10.1... After Necula (1996) “Proof-carrying code” dl.acm.org/doi/pdf/10.1... 📚 also in Pierce (2024) Advanced Topics in Types and PLs direct.mit.edu/books/edited...

submitted 11 days ago • 0 comments

‘Typed Operational Reasoning’ by Andrew Pitts www.researchgate.net/profile/Benj... from 📚 Advanced Topics in Types and Programming Languages (2024) direct.mit.edu/books/edited...

submitted 11 days ago • 0 comments

Wondering what the effects/capability-oriented programming interpretation of embeddings/LLM inference is 💭

submitted 11 days ago • 0 comments

Came across this book (would have just reposted @publicdomainrev.bsky.social, but they didn't post it here). It's a prayer book from 1886 where the pages are not printed, but woven on the Jacquard loom. Looked around and there are so many beautiful pictures. publicdomainreview.org/collection/l...

Coming to see lack of Justfile [or similar] as underdeveloped ‘process’ intensity

Cool… Unicode ‘security analysis’ docs.rs/unicode-rs/0...

Benchmarked against puzzlingly fast code that was actually erroring out award 🏅

Oh hey someone added float32 and uint64 support to polars-distance the other month 😇 Time to drop some numpy deps… github.com/ion-elgreco/...

Introducing Obspec: A Python protocol for interfacing with object storage Obspec is an alternative to fsspec. It defines a minimal Python interface to read, write, and modify data on object storage while acknowledging that object storage is not a filesystem. developmentseed.org/obspec/lates...

Current reason for optimism: embedding’s not dead (I should go back to tinker atop fastembed-rs again)

Regular programming will resume once the disillusionment of being let down by an interview I got my hopes up for clears ⏳ please stand by ⏳

> “The Social Contract,” says M. Dreyfus-Brisac, “is the book of all books that is most talked of and least read.”

"AllTrails has a new generative AI feature that can be asked to 'shorten my route' or 'make this more scenic.' But the people in charge of searching for lost hikers say the feature is going to exacerbate an issue they’ve been warning about for years: hiking apps providing false information."

📝 Introduction to dependent type theory (2022) tm.kehrenberg.net/series/intro... (based on the HoTT book, 2013 homotopytypetheory.org/book/)

Today I learned about python -X importime and the really neat python-importtime-graph tool by Kevin Michel that turns its output into a handy treemap visualization simonwillison.net/2025/Jun/20/...

Had a single re-interview with a company that I'd already spoken to about a position only to find "the role is not for you"... Made a godawful batch of garlic sumac chickpeas to non-celebrate 👎

LLMs entering their MLM era

bzip2 crate switches from C to 100% #rustlang trifectatech.org/blog/bzip2-c...

Wondering what the idiomatic way to do a semantic grep-like tool in Rust would be… using e.g. fastembed-rs you’d be able to get a semantic search (turn the document into a vector) but I wonder how badly it’d perform…

Our writer spoke to expert dietitians about the trending sea moss gel, it’s benefits, and if it’s worth adding to your diet.

Mourning the loss of the sumac chicken with wheatberries and overnight marinated chickpeas w flatbread + tahini I just ate

surprise Giacometti exhib at Tate Modern ❕

> Economic miracles stem from discovery, not repeating tasks at greater speed The email autoencoder case study (paradoxical loss of utility when both sides use it) reappears 📰 Carl Benedikt Frey in the FT: "AI alone cannot solve the productivity puzzle" on.ft.com/3HVRNLM

Interesting interview with one of the aides Hegseth fired last week archive.is/lyAWp

Sam Altman did WHAT techcrunch.com/2025/05/12/s...

The biblically accurate angel shaped gravity drive in Event Horizon (1996) (⁠♡⁠ω⁠♡⁠ ⁠)⁠ ⁠~

No way: before there was tape, radio jingles were performed live by regular performers 🎤 'The voice is my river': Meredith Monk reflects on 6 decades of music-making www.npr.org/2024/08/01/n...

🎙️ Trump’s Tech Bros — Can Tim Cook save Apple from the trade war? podcasts.apple.com/gb/podcast/t... 📝 Transcript on.ft.com/3SRK6c0

The Path Engineer's Path

@grok is this true???

‘Typed Operational Reasoning’ by Andrew Pitts www.researchgate.net/profile/Benj... from 📚 Advanced Topics in Types and Programming Languages (2024) direct.mit.edu/books/edited...

Wondering what the effects/capability-oriented programming interpretation of embeddings/LLM inference is 💭

Came across this book (would have just reposted @publicdomainrev.bsky.social, but they didn't post it here). It's a prayer book from 1886 where the pages are not printed, but woven on the Jacquard loom. Looked around and there are so many beautiful pictures. publicdomainreview.org/collection/l...

Neovim file picker: telescope github.com/nvim-telesco...

lol it was a null pointer

the X conniptions over X11 being “DEI” are really something