HNHacker News
TopNewBestAskShowJobs

ghayes

3,686 karma · joined July 19, 2011

CTO / Founder at Legend, https://legend.xyz. Enthused about Elixir, Rust, Idris, Erlang, Elm, Exthereum, tech, travel, hardware, national parks, life in the Bay area.
submissionscomments
ghayes··on Kagi Changelog (July 2): Heads, tails, and an AI toggle
> It's finally here! We believe that Kagi's application of AI should always be useful - there when you'd like it, and never when you don't, and always respecting your privacy.

It's nice to have choice here when, e.g. Google, has been trending in the opposite direction.

ghayes··on Erin Brockovich made a map to track data centers around the country
For example, https://mydetector.ai/ai-code-detector/ says 90% likely AI. Not that I trust the tools, but there are telltales to me in this function from the site:

     Object.values(zipBuckets).forEach(function(b) {
       var latest = b.reports.map(function(r){return r.date;}).sort().reverse()[0];
       // ...
       var popup =
         '<div style="font-family: Inter, sans-serif; min-width:220px; max-width:280px;">' +
         (noteLines ? '<ul style="font-size:12px; color:#3a4a2a; padding-left:16px; margin:0;">' + noteLines + '</ul>' : '') +
       // ...
     }
Certain ergonomics are hard to miss since a human who writes heavy FP would opt for a `(r) => r.date` lambda, where the computer has no problem writing out inline `function(r)`-style declarations. Similarly, the HTML mapping function could go either way, but mixing in large sets of text with hard constants would be really uncommon for humans to write.

JavaScript is always a mess, but it's a _different_ mess between humans and AI, and this function `loadCommunityReports` really reads AI-first to me.

ghayes··on Have a fucking website
Instead of focusing on why having a website is better for customers (100% it is), the article is really an attack on... developers at Meta and tech other companies? I love a good profanity laced rant, but the entire article reads unfocused and unpersuasive.
ghayes··on Shall I implement it? No
Honestly, skip planning mode and tell it you simply want to discuss and to write up a doc with your discussions. Planning mode has a whole system encouraging it to finish the plan and start coding. It's easier to just make it clear you're in a discussion and write a doc phase and it works way better.
ghayes··on FreeCAD
I’ve really enjoyed Shapr3D (built on Parasolid). Nothing particularly better than the usual competitors but the interface is really intuitive and you can realistically develop on an iPad. Curious if anyone else has had experiences with it.
ghayes··on The TSA's New $45 Fee to Fly Without ID Is Illegal
To be fair, that's not exactly what Loper Bright says. It holds that the courts should read the statute independently and not assume that Agency rules or procedures are prima facie controlling where the statute is ambiguous.
ghayes··on NYC Mayoral Inauguration bans Raspberry Pi and Flipper Zero alongside explosives
I am always worried when I bring development boards on airplanes. I assume most people are reasonable, but I worry for a few that might not be.
ghayes··on Marble: A Multimodal World Model
Whenever I see these and play with models like this (and the demos on this page), the movement in the world always feel like a dolly zoom. Things in the distance tend to stay in the distance, even as the camera moves in that direction, and only the local area changes features.

[0] https://en.wikipedia.org/wiki/Dolly_zoom

ghayes··on Show HN: Vaev – A browser engine built from scratch (It renders google.com)
I feel like some of the newer standards like CSS Grid instead of tables might be the best way to go. Many HTML/CSS improvements were not just bloat but actually better standards to build on.
ghayes··on Ask HN: What less-popular systems programming language are you using?
Yeah, I loved Elm, but the restriction that you can't build your own "effect" modules really made it impossible to embrace. Say you want to use a new web API similar to using Elm's core `Http`, well... you can try and fork Elm...
ghayes··on Show HN: Live-updating version of the 'What a week, huh?' meme
Though, sadly it's not a true image; it's composed as an SVG in HTML. So you can't copy-paste the image into chats.
ghayes··on Privacy Pass Authentication for Kagi Search
Privacy Pass docs [0] cover this, but it is mostly referenced deeper in the paper. I believe the idea is that the tokens returned by the server are "unlinkable" to the (modified) tokens passed back by the client. So the server knows it passed back tokens A, B and C to some users, and later receives tokens X, Y and Z. It knows that X, Y and Z are valid, but not their correspondance to the tokens it issued. It uses elliptic curve cryptography for this.

[0] https://privacypass.github.io/

ghayes··on Proof of location for online polls
Couldn't the "test" add some variety of math challenge, thus making a simple proxy insufficient. Obviously, this method would add more noise to the final calculation, but if the proxy would need to forward its data to the end-user machine to perform the math, then a simple proxy in this case wouldn't be sufficient.
ghayes··on Soldering the Tek way
Curious if anyone has tips on lead-free soldering. I basically always see in online forums "just use lead," but never any tips on how to actually become capable on using lead-free solder. Esp. as my son is around a lot, it seems prudent to stay lead-free, even if you can generally handle lead safely. Thanks.
ghayes··on Guide to 3D Print Motorized Rotation Mounts for Optical Applications (2021)
Thanks. Can someone explain what these are typically used for or link to commercially available variants?
ghayes··on ChatGPT Search
I tend to agree. If I ask ChatGPT what is the best way to make pasta, it will pull from every source it’s ever been trained on. If it decides to search the web, it will mostly cater to one or two sources.
ghayes··on Cable companies ask 5th Circuit to block FTC's click-to-cancel rule
The recent Loper decision also expressly says Congress _can_ delegate to agencies, just that APA doesn’t do that delegation itself.
ghayes··on Press Conference: Professor Geoffrey Hinton, Nobel Prize in Physics 2024 [video]
Geoffrey Hinton had an excellent series on neural networks from 2011 for Coursera available here https://m.youtube.com/playlist?list=PLoRl3Ht4JOcdU872GhiYWf6... detailing the fundamentals of machine learning. The series was later wholesale replaced by another led by Andrew Ng of Google. I really adored Geoffrey’s lectures and recommend it to anyone looking to get into the space. It ends with him hinting at the idea of attention networks, but sadly I can’t find any later lectures from him on the topic.
ghayes··on Germans decry influence of English as 'idiot's apostrophe' gets approval
Is “search it up” much different from a similar phrase “search for it”? The structure of the original quote is “imperative verb, direct object, adverb” but I wouldn’t call that a change in grammar so much as a change in diction.
ghayes··on Germans decry influence of English as 'idiot's apostrophe' gets approval
Just to clarify, I think you have the terms reversed. Descriptivism is, as you say, describing a language from its everyday usage. Prescriptivism is when you follow a rules body or dictionary to say what is “correct.”
ghayes··on Diode Matrix
I sat confused how each 16-bit row was being shown as 8 hex digits (32-bits). Thanks for explaining it was in octal.
ghayes··on Dockworkers at ports from Maine to Texas go on strike
> “The ILA is fighting for respect, appreciation and fairness in a world in which corporations are dead set on replacing hard-working people with automation,” the statement said. “Robots do not pay taxes and they do not spend money in their communities.”

A tale as old as Ned Ludd. I am interested to see how we reconcile the benefits of automation without leaving workers behind. Hopefully there are more cases similar to the creation of Microsoft Excel, where the automation tools largely helped the field grow.

ghayes··on Is English a “creole Language”?
They picked up a new season https://m.imdb.com/title/tt11921588/
ghayes··on The Dune Shell
I wonder if there's a good middle ground where unix commands could opt into a structured output, and until they exist, you could shim via `ls -la | shim "ls -la" |> ".modified_time"`. Then one day it could be `ls -la |> ".modified_time"` when structured data is supported natively by the program or command. I feel every project ends up dying since it needs to support every command all at once to be useful.
ghayes··on WonderWorld: Interactive 3D Scene Generation from a Single Image
Does anyone know if there are variants of this that output voxels? It feels like a more concrete representation of the space versus Gaussian splats.
ghayes··on To Nerves from Elixir
I guess I’ve been a bit disappointed Nerves doesn’t run on microcontrollers, though, such as an Arduino or Raspberry Pi Pico. Basically, once you have Linux, you can run nearly anything already.
ghayes··on Raspberry Pi Pico does line rate 100M Ethernet
Thanks, and you're correct; not sure why you got downvoted for this. For anyone curious here are the data sheets for RP2040 [for original Pico] and RP2350 [for Pico 2], which describe the systems in detail.

RP2040: https://datasheets.raspberrypi.com/rp2040/rp2040-datasheet.p...

RP2350: https://datasheets.raspberrypi.com/rp2350/rp2350-datasheet.p...

ghayes··on Raspberry Pi Pico does line rate 100M Ethernet
I just started playing around with PIO and DMA on a Pico, and it’s really fun just how much you can do on the chip without invoking the main CPU. For context, PIO is a mini-language you can program at the edge of the chip that can directly respond to and write to external IO. DMA allows you to tell the chip to send a signal based on data in memory, and can be programmed to loop or interrupt to limit re-invoking. The linked repo uses these heavily for its fast Ethernet communication.
ghayes··on Colorize Lidar point clouds with camera images
Thanks, been trying to look into AI tools to generate point clouds from photos for a hobby robot. Crazy that a mediocre LIDAR costs more than every other part of the robot combined, maybe times 10.
ghayes··on We survived 10k requests/second: Switching to signed asset URLs in an emergency
Where is this against the GCP or CloudFlare's TOS?
Page 1 of 29Next →