HNHacker News
TopNewBestAskShowJobs

im_down_w_otp

5,535 karma · joined October 7, 2015

submissionscomments
im_down_w_otp··on Show HN: PunchCard Key Backup
Fancy!
im_down_w_otp··on Show HN: PunchCard Key Backup
The CNC router's firmware? The CNC controller itself is dumb as hell. It's connected via serial to an old offline computer that's only job is to pipe G-code over RS-232. Not even to "load a program" to hold in memory on the controller. Literally to stream the commands to the machine.
im_down_w_otp··on Show HN: PunchCard Key Backup
I love this so much. This, this right here is why I still visit Hacker News.

I'm going to use this today and pave a path to my CNC router to make it stupidly easy to generate these plates on-demand.

im_down_w_otp··on The current state of TLA⁺ development
We do a version of this approach for system behavior V&V: https://docs.auxon.io/conform
im_down_w_otp··on Rust to C compiler – 95.9% test pass rate, odd platforms
We made s390x builds of all our tools (http://www.auxon.io) for an early customer that insisted on running their org on a leased machine from IBM.

It was actually a pretty good experience. It mostly just worked.

im_down_w_otp··on Rust to C compiler – 95.9% test pass rate, odd platforms
They're still common (except for alpha) platforms in some market segment specific corners of embedded development. So, maybe for those purposes?

Though, the trend I'm seeing a lot of is greenfield projects just migrating their MCUs to ARM.

im_down_w_otp··on Earth's clouds are shrinking, boosting global warming
Oh. Is the blinking working?
im_down_w_otp··on Earth's clouds are shrinking, boosting global warming
Now that the US has removed itself from the world stage, I think it's possible something useful about climate change can happen. Likely? Still no. But, possible? Yes, in a way that was never going to happen before.

China and the EU are taking over the leadership position that the US inexplicably resigned from. China and the EU take climate change and renewable/sustainable energy technology investment and adoption waaaaaaaay more seriously than the US did. The US has been (and continues to be) actively hostile to it, save for a few contrary blips.

The most powerful climate change denialist and impediment to progress, by far, to doing something to address climate denialist just self-immolated. There's a silver lining in there.

im_down_w_otp··on US Administration announces 34% tariffs on China, 20% on EU
They tariffed uninhabited land, countries that export nothing to the US, and countries for which the US has a trade surplus.

All those circumstances also would have made the point moot... yet they all still made the list.

im_down_w_otp··on The SeL4 Microkernel: An Introduction [pdf]
https://github.com/auxoncorp/ferros

Lots of type-level programming for tracking resources, hardware access, and capabilities at compile-time and trying to bring some of the underlying kernel guarantees up to the compiler because finding out about and debugging issues at runtime was just the absolute worst.

im_down_w_otp··on Raytracing on Intel's Arc B580
I've kind of wondered about this a bit too. The respective visual quality side of it that is. Especially in a context where you're actually playing a game. You're not just sitting there staring at side by side still frames looking for minor differences.

What I have assumed given then trend, but could be completely wrong about, is that the raytracing version of the world might be easier on the software & game dev side to get great visual results without the overhead of meticulous engineering, use, and composition of different lighting systems, shader effects, etc.

im_down_w_otp··on Raytracing on Intel's Arc B580
I love these breakdown writeups so much.

I'm also hoping that Intel puts out an Arc A770 class upgrade in their B-series line-up.

My workstation and my kids' playroom gaming computer both have A770's, and they've been really amazing for the price I paid, $269 and $190. My triple screen racing sim has an RX 7900 GRE ($499), and of the three the GRE has surprisingly been the least consistently stable (e.g. driver timeouts, crashes).

Granted, I came into the new Intel GPU game after they'd gone through 2 solid years of driver quality hell, but I've been really pleased with Intel's uncharacteristic focus and pace of improvement in both the hardware and especially the software. I really hope they keep it up.

im_down_w_otp··on Distributed systems programming has stalled
We built a bunch of tools & technology for leveraging observability (docs.auxon.io) to do V&V, stress testing, auto root-cause analysis, etc. in clusters of embedded development (all of it built in Rust too :waves: ), since the same challenges exist for folks building vehicle platforms, lunar rovers, drones, etc. Both within a single system as well as across fleets of systems. Many embedded developers are actually distributed systems developers... they just don't think of it that way.

It's often quite a challenge to get that class of engineer to adopt things that give them visibility and data to track things down as well. Sometimes it's just a capability/experience gap and sometimes it's just over indexing on a perception of time getting to a solution vs. the time wasted on repeated problems and yak shavings.

im_down_w_otp··on It is no longer safe to move our governments and societies to US clouds
In that taking those things seriously would have included:

* More creative threat-modeling.

* More effective prevention measures.

* More vigorous mitigation & stonewalling attempts.

* More rapid remediation & rejection of the intrusion.

Especially for a threat vector that was telegraphed so openly so far in advance. The circumstances might be unprecedented, but they're not at all surprising.

im_down_w_otp··on It is no longer safe to move our governments and societies to US clouds
The very fact that it's even possible to have this kind of thing happening unfettered, unconstrained, and unaccountable is evidence in and of itself that the US Govt. doesn't take its national security & secrets seriously though, isn't it?
im_down_w_otp··on It is no longer safe to move our governments and societies to US clouds
I'm not sure I'm understanding the relationship to what I said there.

Is that example supposed to be an indication that the US Govt. does take its national security and secrets seriously?

im_down_w_otp··on It is no longer safe to move our governments and societies to US clouds
I have literally no idea how this relates to what I said. Did you mean to reply to someone else?
im_down_w_otp··on It is no longer safe to move our governments and societies to US clouds
I guess so, but based on current events, it doesn't seem like the US Govt. has any secrets that it places any value on. Between a bunch of glorified interns being given access to anything & everything and a bunch of known compromised department heads being appointed... it doesn't strike me that the US Govt. takes its national security very seriously at all.

The US Govt. seems empirically much more vested in what goes on in public restrooms than it does in what goes on in global affairs and military conflicts.

im_down_w_otp··on Black Swan's Taleb Says Nvidia Rout Is Hint of What's Coming
That would still mean the resources required for training and maintaining these models would become more efficient/reduced over time, not increase forever. The market value of the AI supply-chain currently depends on these models having a voracious and endless need for more and more underlying resources. Once diminishing returns on model size become evident and/or shrinking & efficiency become the competitive focus, then the jig is up for a number of current players.
im_down_w_otp··on Robotics and ROS 2 Essentials
What's that old robotics industry saying?

"You either die trying to scale ROS to production, or you live long enough to repeatedly reinvent it?" - Johnny 5

im_down_w_otp··on Databases in 2024: A Year in Review
Agreed. Many noSQL-boom-era databases eventually bolted on a SQL-esque layer, but that was also because they were mostly also all targeting "enterprise database" use cases and customers who both expected that and whose use cases largely fit with it. So, there was a lot of pressure to conform to norms when the advantage of not doing so wasn't immediately self-evident.

We have a database [1] and query language [2] that's tailored to storing & querying trace/telemetry data produced by different layers and components of cyber-physical systems for systems engineers to analyze, verify, and validate what a complex system is doing. It's not quite a traditional relational problem. It's not quite a traditional time series problem. It's not quite a traditional graph problem.

Addressing the way that systems engineers think about their domain in an effective way required coming up with something different. Are there caveats and rough edges? Sure. But, they're a lot less pernicious and onerous than the alternative of trying to leverage a bunch of ill-fitting menageries of different solutions.

Redis is fit-for-purpose. So, it makes sense that its query interface would also express that.

[1] https://docs.auxon.io/modality/

[2] https://docs.auxon.io/speqtr/

im_down_w_otp··on Things we learned about LLMs in 2024
This happens with every inane hype-cycle.

I suspect people don't particularly hate or despise LLMs per se. They're probably reacting mostly to "tech industry" boom-bust bullsh*tter/guru culture. Especially since the cycles seem to burn increasingly hotter and brighter the less actual, practical value they provide. Which is supremely annoying when the second-order effect is having all the oxygen (e.g. capital) sucked out of the room for pretty much anything else.

im_down_w_otp··on Portland airport grows with expansive mass timber roof canopy
I just flew through there and saw the renovation for the first time, and it is an absolutely stunning transformation. Just incredible. I loved it. The whole thing. From the ceiling to the ticketing islands to the reworked security to the amphitheater style seating areas at the terminal exit where friends & family can await your arrival.

It feels spacious, natural, functional, and hospitable.

im_down_w_otp··on Home ownership is not the boon to older Americans that it once was
Same. I keep trying to point out to people that the fact the US has pinned residential real estate as a bedrock growth investment asset necessarily precludes it from being affordable. It can't be both.

The last time US residential real estate had a chance to become affordable, the entire global economy fell apart. So much so, that the government stepped in for _years_ on end to prop up the asset class.

im_down_w_otp··on Tell HN: Ever think of applying to YC? Do it this weekend for S24
VCs care. The way they make decisions has changed wildly in different ways multiple times within just the last 5 years.

There’s a very good argument to be made that they shouldn’t care and that their investment theses should be more stable as well as their criteria, but that’s an academic argument that doesn’t do a whole lot for the founders who have been attempting to fundraise amid those varied VC spasms.

im_down_w_otp··on Infinite Mac: Turning to the dark side
Yep. That’s the version I run on my “Turbo Slab”.

It’s always kind of amazing what a 33 MHz 68040 was capable of whenever I fire it up and fool around.

im_down_w_otp··on Ask HN: How do you use AI for software engineering?
If I had to really try and pinpoint where my discomfort for this latest hypecycle is coming from, it's probably that I have this sense that the dynamic behind Gell-Mann Amnesia is being cynically exploited by the interests overselling these new products.

Kind of in the same vein as the strategies around gamification, where some identified frailty of the human psyche is being leaned on for cash.

It's not quite a con because the technology is useful and certainly worth something, but it's not non-exploitive either.

im_down_w_otp··on Ask HN: How do you use AI for software engineering?
In all probability it's deceiving you the rest of the time as well. Based on what you've described here, you're trusting its expertise when you don't have much domain expertise of your own, but find it not to be particularly expert at all on matters where you yourself have suffient context and expertise to know better.

This is a common phenomenon with humans, FWIW. The same sort of thing happens with traditional information sources. For example, when a media outlet reports on things we don't know much about personally, we believe them. Then they cover something where we have direct domain expertise and find all manner of misunderstandings and errors trivially, but instead of suspecting that they're likely just as wrong about a lot of other things as well, we assume it's a special case where they just got our special knowledge domain wrong.

In any case, to answer the OP... I use these new AI tools to generate content where the details don't matter and the cost of being wrong is near zero. Such as, graphics for slides, market/product/pitch blurb pablum, etc.

I use them to compensate for my limited artistic/graphic design skills and to overcome my propensity to tediously labor over copy despite that copy being basically throwaway.

im_down_w_otp··on Punk is dead and so are we
I'd also expect them not to be luddites, but rather subversive rejectors. This probably isn't an entirely apt example, but think people who use things like PiHole rather than people who never adopted the internet in the first place.
im_down_w_otp··on Punk is dead and so are we
I think the author misattributed who the modern era punks would be. At least based on the described framework of what punk counter-culture was about and what it was countering.

Given how much of the mainstream is organized around overwrought advertising, influencering, guruing, and being terminally online... it seems like the modern punks would be the counter-culture that prioritizes being offline, being private, and being whatever the opposite of "fake it 'til you make it" would be called. Genuine and modest?

← PreviousPage 2 of 34Next →