Jüppe

Passionate about elegance in software design, with a taste of sophisticated type safety. @[email protected]

[Paul Graham @paulg]

So it's not intrinsically a fad or a sign of opportunism that there are suddenly a huge number of startups all doing AI. There were simply a huge number of almost solvable problems that have now become solvable.

[Matt Parsons @mattoflambda]

The Meaning of Monad in MonadTrans

https://t.co/LQq9PVSUaN

[Jüppe @jyrimatti]

”So if you’re designing a language, don’t just copy C. Don’t just copy C++ or Java. Hell, don’t even just copy Python or Ruby.”

Let’s stop copying C / fuzzy notepad https://t.co/gmGKKkRPbe

[Jüppe @jyrimatti]

So, apparently you can get your #raspberrypi into a boot loop by enabling watchdog with too large a timeout (120s). Luckily the dog can be disabled just by editing /boot/config.txt with another machine.

[Fernando 🌺🌌 @zetalyrae]

New from me: a survey of type system approaches to memory safety. Looks at:

- Linear and affine types
- Borrow checking
- Region-based memory management
- First and second class references
- Rust, Val, Austral, Verona, Ada, Cyclone

https://t.co/6WKwEEC6Oj

[Jüppe @jyrimatti]

So, apparently you can bork the memory card on an old armv7 RaspberryPI by installing (building...) enough Nix packages :)

[Ian Miell @ianmiell]

A post I wrote on the reaction to Amazon Prime Video's recent blog on moving from serverless to monolith.

I try to unpick the aftermath and then get a bit grumpy about how serverless oversold itself.

https://t.co/PiZcRC1WIA

[Jüppe @jyrimatti]

Nice tutorials on CSS focusing mostly on the fundamentals. https://t.co/f4KUnDXEQh

[Jüppe @jyrimatti]

Oh dear @Apple , it’s a bit of a pain trying to implement a Homekit bridge when
1) HAP specification doesn’t seem to be available anymore and
2) the example JSON in the spec I already have is INVALID!

[Jüppe @jyrimatti]

Every spec/library should have a page like this.

Incomplete List of Mistakes in the Design of CSS [CSS Working Group Wiki] https://t.co/hyY6gfTzAF

[Programming Weekly @ProgDiscussions]

Stop lying to yourself – you will never “fix it later”

https://t.co/iiIpjSZ9Mz

Discussions: https://t.co/mleRcwBMah

#programming

[Jüppe @jyrimatti]

I want to work, but it’s summer and my wife tells me you can’t work on your summer holidays 🫤

[Paul Fairie @paulisci]

A Brief History of Nobody Wants to Work Anymore

🧵

[morgan @CasualEffects]

It wasn't until I'd *taught* algorithms a few times that I finally understood why sorting is in the CS curriculum. Unfortunately, most curricula don't explain this!

It is NOT because sorting is an important algorithm to learn to implement...

[Demis Hassabis @demishassabis]

Our latest work in @Nature today: #AlphaDev discovered a new faster sorting algorithm that we open sourced to the main C++ library for all developers to use. This is just the beginning of AI being used to find many more efficiencies in code in future https://t.co/tfACG2zcN6

[Jüppe @jyrimatti]

Achievement unlocked!
Gave a talk at Helsinki Haskell Meetup:
https://t.co/ys2KjpVZeF

[Eric Torreborre @etorreborre]

A "quick" introduction to Tagless final: https://t.co/hOPHYJPNFd. The whole post comes back to the roots of what it is and I ❤️ the conclusion

[Nima Badizadegan @specbranch]

It's very trendy to argue that microservices are a bad idea right now. Here's my contribution. If you are at all cost-sensitive, try a well-engineered monolith on one big server. Read more here:

https://t.co/2pn7B6oZ77

[James Gosling @errcraft]

Not only is Bitcoin an ecological disaster, it’s a hustle, a ponzi scheme, a gift to criminals, and just stupid. There are so many useful ways to spend energy.

[Jüppe @jyrimatti]

Scaling up the Prime Video audio/video monitoring service and reducing costs by 90% https://t.co/eMOhZO1z2O