netrunner @codenetrunner

“Cursor adoption produces substantial but transient velocity gains alongside persistent increases in technical debt; such technical debt accumulation subsequently dampens future development velocity. Ultimately, our results suggest a self-reinforcing cycle where initial productivity surges give way to maintenance burdens.” Its still your job to ensure code quality. Good luck to vibe coders who couldnt code before.

Python or Clojure? Why not both? With Babashka by @borkdude (who will never be broke, I promise!) + libpython-clj2 by Chris Nuernberger, of course! Welcome to Clojureland, where the language of choice is not a zero-sum game! 🚀 Also, time to explore basilisp by @chrisrink10?

@2BitSalute The Russian nobility's "service" to the state was built on serfdom (a system closer to slavery than stewardship). They deserved their end.

I keep delaying learn @typstapp while keep suffering with LaTeX. ngmi.

@LewisCTech It's mostly a hobby. I'm working with OCaml right now. But I'm also doing some academic work in Erlang, mostly focused on message-passing safety.

The future is great! Erlang 27+ introduces the maybe expression to simplify sequential operations. It reduces nested case blocks, short-circuits on failure with ?=, and supports custom error handling via else. Cleaner, safer, and more expressive code.

Many Founding Fathers wrote under pseudonyms Pseudonyms afforded the protection needed to write things that were controversial, to engender debate over things they didn't themselves believe in, and to encourage focus on ideas over reputations Thread of their known pseudonyms🧵

Poetic form builds memory, precision, and cultural literacy. Its structured language trains cognitive and interpretive skills. Introducing it early is one of the most beneficial things we can do for children.

We recently released Melange 5 with a bunch of goodies! dynamic import, discriminated unions support, improvements to @\mel.send and more announcement 👇 melange.re/blog/posts/ann…

According to a recent paper, the vast majority of academics gain their elite status the old-fashioned way, they were born with rich parents.

Hi all, it’s time to officially announce my new book: Pragmatic Type-Level Design Yay! 😀😀😀😄😊😊😊 🗜️ It is about practical, approachable, useful type-level programming with concrete ideas applicable across various languages: C++, Rust, Scala, OCaml, Haskell, F#. 👩‍🎓Curry-Howard correspondence, System F, Propositional Logic, type-level isomorphisms, cumulative universes—nothing like that in my book. It is academism-free, avoids math completely, and is approachable to mere developers like me who just want to build real applications using ready type-level solutions and approaches. By PTLD on LeanPub for $35 and support my hard work; the link is in the message below. What does the book offer? A lot: 🟤 type-level domain modeling 🔵 type-level domain-specific languages (eDSLs) 🟣 type-level correctness verification 🟡 extensibility and genericity approaches 🟠 type-level interfaces (my own concept) 🔴 application architectures and type-level design patterns 🟢 design principles such as SOLID, make invalid states unrepresentable, dumb but uniform ⚪️ a whole methodology called Pragmatic Type-Level Design 🟤 several new ideas and approaches never seen in other resources before 📝 PTLD has 409 pages, 481K symbols, and 72K words. 💐Writing is engaging and fun, full of nice diagrams and pictures. I even developed a special visual language, Typed Forms, which is useful for illustrating the types and relations. ➡️The model language is Haskell, but the book is not about features; it’s about high-level design ideas that can be transferred to other languages. The Rosetta Stone part provides this translation to Rust and Scala 3.⬅️ ❗️The book is systematic, offering a definite methodology for writing type-level applications. It is not just a set of receipts, it is a complete story from end to end. No blind hacking 👩‍🦯, No type astronautics 🛸, nothing for pleasuring one's intellect 🚫🧠🚫. Only pragmatism, only hardcore 🛠️. 🤖 There are numerous supporting projects, all with different application architectures: cellular automaton management is a common CLI application; Minefield step-by-step game is actor-based; Zeplrog, a zero-player rogue-like game (not playable at the moment), is also actor-based, but it’s much more than that. There are other showcase projects I developed for the book, you’ll find them in the book’s repo. 📚 If you have my previous book, Functional Design and Architecture (Manning), you know my writing approach. I cover gaps in software engineering and try to build a new foundation for functional programming. Hopefully, Functional Design and Architecture will become a classic one day. In some sense, PTLD is marketing material for it. Yes, this is my way of promoting a book—to write another one. PTLD and FDaA complement each other nicely. 🧩🧩 ▶️If PTLD sells well (1000+ copies), I’ll expand the main material with four new chapters because the subject is deep, and there are more topics to discuss. I’ll also add two more chapters with C++ and F#/OCaml to the Rosetta Stone part. ◀️ ➤ I’ll collect issues and errata for a while and publish an updated version sometime in January 2025. If you are interested in a free copy in return for the beta reading, please contact me directly; I’ll be happy to get your help. ➤ Additionally, I have 10 author’s paper copies of Functional Design and Architecture (Manning). Contact me directly if you want to purchase the PTLD e-book and FDaA paper copy together for $60, including EMS shipping worldwide. ➤ In January, I’ll also investigate Amazon KDP publishing to enable paper copy on demand. Hope you’ll enjoy my insights and will get something useful in your day-to-day practice.

keyboard_arrow_left Previous keyboard_arrow_right Next

Haskell vs. Go? Just split the difference and use OCaml. There it’s settled.

@davesnx @sridca @andreypopp *JSX-like syntax?

@neogoose_btw There aren't many places where you find low taxes, good living standards, and reasonable living costs. Panama or Singapore might be the best bets but honestly they don't really spark much excitement for me either.

It’s mind-blowing that Santiago Ramón y Cajal, while unlocking the secrets of the human brain over 100 years ago, unknowingly laid the groundwork for one of today’s biggest tech breakthroughs.

The new right-wing Twitter trolls are dumber than the old left-wing ones, but at least they're not trying to get you cancelled. If you said something that offended the old left-wing trolls, they'd try to lure you into actual cancellable heresy. The new ones just call you names.

You want to learn programming? Go through this book "Data-Centric Intro to Computing" Its completely free

@ChShersh Python is great IMHO because it is accessible for a big range of different DEV backgrounds. TypeScript would be better because it's just a little less accessible and adds a great type system (for a popular language) and a great ecosystem of FP libraries such as io-ts, fp-ts...

@LewisCTech Totally agree. I spent the last 3 years working with Clojure and had a really great time with clojure.spec. I know Clojure isn’t the most popular LISP, but I think it has a really solid design. Using specs really improved the experience of working with dynamic typing for me.

I'm a statically-typed enthusiast and completely hooked on OCaml's utop.

Janet A. Carr @janetacarr

2 years ago

I'm very much a dynamic type-checking and REPL person rather than a static type-checking and misery person.

12 5 79 113K 2