MurphyA/hacker-news huggingface dataset:
by throwaway894345 | 2025-04-01 19:09:58+00:00
You're confusing "real static typing" with runtime type information. TypeScript has "real static typing" (if you disagree, ponder for a moment the meaning of "static"). A TypeScript program cannot natively query the _TypeScript type_ (not to be confused with the corresponding JavaScript type) of one of its variables in the way, for example, Go can. But neither can C, or C++, or Rust, all of which are unquestioningly statically typed.
by matu3ba | 2025-04-01 19:10:06+00:00
"Diagrams are code" exists as ladder diagrams for PLC, from which Structured Text can be derived, which typically are used by PICs for simple to estimate time behavior in very time-sensitive/critical (real-time) control applications.

Stack + dynamic memory and other system resource modeling would need proper models with especially memory life-time visualization being an open research problem, let alone resource tracking being unsolved (Valgrind offers no flexible API, license restrictions, incomplete and other platforms than Linux are less complete etc).

Reads and writes conditioned on arithmetic have all the issues related to complex arithmetic and I am unaware of (time) models for speculation or instruction re-ordering, let alone applied compiler optimizations.
by TwoSixTech | 2025-04-01 19:10:10+00:00
Two Six Technologies | Reverse Engineer/Vulnerability Researcher | Arlington, VA | ONSITE | Full Time |https://job-boards.greenhouse.io/twosixtechnologies/jobs/544...... Two Six Technologies is seeking senior reverse engineers & vulnerability researchers to perform in-depth reverse engineering and exploit development to transition those findings into capabilities. We are looking to hire embedded security researchers with experience in the following categories: firmware reverse engineering, hardware reverse engineering, and Linux/UNIX kernel development. Additional opportunities are available for embedded software engineers, electronic design engineers, digital signal processing engineers, hardware reverse engineers, firmware reverse engineers, and low-level kernel developers looking to enter the security field. We would love to hear from you if you work in the embedded security domain. Preference is for applicants who hold a TS clearance and have the ability to obtain SCI at a minimum. If interested, please reach out to our team @ recruiting@twosixtech.com
by eastbound | 2025-04-01 19:10:20+00:00
> React’s baseline isn’t a monster.

Yes it is. It’s not size, it’s logic: Every time the component rerenders, the root loop is executed. Why? The root loop reassigns every useEffect, reruns every useState, every other hook (and useSearchParams is executed n times for n components that need it in the hierarchy) when only the HTML needs rerender.

(Yes the programmer can optimize/memoize, and yes “a hook’s execution time is very short” (but multiplied by every cell in the table, when needed)). Must be the fault of the programmer if the framework has a super-intensive concept at the root.)
by GettyVilla | 2025-04-01 19:11:08+00:00
The National Toxicology Program’s monograph failed peer review by the prestigious and independent National Academies of Science Engineering and Medicine. In fact, the document failed peer review twice:

in 2020: https://www.ncbi.nlm.nih.gov/books/NBK555056/

and again in 2021: https://nap.nationalacademies.org/read/26030/chapter/1

Why was this substandard draft even published?!

It seems that this team found what they wanted to find. Are they scientists or ideologues? Were they creating the 'evidence' for the San Francisco trail?
by camperegrine | 2025-04-01 19:11:48+00:00
Peregrine Technologies | Senior Software Engineer | San Francisco or DC - Hybrid | Full-time | $130,000 - $250,000

Peregrine exists to help public safety organizations better protect their communities and the privacy of those they serve.

Our stack is constantly evolving but based on a backend foundation of Python, Django, Celery, Airflow, and Kafka; a frontend built in React, Redux, and Mapbox; data stores including PostgreSQL and Elasticsearch; machine learning models hosted in Bedrock and Sagemaker; and with AWS, Pulumi, Terraform, and Kubernetes as our underlying infrastructure.

Engineering Roles:

Engineering Team Lead, Identity https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...

Senior Software Engineer, Foundations https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...

Senior Software Engineer, Mobile https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...

Senior Software Engineer, Apps https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...

Senior Software Engineer, Data https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...

Senior Network Engineer https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...

Senior Infrastructure Engineer https://job-boards.greenhouse.io/peregrinetechnologies/jobs/...
by leptons | 2025-04-01 19:12:00+00:00
Your question did not "undermine my claims" at all. I never claimed that a natural born citizen had been deported - I only claimed that this administration seeks to remove that barrier, and as we've already seen, they have been extremely authoritarian and don't care much for laws or rules. If you can't see where this is heading, then you're blind with your head in the sand. Your comment is absolutely a "moving goalposts" troll, and I'm not the only one calling you out on that.
by delichon | 2025-04-01 19:12:26+00:00
I'm a coder, I solve little problems all day. My work would be enormously harder if I didn't use my gut to test results. I doubt I could make a living doing that. I frequently get bad results from doing statistics on large data sets, and only discover it when my gut asks me why it looks funny. Like this one.

We don't need a happy medium between Mr. Gut and Mr. Data, we need to merge them.

For another data check: https://en.wikipedia.org/wiki/Income_and_fertility

In my own experience lower income has been associated with harder work. If a stat says that modern knowledge work is more demanding than subsistence farming, I have to question it.
by rtkwe | 2025-04-01 19:12:42+00:00
He seems to be doing it fairly safely by having it housed in a building a whole 50m away from the main dwelling. A fire from there could spread to the house or elsewhere but it's no longer a metal fire so it's a lot easier to deal with and just contain the fire in/around the shed. I'd probably add a nice gravel buffer around it to help that and live in a reasonably well hydrated part of the country so there's not as big a fire risk from embers.
by throwaway894345 | 2025-04-01 19:12:48+00:00
Rust compiles into WASM, x86, etc, which are dynamically typed for all intents and purposes. They certainly don't understand or enforce Rust's type system invariants any more than JavaScript enforces TypeScript invariants. If you call a Rust function from WASM and pass it malformed data, the WASM runtime will happily execute it.

(pretty sure WASM actually has some integer types, so I guess maybe it is technically "statically typed" but not in any interesting sense--we could similarly say that JavaScript is "statically typed" because every variable has a static "any" type).
by surgical_fire | 2025-04-01 19:13:10+00:00
> 1. In the UK the Scottish National Party gets public money for being in Parliament, yet has the stated goal that the UK should cease to exist. SNP MPs aren't thrown in prison or banned from politics. That's because the UK is a democracy.

SNP is a very particular case in that Scotland is a country, and the UK is a country made up of countries.

Also, Scotland is not trying to abolish the UK, it would still be a United Kingdom of England, Wales, and Northen Ireland.

> 2. 2. Flanders has independence parties that poll highly and take part in regular politics without being banned from Belgian politics.

Again, you are speaking of a portion of a country that desires independence. This is not the same as abolishing the country. Belgium would not cease to exist.

I could bring up movements that desire the separation of Catalonia and Basque Country in Spain too.

> 3. MEPs themselves are frequently arch Euro-nationalists. They get public money and then campaign to effectively abolish the countries they represent, demanding their national governments be replaced by the EU institutions. This is of course not considered illegal.

Replacing national institutions with more EU integration is not trying to abolish the existence of that country. You are extrapolating something there in a weird slippery slope.

> She's been banned from politics entirely and given a prison sentence. That meets the threshold for something being forbidden.

Perhaps she should not have engaged in embezzlement. Good that she was banished. It is important to respect the rules in place, else they become irrelevant and more politicians would feel emboldened to break them.

> It honestly sounds like you'd have been happy with all the other attempts to unite Europe under a single government that happened in the 20th century.

Nice way to try to paint me as a Nazi while you are crying about Le Pen of all people.

Protip, I am not the Nazi in this conversation.

> Not only are you delighted by this clearly despotic move, you think it should be illegal to even be against the EU at all: a purist argument for the EU as totalitarian dictatorship.

EU is far from being totalitarian, and far from being a dictatorship. If it was we wouldn't have to handle Orban being a pain in the ass for every initiative.

In fact, it is so democratic that things move slooooowly, because it needs a lot of consensus for things to move forward. It's a price I agree to pay, even if Orban is the cost for it.

> You should really think about whether that's the place you want to be, philosophically.

I am very much in favor of more EU integration, and I certainly vote for pro EU politiciand and parties for that matter. EU federalization should be the goal for me.

> Especially as frustration over the EU's undemocratic approach was the primary reason the UK left.

And that worked super well for the UK lol.
by seanlinehan | 2025-04-01 19:13:29+00:00
Some companies do things like this, but I'd be cautious about it.

There's a few things I'd consider:

* If you have a bunch of reps, doing the periodic accounting to cut the right checks becomes more of a pain (though it's a pain anyways)

* When you give a choice, the employee might make what, in retrospect, winds up being the wrong choice. This can lead to pissed off sales people and regrettable churn.

OTOH, sales comp plans change every year anyways, so could just be renegotiated
by kmoser | 2025-04-01 19:13:31+00:00
So many pranks, I didn't bother waiting until April 1st to pull them.

Prank 1: In high school we wrote a fake DOS for our Apple II+. It accepted commands and ran them, but occasionally would reply with a snarky message. Our teacher was not amused.

Prank 2: This was the late 1970s/early 1980s when laser printers cost many thousands of dollars, and neither me nor my high school peers had ever seen one. I found some CGI images in a computer magazine and Xeroxed them onto pin-feed paper for dot-matrix printers. I showed them to my friends and convinced them that I owned a laser printer. The pin-fed holes just added to the authenticity, since they had no idea how a real laser printer worked.

Prank 3: My parents changed checking accounts and had a whole book of unused checks. I told my father I wanted to do a prank and he agreed to write one of those checks for $600. I showed the check to one of my classmates at the beginning of the day and told him I was going to buy a computer after school, and he could come with me. When school ended and my classmate found me, I took out the check, declared I no longer wanted a computer, and ripped it up in his face. He was stunned.

Prank 4: The local library had an Atari 400 with a coin-operated TV screen ($0.25 for 15 minutes). Without the use of the screen, I wrote a simple BASIC program to emit a beep randomly every few minutes, started it running, and walked out the door.
by _xgw | 2025-04-01 19:13:44+00:00
Coveo | Senior Fullstack Developer | Montreal & Quebec City | Full-time | Hybrid/Remote (Canada)

Coveo's Commerce team builds AI-powered search and recommendation solutions that help enterprise retailers optimize product discovery and drive sales.

We're looking for a Senior Fullstack Developer to build data-intensive web applications at scale. You'll work on high-scale systems for search, recommendations, product listings, and generative answering, crafting APIs and UIs that power personalized e-commerce experiences.

Tech Stack:

- Backend: Java, REST APIs, distributed systems

- Frontend: React, TypeScript, responsive web apps

- Cloud: AWS, Kubernetes

You'd be a great fit if you have:

- 5+ years of software development experience

- A strong track record in high-scale backend development

- Experience with cloud infrastructure

- Solid front-end skills

- Strong communication skills and a collaborative mindset

We offer competitive salaries, top-tier equipment, great offices, and a team that genuinely values your input.

Interview Process: phone screen, interview with hiring manager, tech test, offer

Apply here: https://grnh.se/b972644a2us
by krisoft | 2025-04-01 19:14:56+00:00
There is a very linear relationship between time and money for the one who pays the employees though.

Nobody says “you know boss, that two hour meeting today was a total waste of time, please deduct two hours worth of my salary from my paycheck”. So the company quite literally pays for everyone’s time who was at the meeting. And that is a function of who is present and how long the meeting goes. It is very much not a function of productivity/value.

And the point of having a, more often rethorical than real, taximeter showing the cost of the meeting puts this into perspective. The more people you invite the more the meeting costs. The longer it goes the more it costs. The goal is not to abolish all meetings, but to make people think if the bang to buck ratio of the meeting is right. To instill a culture where people prepare for meetings, they have concrete questions or decision outcomes they are looking for, and to criticaly think about the length of the meeting and right-size the invite list.
by glenstein | 2025-04-01 19:15:23+00:00
>Wildlife biologists aren't going to refer to simulated ducks to research their behavior in more depth.

I'm pretty sure behavior is simulated all the time in everything from migration to predator prey dynamics, to population dynamics, and so on. If we don't use simulations to understand all the little nuances and idiosyncrasies of behavior right now that's probably just because at present that's extremely difficult to model. But I suspect they absolutely would be used if such things were available. Of course, they would be treated as complementary to other forms of data, but wouldn't be disregarded outright.
by pqtyw | 2025-04-01 19:15:59+00:00
Lower savings rate, higher inflation, higher interest rates, less capital available for investment. So most capital intensive sectors wouldn't do well.

A lot more volatility, without a (or much smaller one) buffer most economic shocks would have a bigger impact on the economy.

Also there would still be a lot of inequality it would just be intra-generational.

Then again.. all the annuity money has have to go somewhere. So maybe the insurance companies would become the primary sources of investment capital (which wouldn't be great). A lot of uncertainty though i.e. buying a house if you have a family would become much riskier..
by afro88 | 2025-04-01 19:16:05+00:00
For 99.9% of people, the funny of the prank would only hit later. Ie, upon finding out it was a prank, and hearing about the "insert 5 cents" part that they probably didn't see with their own eyes. Plus the retraction, and 2nd retraction. And reactions of other staff who fell for it (and caused chaos) before 8:30.

And then extra value upon retelling all of the above to others.
by K0balt | 2025-04-01 19:16:49+00:00
Probably ForeFlight synthetic vision, if I’m being serious.

But considering the pay scale of military pilots, A-EFIS would probably be better at €60. They even have a free version that punishes you for being poor by only showing black and white lol.

But for my app, I’d copy the styling and instrument tics from the F35 instruments to make the transition less stressful. The last thing you’ll want to be doing is relearning your backup instruments every time the airplane BSODs.

I love the idea of a free black and white version though, keep the strip ads in color, just to keep it annoying. Subscribe to put the screen in color lol.
by gqgs | 2025-04-01 19:17:46+00:00
A key concern I've consistently had regarding formal verification systems is: how does one confirm the accuracy of the verifier itself?

This issue appears to present an intrinsically unsolvable problem, implying that a formally verified system could still contain bugs due to potential issues in the verification software.

While this perspective doesn't necessarily render formal verification impractical, it does introduce certain caveats that, in my experience, are not frequently addressed in discussions about these systems.
by 33Mastermind | 2025-04-01 19:18:28+00:00
automotiveMastermind | Full Stack Senior Software Engineer | NY | 2X per week in office/HYBRID https://www.automotivemastermind.com/ automotiveMastermind (an S&P Global Company) is hiring a hybrid/onsite Senior Software Engineer in New York. We are looking for strong expertise with React on the Front End and some experience with C#/.Net on the Back End.

automotiveMastermind helps dealerships sell more cars by predicting and targeting likely buyers.

https://spgi.wd5.myworkdayjobs.com/en-US/aM_Careers/details/...

Tech Stack - We have a cloud-native architecture, and we use Google Cloud Platform extensively. We regularly evaluate new technologies to see which ones we want to adopt. Some other tech stack basics: a) Languages/frameworks - C#, Python, Typescript, React b) Databases - PostgreSQL, MongoDB, Redis, ElasticSearch

Also,

a. Our scrum teams own the entire software development life cycle, including design, development, testing, and maintenance. b. We prioritize speed and flexibility. New code is deployed to production every single day.
by travisjungroth | 2025-04-01 19:18:45+00:00
As someone who makes dry sarcastic jokes pretty often, I’ve learned you have to really put some ridiculous stuff in there to signal it’s a joke. This also scales with audience size and delivery method.

With so many people, you’d actually have to make the price ridiculous or something like that. Because some people, once they read that the printing is five cents, are going to be upset enough to not read the rest of the email.

I wouldn’t actually do this prank, but if I like had to, it would be more like the “charge” was to sing a song and the email would actually say April Fools in it. Maybe less funny, but a lot more easily seen as a joke. Makes handling the calls to the admins much easier, too.
by PaulDavisThe1st | 2025-04-01 19:19:08+00:00
I don't believe there's ever been a situation (at least in the USA) where there was no threshold at all. So the argument is over its value, not its existence.

That said, sure, you're right. But why are you right? I would suggest it is because we live (in the USA, among other places) in a culture that strongly emphasizes the right to pass along generational wealth. But this is not universally true across time and space, and our culture took a different tack (say, by quoting august Republican figures from the late 19th and early 20th centuries), the popularity or otherwise would likely be entirely different.
by tossandthrow | 2025-04-01 19:19:46+00:00
Neither HTML, nor CSS are naturally untyped.

Actually, React is not typed enough.

Looking at the mozilla docs: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/sp...

You can see that eg. <span /> is not allowed to hold all types of elelemts.

How awsome weould it be, if th type system actually captures this.
by mmooss | 2025-04-01 19:21:19+00:00
While I'm sure the US military sees the obvious possible logisitical solution for the island chains - and I've read them saying that in the past - that doesn't mean there's something deceitful going on here.

Before you make national security depend on a new, developing technology, and one that is also in limited supply, you give that technology a simpler, smaller mission to try it out and to develop it. That is, they don't want control of the first island chain to depend on Regent Craft all-electric sea gliders quite yet.
by TeMPOraL | 2025-04-01 19:21:20+00:00
Yeah, that's just an extension of what I said. After all, it's not Google/Chrome that's creating this problem - it's Cloudflare and people who buy this service from them, by making the lazy/economically prudent assumption that anyone who has an opinion on how they consume services can be bucketed together with scammers and denied access.

It stems from the problem I described though - blocking you for not using Chrome is just "only illegitimate users don't use Chrome", which is the next step after "only illegitimate users would want to use our API endpoints without starting a business and signing a formal contract with us".
by zdragnar | 2025-04-01 19:21:31+00:00
Being in a professional field means being the expert in the room for your area of responsibility. That means being able to translate information into, and out of, the terms of art in your profession.

This is generally considered a "soft skill", but it really should be a recurring part of any technical curriculum.

There are generalizations of the concept- tailoring your message to your audience in public speaking, or charitable interpretation and seeing from another's perspective in debate, but the narrow case of "interpret these requirements and identify problems with them" is a good way to demonstrate an understanding of the domain.
by s1artibartfast | 2025-04-01 19:21:59+00:00
>Property rights are meaningless without a social order that protects them.

Where do you delineate this worldview from a simple extortion shakedown? e.g. your house is more valuable when it isnt on fire and your family isn't dead.

It still leaves the question of what is an appropriate tax to pay for social order? is it 100%?
by azemetre | 2025-04-01 19:22:45+00:00
If you want an alternative view, I like the confrontational tone. You know what you excel at and attack your competitors with it.

I really dislike how all the other JS UI libraries are basically the same and espouse the same ideas.

Svelte was way better when Rich Harris was straight up attacking react devs at conferences and shaming them for poor performance.

Being "nice" just ensures entrenched players stay entrenched.