HNHacker News
TopNewBestAskShowJobs

gte525u

292 karma · joined October 25, 2009

submissionscomments
gte525u··on Claude for Small Business
Organizational self-imposed DOS attacks.
gte525u··on Trump fires NSF's oversight board
It depends - some agencies you can apply directly without doing a phase 1. Others you need talk to the TPOC of the Phase 1 to find out the process or you have to be invited.

In the current environment - I would contact the TPOC - it could just be stuck in limbo.

gte525u··on Trump fires NSF's oversight board
SBIRs have been mucked up since last fall. The program lapsed and it just got reauthorized for certain departments. Without that reauth only those who had phase 1's could apply for phase 2's.
gte525u··on WolfGuard: WireGuard with FIPS 140-3 cryptography
Are there benchmarks available to compare vanilla wireguard to fips wireguard?
gte525u··on Ada 2022
We used it for a new Defense/Aerospace projects. Language-wise it's fine although verbose. Intent was to separate similar IP so there was no claim of cross contamination. Built-in threading and a robust standard library is nice.

Tool-wise - refactoring was a bit of a pain.

gte525u··on Magic Wormhole: Get things from one computer to another, safely
Very different use case. It's for one-off secure file transfers.
gte525u··on FAA is granting Boeing “limited delegation” to certify airworthiness
FWIW - I work in aerospace. I believe this is talking about their FAA Designated Engineering Representatives (DERs). They are employed directly by the company or are consultants - they are subject matter experts in their domain. They act as the FAA delegate within the company. They generally have authority that goes well beyond the typical employee or QA person.

The ones I have worked with have no problem telling management to go pound sand when they are pushing schedule.

gte525u··on Introduction to Ada: a project-based exploration with rosettas
There were a lot of waivers back in the day. A couple big companies (Boeing) still use it.
gte525u··on QUIC for the kernel
I would look at SCTP socket API it supports multistreaming.
gte525u··on Tabs vs. Spaces: The War Is Over
From my experience, it seems to be the people that learned PASCAL first for some reason.
gte525u··on The Tabs vs. Spaces war is over, and spaces have emerged victorious
This works until someone tries to vertically align something like a table or a line that is wrapped.
gte525u··on The Unreliability of LLMs and What Lies Ahead
^This - we're trying to use one to partially automate some system engineering type activities.

It's great for reviews where any given reviewer could be expected to have a misunderstanding of certain details or skip a section (RAG somewhat helps this) - but it's frustrating for artifact generation where missing details cascade through the project.

As great as the technology (right now) it seems so far from reliable business process automation.

gte525u··on Formal Methods: Just Good Engineering Practice? (2024)
Do you have any resources you could link to - for those that are curious?
gte525u··on Red Hat in-vehicle OS hits key milestone towards Functional Safety Certification
FWIW - it happens in aerospace - ARINC 651/653
gte525u··on Transponder Landing System enables precision approaches at McMurdo in Antarctica
There a couple companies that make a DILS where the localizer and glideslope can be temporarily deployed. The intent is for emergency or short term use.
gte525u··on Air-Bus Hijacking: Silently Taking over Avionics Systems
ARINC 429 definitely one way to do it. It has a fixed baud rate - there is no feedback to the transmitter. Typically, each "bus" contains a single or small subset of messages (called labels) over it.
gte525u··on YOLOv5 on FPGA with Hailo-8 and 4 Pi Cameras
It's line speed processing of multiple cameras in HW - it should be less power consumption than equivalent GPU or Jetson.
gte525u··on An informal comparison of the three major implementations of std:string
Somewhat related - but there are a ridiculous number of platform/systems that ship with derivative of Dinkum C++ standard library - MSVC (included). When you lookup the company behind it - it's basically small shop that seems to be primarily one guy up in MA.
gte525u··on US prepares to exempt AUKUS nations from ITAR
Alternatively - you can get an export license for information to the particular person. Kind of like a TAA for a foreign employee. Previous employer had a European EW expert in the US office temporarily. Still not fast and lots of paperwork and limitations.
gte525u··on Waffle House's Magic Marker System
It may vary on your definition of major - but they definitely do in the southeast and lower midwest.
gte525u··on Walmart is migrating the remaining F# code into Java
Out of curiosity - what were the rough edges in the distributed application space?
gte525u··on Ask HN: Best open source and/or free EDA tooling
There is a python script[1] that pulls down LCSC parts as kicad symbols and footprints.

[1] https://github.com/uPesy/easyeda2kicad.py

gte525u··on TinySA – small spectrum analyzer and signal generator
Analog discovery series is cheap and good enough for a lot of tasks.
gte525u··on Microsoft open-sources ThreadX
uCOS-II and uCOS-III were open sourced a while ago as well https://github.com/weston-embedded
gte525u··on Can a Passenger Hack an Airplane?
FWIW - ARINC429 is a common one way serial bus used in commercial aviation.
gte525u··on The $55M saga of a Netflix series nobody will ever see
Basically 'Ed Wood' reimagined?
gte525u··on MISRA C
Safety critical in aerospace uses MCDC as the gold standard for testing.
gte525u··on MISRA C
Shouldn't that be (void)a;
gte525u··on MISRA C
MISRA C++ lags quite a bit relative to C++'s evolution over the last 20 years. It's closer to JSF C++ style guide.
gte525u··on MISRA C
FWIW - usually when interfacing with foreign code like that you match what the foreign code's types than convert it afterwards. Then add an assert [sizeof(t1) >= sizeof(int)] or better a static_assert.

The intent isn't to make your code bullet-proof. It's to move towards a subset of the language with well-defined semantics.

Any safety critical coding standard work I've done always had a waiver process for both MISRA and mccabe-like complexity requirements - the intent is there's always some point where there is diminish returns for compliance.

Page 1 of 6Next →