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

GTSAM 4.3a0 ! github.com/borglab/gtsa...

submitted 4 days ago • 0 comments

submitted 4 days ago • 42 comments

The best part of building a DSL in lean is how seamlessly the LSP highlighting protocol just works with the extensible syntax! I get a super pretty DSL tailored for my needs, with syntax highlighting, auto completion, error checking, and all without having to write a lick of extra code mwah

submitted 4 days ago • 1 comment

This is just a partial glimpse of the destruction of American science by Trump and the GOP.

submitted 6 days ago • 39 comments

Full draft of the SLAM Handbook now released --- available as a free PDF, with a printed version coming soon. Now including Part 3, "From SLAM to Spatial AI" (I knew it would catch on eventually), with contributions from @hidematsu82.bsky.social and me. #SpatialAI github.com/SLAM-Handboo...

submitted 9 days ago • 1 comment

Disappointing to see Apple dig in like this. Letting the entire company take this kind of a big hit to image and customer satisfaction while diluting warning/error UI effectiveness to protect those metrics is a real loss. www.macrumors.com/2025/05/15/a...

submitted 10 days ago • 0 comments

"Absolute Mode". For when you're tired of sycophancy.

submitted 15 days ago • 5 comments

Exclusive: National Science Foundation staff were told today that the agency’s 37 divisions—across all eight directorates—are being abolished and the number of programs within those divisions will be drastically reduced.

submitted 16 days ago • 161 comments

The new pope has a BS in mathematics from Villanova, which explains how he was so successful at becoming the largest cardinal.

submitted 17 days ago • 7 comments

The Trump admin recently sent Harvard a letter that, amid what appears to be a stream-of-consciousness culture war rant, announces that the university will not be receiving any further research grants.

submitted 18 days ago • 10 comments

Made all particles repel each other, but different types repel stronger, and the particles formed cool mosaics

submitted 18 days ago • 3 comments

After 18 months of gestation, Godot and SwiftUI had a baby! Xogot is out now on the AppStore: blog.la-terminal.net/xogot-godot-... AppStore: apps.apple.com/us/app/xogot...

submitted 19 days ago • 14 comments

Neil deGrasse Tyson on who is the greatest scientific mind in history.

submitted 19 days ago • 178 comments

💫 While Unison warns you about quadratic ability handlers in our latest release, here's Unison's own compiler expert, Dan, on the nature of the problem and how to structure your ability handlers to avoid a quadratic slowdown in the first place.

submitted 19 days ago • 1 comment

Each point represents one eigenvalue from the spectrum of a random 5×5 matrix with entries from {-1,0,1}. Warmer colors show regions where eigenvalues cluster more densely. #MathArt #LinearAlgebra #CreativeCoding #Mathematics #VisualMath #ComplexAnalysis #math

submitted 21 days ago • 4 comments

I like Apple products, but this decision against Apple's anti-steering measures in the App Store really is amazing. It's so nice to see such a clearly written judicial decision that both benefits the public and comes with with receipts.

submitted 24 days ago • 0 comments

Here's a look at how I make procedural animations for Penguin Festival in Godot. It's all driven by math + physics. I find so much joy in deconstructing biomotion into mathematical bases. Made this one for fun after seeing that scene from Andor.🎵✋😣🤚🎵 #GodotEngine #gamedev #indiedev

submitted 26 days ago • 17 comments

Qwen 3 offers a case study in how to effectively release a model simonwillison.net/2025/Apr/29/...

submitted 26 days ago • 5 comments

I am typically unaware that my usage of email must be drastically abnormal until some software wants me to try its automatic categorization of emails and proceeds to completely fail at categorizing my email.

submitted 27 days ago • 0 comments

LLM powered valid-hole fits! For the longest time this was impractical, no way were we going to ship GBs of weights for ML powered hole-synthesis with GHC. But with ollama, you can easily run an LLM that can do this! Available on Hackage now! github.com/Tritlo/Ollam...

submitted 27 days ago • 4 comments

Really nice implementation of a language with arithmetic operations and basic probability distributions (you indicate a distribution by giving the bounds of a confidence interval) in Haskell. alt-romes.github.io/posts/2025-0...

submitted 28 days ago • 0 comments

Always love a good, truly alien-looking robot. This is for inspection, and can unfold to manipulate its environment and open doors.

submitted 36 days ago • 110 comments

Another open source model from China: Kimina-Prover Preview is "the first large formal reasoning model that can reason in a human-like way and prove mathematical theorems rigorously in the Lean 4 language." github.com/MoonshotAI/K...

submitted 40 days ago • 0 comments

beep boop 🤖 Initializing IEEE RAS presence on Bluesky... Ready to share the latest in #robotics and #automation!

submitted 94 days ago • 0 comments

I can't decide if it's cruel or a helpful nudge that programming tooling tends to be much happier in green field projects with tiny code bases.

submitted 39 days ago • 0 comments

WATCH: Elephants at the San Diego Zoo Safari Park react to Monday's 5.2 magnitude earthquake that shook San Diego County. The elephants formed an "alert circle" meant to protect the young and the entire herd from any threats, according to the San Diego Zoo Wildlife Alliance.

submitted 40 days ago • 61 comments

There is some comedy value in telling a reasoning LLM it made a mistake and then reading its existential crisis unfold in the thinking output of its follow up. But so help me when it Principal Skinners that, “No, it’s the user who is wrong,” I lose a little of my optimism.

submitted 40 days ago • 0 comments

Another masterclass in explanation from The Engineer Guy: youtu.be/kU_gH36GG58. Teaching clarity to aspire to! Which reminds me I need to write another Computerphile episode....

submitted 43 days ago • 2 comments

In a fit of madness, we are having dinner at O’Tacos the “Original French Tacos.” Pray for us.

submitted 43 days ago • 157 comments

I extended my previous @rerun.io and @gradio-hf.bsky.social annotation pipeline for multiple views. You can see how powerful this is when using Meta's Segment Anything and multi-view geometry. Only annotating 2 views, I can triangulate the other 6 views and get masks extremely quickly!

submitted 45 days ago • 1 comment

There are many contenders, but I think the negative sense of "science project" might the bit of workplace lingo that maximizes my internal cringe.

submitted 45 days ago • 0 comments

And lo, the trailer did drop: www.apple.com/tv-pr/news/2... #murderbot

submitted 46 days ago • 237 comments

I feel seen.

submitted 48 days ago • 16 comments

"The show-within-a-show stars John Cho, Jack McBrayer, Clark Gregg, and DeWanda Wise, sporting outrageous hairstyles and costumes that make the stylings of A Flock of Seagulls look like business casual." oh my God they're doing Sanctuary Moon, say thank you Apple TV+

submitted 48 days ago • 26 comments

The Ring. 720 million white dots.Each dot is a root of: 10𝑥¹⁸ - 10𝑥¹⁷ + (500i t₂¹¹ - 500t₂¹⁰ + 500t₂⁹ - 500t₂⁸ - 500i t₂⁷ - 500i t₂⁶ + 500i t₂⁵ + 500t₂⁴ + 500i t₂³ + 500i t₂² - 500i t₂ - 500i)𝑥¹¹ + (500i t₁ - 500)𝑥¹⁰ - 𝑥 + 1 t₁,t₂ ∈ ℂ, |t₁|=|t₂|=1

submitted 49 days ago • 0 comments

Can’t say I ever expected this turn in my career. #saymo www.instagram.com/reel/DIHp0LP...

submitted 48 days ago • 0 comments