jmininger ๐ฆ
@jmininger0
Followers
911
Following
4K
Media
16
Statuses
311
haskell + rust, eng @aori_io + org @ethaly_io
Joined August 2021
Iโm assembling a small, high-output solving team at @aori_io. We're solving high-throughput, low-latency problems in Rust that will have significant market impact. Looking for:.โข High performance Rust experience.โข Track record of pushing hardware for max latency & throughput.
20
6
110
Has anyone tried coming up with a condensed version of all the Martin Fowler / Kent beck idioms for Claude to read before each prompt ?.
1
0
5
Legend.
๐๐๐ฌ๐ฎ๐๐ฅ ๐๐ฅ๐ญ๐ซ๐ ๐๐๐๐ข๐๐ข๐๐ฅ
3 months
This is Roy Larner. Millwall through and through. When those terrorist cowards came swinging blades at London Bridge, Roy didnโt run. He charged โem head on, screaming โF* you, Iโm Millwall!โ Took five stab wounds standing his ground to protect innocent people. Proper hero.
0
0
2
RT @seatedro: endgame personal website. hakyll for the website + axum for the cool shit + nix for the build system
0
4
0
RT @randomrecruiter: โHey are you there? Just noticed your Microsoft Teams status was set to yellow.โ
0
158
0
Pure FRP
github.com
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just ...
this raises the question: what is the FP of GUI programming?. in other words: what parts of the programming experience can you eliminate (or add) to make GUI programming a) delightful and b) amenable to algebraic reasoning?.
0
0
2
RT @effectfully: If we could look into the brain of Rob Pike when he was designing Go, this is what we would see:
0
2
0
The nukes matter.
Some programming paradigms, such as functional programming, are objectively superior to others.
0
0
1
"There you go talking about nukes again. That's your problem. Only Haskell people care about nukes".
0
0
3
It's *literally* a blocker.
0
0
4
Has anyone got the vim mode in @windsurf_ai to actually work? I wanted to try one of these new-age editors, but this is excruciating.
1
0
1
Ofc `git fetch --all` doesn't fetch all tags. Only some of them. Why would it?? Why would you want words to mean things???.
0
0
2
What lightweight frameworks do people use for programming AI agents? A friend mentioned pydantic-ai but are there other ones in the same category?.
4
0
1