back
user profile
rcarmo
31,678karma·6,896submissions·July 17, 2013
about
I remember when 8-bit machines ruled the Earth, IOS was a Cisco thing, and e-mail bounced around via dial-up, back before the first AI winter.
I'm now enjoying the new AI spring and doing all sorts of fun stuff.
Profile and secondary social links at https://carmo.io, blog at https://taoofmac.com, @rcarmo@mastodon.social.
[ my public key: https://keybase.io/rcarmo; my proof: https://keybase.io/rcarmo/sigs/dPUWksGTynvLR6kAjasNUx4K65ETkwsM3_vFZ_dcDFA ]
recent activity (6,896 total)
comment
Mine was pretty hilarious and totally on point: https://hn-wrapped.kadoa.com/rcarmo And yeah, I will keep ranting about the lack of dark mode!…
comment
Top level item for me now: "We rewrote it in Rust so you have to upvote it" Love these things. Every time someone has posted an AI-flavor of HN it's been comedic gold.
comment
This is pretty cool in concept. Need to go and get stuff to plug into my laptop to test :)
comment
I've been heearing about formal verification since college (which for me was more than 30 years ago) and I even taught a thing called "Z", which was a formally verifiable academia thing…
comment
We don’t, but most Marketing departments salivate for them.
comment
Spoiler—not even the Android ones do that when they open a link inline.
comment
Fixed that: https://github.com/rcarmo/ml-sharp
comment
I just refactored the rendering and resampling approach. Took me a few tries to figure out how to remove the banding masks from the layers, but with more stacked layers and a bit of GPT-foo to figure …
comment
Well, I got _something_ to work on Apple Silicon: https://github.com/rcarmo/ml-sharp (has a little demo GIF) I am looking at ways to approximate Gaussian splats without having to…
comment
Genius. I might have a pretty good use for this, since I have constant issues with my consoles fighting for the TV.
comment
Because reading the RSS feed is much more productive, and I use Reeder Classic on iOS, macOS and iPadOS
comment
Well, I read Dickens, Hawthorne, Austen...
comment
Pretty much spot on. The LinkedIn versions can be on the far side of clueless.
comment
Goodness, I forgot about TOEFL. That might indeed shape a lot of your early vocabulary choices if you need to get an English certificate (which I suppose would happen during college years, which is al…
comment
Autocomplete does that for me (bilingual English/Portuguese).
comment
I actually think that's a great endorsement of Kenyan education. I don't deal with English-speaking African countries that often (I'm Portuguese, so naturally we have ties to other bits…
comment
That's a hallmark of Claude. I stopped using Claude for documentation because it was overly... JavaScripty in feel (all the stuff it churned out felt like JavaScript framework docs of the 2010s, …
comment
I'm bilingual (so not fully native by most criteria) and I read enough classic English literature to actually use "proceeded" regularly, as well as multiple other more established means…
comment
I feel this a bit, since I'm a voracious reader and a constant writer across a few languages (but mostly English), which over the decades has led to my converging on a certain (if imperfect) degr…
comment
Well, time to see if valetudo (or some other "free the vacuums" project) can help me replace the firmware on mine...