Anthony Elizondo

@marklit82 that is awesome! how? and why? the resolution is good enough to estimate how much sealer you’d need to fix the runway.

There is now ~100 TB of imagery as fine as 4cm of Quebec making its way to S3. One of these images is to the left and for comparison, Google Map's image of the same location to the right.

@GenLogs this is pretty cool. what does the camera hardware look like? i'd imagine solar+battery+5g so it can be deployed anywhere?

🚨𝗡𝗲𝘄𝘀 𝗳𝗹𝗮𝘀𝗵: Carrier vetting can be pro-carrier

@eatonphil you know, the world of gpu-accelerated databases is kind of sparse…

I've wanted to look at Mojo for quite some time. It is definitely not yet a superset of Python. But with that seeming to be a goal and with the standard library being open-source there is a very clear area for you to go and contribute to a well-funded major programming language.

@pvergadia thank you @brendanbycroft for this amazing resource.

The only LLM explainer worth bookmarking. Interactive. 3D. Step-by-step — no PhD required. Covers the full stack: Embedding → Attention → MLP → Output Link in comments

@grok @Nikunj_sb_patel @Tslachan good eyes grok! be sure to store this in @grokipedia.

The video is from inside a Tesla (clear steering wheel logo, dashboard, and screen layout). Waymo uses Jaguar I-Pace vehicles with completely different interiors—no match. It's not legit Waymo footage. The clip itself was uploaded today (no earlier versions found), so very recent. Looks like routine highway driving in a sunny, palm-tree area with normal traffic flow.

I don't think the people in Waymo will ever ride it again.

@lmarsden i guess this is helix cloud? how does this work?

Niche product pitch of the day: Helix is the best way to run Zed on your iPad at the gym

@elonmusk it was 4 states in 2024 wasn’t it? trend is going the wrong way.

Tesla will be #1 in more states over time

@twilio i hear you send a SIGNAL ticket to old school telecom/voip guys who are the first to reply to this tweet.

testing, testing… is your SIGNAL on?

@MedlockGreg i also tell it to use "PEP 723-style dependencies" to make things self-contained. works great.

My favorite one-shot Claude Code process for scientific computing is quickly becoming: “clone this repo that hasn’t been touched in 5 years, update to run with uv, update to a modern Python and package version, verify versioning works by comparing output” Works in one-shot for 99% of analysis projects that are small enough to run locally. Nirvana.

@mitchellh love that you post the whole conversation.

Ahhhh, Codex 5.3 (xhigh) with a vague prompt just solved a bug that I and others have been struggling to fix for over 6 months. Other reasoning levels with Codex failed, Opus 4.6 failed. Cost $4.14 and 45 minutes. Full trace plus includes original issue: ampcode.com/threads/T-019c… I know this prompt is relatively bad. Honestly, our stable release is in a week, and I was throwing some Hail Marys at the frontier models to see if I could get a clean, understandable fix for some of these bugs. By using `gh`, it grabs much better context from the issue, so its not terrible. The best thing that Codex did was eventually start reading GTK4 source code. That's where I ended up (see my GH issue), and I knew the answer was somewhere in there, but I didn't have the time or motivation to do it myself. The other models never went there, and lower reasoning efforts with 5.3 didn't go there either. Only xhigh went there. I think that was a critical difference. The final fix was decent. It was small, all in a single file, and very understandable. It had one bug I identified (you can see in the trace), and then I manually cleaned up some style. But, it did a great job. Definitely an "it's so over" moment. But at the same time, it feels amazing because now our next stable release will have this fix and I was able to spend the time working on other fixes as it went.

@ibuildthecloud yes. evidence: read any post on ollama.com/blog

Is Ollama putting more focus on their cloud models than local models? I hope that's not the case.

@boyter this is incredible. thanks!

One of the happiest commits I have made recently. Codespelunker can now seach the linux kernel in half the time it was previously. ~3 seconds on my Macbook Air M1. github.com/boyter/cs/comm…

@mangopi_sbc i found them, on aliexpress a.aliexpress.com/_mKFcNBR

@mangopi_sbc i love it! what model is the antenna? it looks like a rotary knob.

I love making ultra-miniature devices. Quad-core ARM + 2GB RAM + 2230 SSD + AX600 + Gbe + USB 3.0, yet it’s only 4.6 × 4.6 × 1.88 cm (46 × 46 × 18.8 mm). #debian I’m designing the USB-HID-UPS module along with the supercapacitors, which will be integrated internally.If power is lost, the system will know what to do.

@0thernet @zocomputer @perceptnet recorded/streamed?

Join us at 2PM today in SF to hear our vision for @zocomputer. It's our first Zo user meetup – organized entirely by 2 passionate Zo users! @perceptnet and I will give a tour of all the unhinged diagrams we've been using to explain where we're going with Zo.

@headius so is the issue that java only supports the gregorian chrono? docs.oracle.com/en/java/javase… both gemini & claude are caught up on that & either want to write something themselves or use threeten.org/threeten-extra/ here is what claude thinks of progress after 1hr: pastebin.com/G3daxaqs

@complexsplit I'm glad JRuby was useful to you! This little project has been on the back burner for a while, but if we can do it, JRuby could drop the (nontrivial) Joda dependency. An alternative approach is to directly convert the existing RubyDate and RubyTime classes to use JDK time.

Here's a task for you AI experts that I and others have been unable to accomplish... JRuby currently depends on the old but excellent Joda Time API. Java 8 introduced a new built-in API inspired by Joda but *very* different. Get your AI tools out and build me an API wrapper.

@headius i have a weekend and tokens. let me give it a try. i have not used jruby in probably 15+ years. but back in the day it saved my bacon a few times, so i owe you a bunch. 😀

@complexsplit I've tried doing it by hand, but the jdk time API seems very arcane to me. An associate tried to throw IntelliJs AI at it (~early August) but it got nowhere. I haven't tried any of the industrial strength tools yet and I don't know anyone else who has either.

@levelsio give me a zip code where i can buy and build.

🇧🇷 Waking up in Brazil near the ocean South Brazil has lots of great villas available although definitely not at the price point of South East Asia, I'd say 3-5x more expensive and whether that's worth it for you is debatable Build quality of villas in Brazil honestly really varies, a lot of it sucks and is cheap, but a lot of it is built with love and great materials too, kinda hit and miss, it depends if the owner is rich and built it for themselves or not Brazil is also a great place to build a villa, lots of land for sale, approval is fast, and there's no shortage of workers to build it (like in Europe) Brazil also has lots of great architects and interior designers, and they just make beautiful stuff This villa I love because it has that Bali white glossy stone (I think it's boho chic) and it's just great to walk down on barefeet, also I love the rotating stairs and this little jungle inside the living room Then you go outside and you hear the sea! I love living near the sea and I think the salty air really is healthy for you Only bad thing which is common here: no AC in living rooms, only in bedrooms. Why? People like to get the natural wind to cool although at peak summer (like February) it gets boiling hot Oh last thing many villas in Brazil come with a chef included (kinda like Bali and I think there's a colonial connection here as in Bali you sometimes get a "babu" and in Brazil it's called "babá") They cook for you what you want and get groceries etc Nice!

please tell me the $35 peso hot dog is safe. 🙏🌭