HNHacker News
TopNewBestAskShowJobs

zppln

842 karma · joined December 4, 2021

submissionscomments
zppln··on Introducing tmux-rs
Seems like a bit entitled to expect being able to go around rewriting stuff and then have the old maintainers maintain it.
zppln··on Libxml2's "no security embargoes" policy
Very sad read. Much of the multi-billion dollar project I work on is built on top of libxml2 and my company doesn't have a clue. Fuck, even most of my colleagues working with XML every day don't even know it because they only interface indirectly with it via lxml.
zppln··on Interstellar Flight: Perspectives and Patience
And those stars will go out as well.
zppln··on KiCad and Wayland Support
> out of their system

I spent some time last year digging around in Wayland and I've got to admit that I was surprised to learn that there really isn't anything really there. Like, there is no "system". I had read that "it's a protocol" but I hadn't fully internalized it. I'm honestly a bit surprised anyone has adopted it. It almost feels like a scam. :) When I checked you couldn't even get your window decorated without an extension (that Gnome decided to not support so you have to bring your own decorator there?).

zppln··on Ada and SPARK enter the automotive ISO-26262 market with Nvidia
We use C++ at my shop for Level A and of course we very much restrict it. But the restrictions are more due to reducing the scope of what you need to show for your compiler.

> or just malloc everything all at once?

Yes! But here's the thing: this isn't done due to the footguns associated with memory management, it is done because you want as little dynamic behavior as possible. For Level A software you need to show that your software has both bounded execution time and memory usage, and be robust against all inputs. Achieving that is so much easier without dynamic memory management.

Also, another thing to keep in mind is that DO-178 has you show that your software requirements are traceable to system requirements, your software design to your software requirements, your source code to your software design and your object code to your source code. But testing should be requirements based. So if your compiler inserts a bounds check now you have object code not traceable to source code and for which you won't have coverage because your requirement mention it. But what if you mention it in your requirements? Well, then you'd have to implement it manually in source code to uphold traceability anyway...

I will caveat the above by saying that other players may interpret things differently or have found ways to do things more cleverly.

zppln··on Ada and SPARK enter the automotive ISO-26262 market with Nvidia
And it never will be. In aviation we certify three things: aircraft, engines and propellers. Everything else is at best certifiable, i.e. can be integrated into a product to be certified assuming all deviations, restrictions, caveats etc are considered when doing so.

Also, tools follows DO-330 and are qualified. It's their output that should comply with DO-178.

zppln··on Ada and SPARK enter the automotive ISO-26262 market with Nvidia
This is my experience as well.

People need to ask themselves what benefits Rust would bring to an high assurance system (e.g. DO-178C Level A). You're not gonna want to malloc mid-flight even if you have a borrow checker.

The entire point of e.g. DO-178C is to show that the software only does exactly what it is supposed to do under all assumptions and have any derived behavior fed back to the safety process for evaluation. Software can never in itself make a system safe.

All that aside, modern tooling may be more ergonomic etc so I'm not saying languages like Rust shouldn't be considered, they just aren't as useful here as I think a lot of people assume.

zppln··on The UI future is colourful and dimensional
Icon selection definitely plays a part. Flat, monochrome icons are just garbage. A particularly bad example is editing a page in Confluence where you know there should be a button for e.g. fill color but you can't find it because every single icon looks the same.
zppln··on European Investment Bank to inject €70B in European tech
> you need to ”be someone”, not ”understand something” or ”be able to do something”

This very succinctly describes the entire management class here in Sweden... The public sector is run by incompetent people who have to buy consultants to do anything and the private sector is led by the same kind of people to the point where actually competent people avoid going into management. I wonder how long we can keep this up.

zppln··on Someone at YouTube needs glasses
So much this. They haven't even paywalled it behind Premium. They know they're dealing crack. Such a disgusting company.
zppln··on Avoiding skill atrophy in the age of AI
Indeed. A friend of mine is a motion designer (and a quite talented one at that) and he goes on and on about how AI is gonna take is job away any day soon. And sure, there are all these tools popping up basically enabling people to do (some of) what he does for a living. But I'm still completely uninterested in motion design. I might prompt a tool a few times to see what it does, but I'm just not interested in the process of getting things right. I can appreciate the result, but I'm not very interested in the craft, even if the craft is just a matter of prompting. That's why I work in a different field.

I will note however, that it has expanded his capabilities. Some of the tools he use are scriptable and he can now prompt his way into getting these scripts. Something he'd previously would have needed a programmer for. In this aspect his capabilities now overlap mine, but he's still not the slightest more interested in actually learning programming.

zppln··on 4chan Sharty Hack And Janitor Email Leak
Meh, /pol/ leaks but people also gets called out for it all the time. Overall I'd say containment style moderation like the one 4chan has works pretty well if you're looking to host "discussion" of a wide varity of topics.
zppln··on How much do you think it costs to make a pair of Nike shoes in Asia?
Oh, I think they're already up there with the aesthetics, I just don't find the content appealing. I watched (on Netflix) some Chinese attempt at a Downton Abbey a few years ago, and the production value was through the roof, absolutely insane. But the actual writing was pretty vapid and it's still drenched in propaganda.

I've had similar experience with film. Just compare the stuff coming out of Hong Kong today with what came out during the 80's and 90's.

Comedy is another thing I don't see go on export any time soon...

zppln··on How much do you think it costs to make a pair of Nike shoes in Asia?
> cultural super power

My impression is that Chinese culture has very little appeal elsewhere (at least in the West). They can't seem to be able to (or care to) package it in an appealing way. Sure, they're being catered to in films and video games but I see very little organic interest in Chinese culture, especially compared to Japanese or Korean culture.

zppln··on Europe needs its own social media platforms to safeguard sovereignty
No one cares as long as the end product is worse and doesn't satisfy the users' requirements. If we want people to use non-American alternatives we need to build alternatives that are straight up better, which is exactly what the Chinese managed to do with TikTok.
zppln··on Trump's US Commerce Secretary publicly recommends to buy TSLA
And the same people who would previously chain themselves to an oil well are now setting Teslas on fire. Up is down and down is up.
zppln··on Go European: Discover European products and services
Built in the US and sold by Electrolux, yes.
zppln··on Go European: Discover European products and services
Sure. My microwave from 1988 is about the only thing made in the US in my home (interstingly an Electrolux). However, every purchase I make is with a Visa card. Most services I use are American. And as I'm typing this... anyone know a European alternative to SwiftKey? :P
zppln··on Go European: Discover European products and services
While I do find it an interesting exercise to reflect over my own choices of products and services and consider how I could divest myself from relying on ones provided by US companies (and I do agree Europe is too reliant on the US in some regards), it is a bit sad to see how quickly things are spiraling here. People really love to have a clear enemy...
zppln··on The XB-70 (2019)
> Also that simplicity is king. Complexity is the enemy.

I don't know anything about B-52s, but I work on a project where we are essentially replacing a 40 year old weapon system with a new one. The new one should of course do the same things, preferably better, and do additional new things. The old system started out simple, but has since had most of its internals swapped both hardware and software wise a number of times. We have full access to all the documentation of the old system, but let's say there has been periods throughout these 40 years where this aspect hasn't exactly been top priority.

It doesn't come as a surprise to me that projects like JSF end up a complete clusterfuck. Everyone tends to underestimate the complexity of the system they operate/produce after a while because most of it is always there and just works.

zppln··on How Core Git Developers Configure Git
The same could be said for proposing it...
zppln··on Anno 1800: Shadows of Beauty
I got actual nerve damage from playing Anno 1404 crosslegged for a 16 hours a day for a few days straight a decade or so ago...
zppln··on The Economic and Fiscal Effects of the Trump Administration's Proposed Tariffs
> how many industries that trade in real goods have margins in excess of 25%?

The fentanyl industry maybe?

zppln··on HD Hyundai set to debut production 14 ton hydrogen wheeled excavator
Would it be possible to achieve the same 8 hours of operation between charges?
zppln··on GPT-5 is behind schedule
And the MBA person (at my company this is everyone in middle management) is also the person who go around and suggest we shoehorn AI into everything...
zppln··on GPT-5 is behind schedule
Depending on your definition of sea:

https://en.m.wikipedia.org/wiki/Aral_Sea

zppln··on The size of BYD's factory
My city in Sweden use BYD buses (I think they're pretty much the only option?). My impression is that they've worked pretty well, with more cities buying into them.
zppln··on Show HN: Rust library for numerical integration of real-valued functions
Fast, small, lightweight compared to what?
zppln··on Text2CAD Generating Sequential CAD Designs from Text Prompts
So then you're left with a CAD file for a CAD package you're not familiar with..?
zppln··on Reverse-engineering a three-axis attitude indicator from the F-4 fighter plane
This is actually what I meant by "merged together". They are two separate displays controlled by separate computers, with separate power supplies etc. During normal mode operation they're synchronized somehow and can draw a large image over the entire display area, but in emergency mode you can display crucial flight data on only one of them if the other stop working.

I have never really thought much about it, but I guess the actual LCD thingie is manufactured in one piece and the control signals just being split between different computers somehow, but I don't know anything about how these things are made! :)

← PreviousPage 3 of 10Next →