🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Every so often, seeing a recent advance, for example in bioelectricity research, someone says that Tesla, Robert Becker, or the ancient magi (Eastern or Western) already knew it. In this time of reduced funding for basic and applied science, driven by widespread misunderstanding

🤣

Scala 3. We are still discovering all the libs we can build with its features and it is already so nice to use right now. I wish we would have more devs involved with oss. Especially for tooling.

Finished the chapter on tagless final in "Functional Programming Strategies" and it's available online: scalawithcats.com This includes the new encoding I talked about at Scalar Conference . Sign up to the mailing list on the same site if you want to hear about updates.

Something derived from a lambda calculus will ultimately win, because reasoning about shared state with a separation logic can’t be done in your head, and even with a proof assistant is too costly to scale.

Probably, scarily true...

A coincidence or an actual algorithm glitch capping some videos at a specific point?

That’s a good news !

The next episode of Workflows4s DevLog is out, enjoy! youtu.be/KRg42PJW1sA

Announcing the Local-First Landscape A comprehensive guide to help developers choose the right tools for building local-first applications.

🎉Workflows4s is finally out! A Scala library designed for simpler, type-safe, and lightweight workflows. medium.com/business4s-blo…

A humble request to anyone developing new data interchange formats (looking at you, Apache): please provide a suite of test data to check implementations against. Seems like a basic thing, but nobody does it.

Hey… FP & PLT folks… Any idea where the “Well Typed Witch” has gone ??? (Sorry can’t remember their exact pseudo / anchor) #fp #plt

Hi folks! It is with no small amount of sadness that I report that a contract-to-hire opportunity I was very excited about has fallen through for what sound like the simple, but brutal, economic reasons faced by all businesses, but especially very young startups still striving

the scale of data collection in the AI labs pales in comparison to 2010s google it’s mostly web scraping and data-labeling. compare that to diligently photographing streets of every country, mapping earth via satellite, scanning every book known to man.. now *that* was ambitious

Hi friends, I need your help. My contract just got caught in a round of layoffs, so I'm open for short/medium-term fullstack work: Clojure, Rails, React, etc. If you know anyone looking for a senior dev who can ship fast, I'd love to hear about it. Reposts welcome, thank you! 🙏

There's a way of programming that I've been doing for decades and I realized recently it doesn't come naturally to many folks, so here's a pro tip: Write to the interface you'd like to have. That is, write the code you want, even if it doesn't work, then make it work.

This kind of safety research is utter nonsense. It's safety theater. Nobody asks the model if they can shut it down. We just shut it down. Its a blob of code. The IT team simply turns it off. Done. This is nothing like "testing an airplane" in the real world to see if it