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

Interesting discussions between John Ousterhout and "Uncle Bob" on software design: method length, comments, and test-driven development. It's a great example of "agree to disagree". There is no silver bullet in software design. Let's focus on writing easy-to-parse code 👀 github.com/johnousterho...

submitted 3 days ago • 1 comment

After a long hiatus, SIGPLAN Research Highlights are back! The highlights committee[] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒ [] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.

submitted 2 days ago • 2 comments

The Haskell road to logic, math and programming. ~ Kees Doets, Jan van Eijck (2004). fldit-www.cs.tu-dortmund.de/~peter/PS07/... #Haskell #FunctionalProgramming #Loggic #Math

submitted 2 days ago • 0 comments

An excellent first introduction to logical relations: arxiv.org/abs/2309.15724

submitted 5 days ago • 0 comments

#DARPA just announced a forthcoming program entitled "Exponentiating Mathematics", focusing on challenges to auto-formalization (and auto-decomposition of large proofs into small lemmas). The preliminary announcement (still short on many details) can be found at sam.gov/opp/4def3c13...

submitted 19 days ago • 3 comments

Lately, I've been thinking about the topic of architecture in a bottom up culture. So I decided to write down some thoughts. sympathetic.ink/2025/02/13/B...

submitted 13 days ago • 2 comments

on a train in Japan, communicating with strangers who don't speak English by drawing our favourite pop culture icons on a foggy window and excitedly saying their names in shared recognition 🥹

submitted 9 days ago • 6 comments

This is where we are now: An elementary school at Fort Campbell has removed all books from its library that so much as allude to slavery or the civil rights movement. The wholesale erasure of history in real time.

submitted 10 days ago • 2108 comments

I wanted to go through the rest of the disaggregated OLTP papers in detail, as I'd missed a few, so I'm re-reading everything and incrementally filling in more papers on transactional.blog/notes-on/dis... Recent additions are overviews for Aurora Serverless and PolarFS.

submitted 18 days ago • 3 comments

Bob Colwell writing in 2008 about why he left Intel in 2000 is breathtakingly revealing as to the deep roots of the company's culture problem.

submitted 18 days ago • 5 comments

Read "Spanner: Becoming a SQL System". Besides the technical details in distributed query execution, I appreciate how Spanner designs SQL support with application developer experience as a priority. For example, it handles transient failures to avoid client-side retries. dl.acm.org/doi/pdf/10.1...

submitted 24 days ago • 2 comments

Emperor Jahangir issued these singular astrology-themed coins. Listen to an excellent podcast w/ @willdalrymple.bsky.social & @anitaanand.bsky.social about the creator & #history of the Taj Mahal, Jahangir’s Art Revolution and more! 🎧 linktr.ee/empirepoduk 🗃️ #history #India #historyofart #art

submitted 45 days ago • 0 comments

FINALLY! engineering.fb.com/2025/01/22/s...

submitted 30 days ago • 1 comment

https://www.deccanherald.com/india/uttar-pradesh/india-destroying-its-own-appeal-scottish-historian-william-dalrymple-slams-demolition-of-agras-mubarak-manzil-3342025 This is what short sightedness and fundamentalism looks like #india #bulldozerjustice

submitted 50 days ago • 2 comments

In contrast to cynical takes about how of course companies don't care about DEI etc, Dan presents the argument that actually caring about employees and creating fun environments is part of what winning looks like. Every leader should remind themselves of this.

submitted 46 days ago • 3 comments

Hello friends! Peter Naur’s “programming as theory building” came back across my eyeballs recently. You should read it - it’s as close to a perfect description of my experience as an individual software developer, and as a leader of orgs that do the same. pages.cs.wisc.edu/~remzi/Naur....

submitted 52 days ago • 3 comments

I’ve worked on performance engineering for ~13 years. Queuing theory has been my go-to framework the entire time -- thinking in terms of arrivals, departures, queues, servers, service rates, latencies, waiting times, and priorities. It’s simple to apply and doesn’t require diving into the math.

submitted 55 days ago • 4 comments

Bugs optional? I mentioned on LinkedIn that teams in The Forest frequently have no* defects reported from production & was treated to a wave of “well actually”s from folks deeply invested in defect management. * By “no” I mean it happens infrequently enough not to disturb daily development.

submitted 62 days ago • 2 comments

If you have ever tried to read free books from sites like Project Gutenberg, you noticed that they can be uncomfortable to read, due to their layouts, type & occasional errors This project takes those free books and makes them beautiful (and still free). standardebooks.org

submitted 63 days ago • 7 comments

This is an insightful piece by @mipsytipsy.bsky.social. A must read for everyone especially for engineering leaders. charity.wtf/2024/10/11/h...

submitted 66 days ago • 0 comments

I just completed "Mull It Over" - Day 3 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/3 This time only in Kotlin though. A tiring day at work hence skipping OCaml for this. #AdventOfCode #Kotlin #OCaml

submitted 85 days ago • 0 comments

Advent of Code Day 1 done! Solved it using Kotlin and OCaml. Since I have been using Kotlin for a while, the solution came intuitively for me. For OCaml, I had to struggle quite a bit. I think of improving documentation of OCaml. #kotlin #kotlinlang #OCaml #AdventOfCode

submitted 87 days ago • 2 comments

This is the first paper that gave me a clear understanding of types & polymorphism in programming langs. I still refer 2 this classification when talking about polymorphism On Understanding Types, Data Abstraction, and Polymorphism - Luca Cardelli and Peter Wegner lucacardelli.name/papers/onund...

submitted 89 days ago • 1 comment

Bluesky's firehose is a treasure trove of public data for researchers and developers, and it's completely free. Check out our developer docs: docs.bsky.app

submitted 95 days ago • 336 comments

My PVLDB paper announcement bot now supports Bluesky: @pvldb.bsky.social I am letting it post papers from last issue (August 2024). It will then hit the new volume when it pops later this year. You can also get RSS/Atom feeds: db.cs.cmu.edu/files/rss/pv... db.cs.cmu.edu/files/rss/pv...

submitted 100 days ago • 1 comment

Want to help build the future of functional programming? The OCaml Language team at Jane Street is doing groundbreaking work on making OCaml a better language for high-performance programming, while preserving the ease-of-use that makes it great.

submitted 102 days ago • 1 comment

Today's recommended book is "Logicomix" by Doxiadis and Papadimitriou. This is a wonderful graphic novel about Bertrand Russell's ultimately doomed attempt to discover a true logical foundation for mathematics. #comics #graphicnovel #mathematics #logic

submitted 102 days ago • 0 comments

I learnt a lot from Marc Brooker and Murat Demirbas' blog. Highly recommend both of them.

submitted 102 days ago • 0 comments

ok I made a starter pack specific to OCaml 🐫 it mostly includes people who work on OCaml or with OCaml, but also some people who've been engaging with OCaml or trying OCaml go.bsky.app/RCGiSqw if you want to be in this starter pack or get taken out of it, let me know!

submitted 103 days ago • 20 comments

Great starter pack here for LBC presenters/News Agents 👇 go.bsky.app/VR6Dmme

submitted 104 days ago • 30 comments

This list is awesome.

submitted 104 days ago • 0 comments

@chris.blue 🤌 and I had a fun chat about all sorts of stuff. Enjoy! podcasters.spotify.com/pod/show/joe...

submitted 105 days ago • 0 comments

the seven deadly sins of haskell: - referential opacity - strict evaluation - partial functions - dynamic typing - documentation - lawless typeclasses - success

submitted 105 days ago • 4 comments

If you are part of the #Java developer community, a Java User Group leader, Java Champions member, Java contributor, #OpenJDK member, Java conference organizer or Java Community Process delegate, please add yourself go.bsky.app/RzXwxat

submitted 105 days ago • 8 comments

An extraordinary moment. Guardian to stop publishing on Twitter www.theguardian.com/media/2024/n...

submitted 105 days ago • 164 comments