MurphyA/hacker-news huggingface dataset:
by kyry_cz | 2025-10-06 06:45:01+00:00
ThreatMark | Security, Machine Learning | REMOTE(World) / Brno, Czech Republic | Equity

ThreatMark protects >50M end users from finacial fraud and saves > $100M every year in losses. We are working with top banks in EU and US to protect their end users. We develop large-behavioral models that recognizes returning users by their mouse movements, keystroke timings and sensoric data (accelerometer, gyroscope). We detect cyberthreats (e.g. malware, phishing, scraping) by exploiting browsers/sandboxes of devices. We manage ~PB scale of data and provide realtime scoring in milliseconds driving authentication/authorization flow (2nd factor).

Stack: [python, typescript, rust], [redis, postgresql], [aws, terraform] ...

We are looking for exceptional engineers to build with us and be part of the success:

- Research Team Lead [hands-on role] (leading world-class ML engineers to success - focus, context translation, project management, measurement, ...)

- Backend Engineer [rust, python] - low-latency stream processing engine, rewrite python microservices to rust

- DevOps Engineer (IaaC in AWS)

- DevSecOps Engineer (blue team - designing, implementing secure infrastructure)

- Engineering Team Lead [hands-on role] (structure, organize, help, elevate) - lead of team dealing with backend - low tail latencies, distributed systems, petascale

- Product Manager (self driven, tech-enabled go-getter - expert on fraud and/or scaling a startup from product perspective)

We are also looking for other key roles:

- CRO - be responsible for growth in US & EU

If you are interested, please email us @ career@threatmark.com with subject "HN Who's Hiring"

If you don't find the right role here or at https://www.threatmark.com/careers/, write us anyway if you believe you can be good fit :)

Krystof Hilar, Co-Founder & CTO
by tylervigen | 2025-10-06 06:45:07+00:00
I am not the author, but can speak as someone who has kept a "seemingly simple" semi-popular web service online for many years with no/low maintenance: it often comes down to the fact that issues tend to pop up just when you don't have time to work on them. It is usually not a lot of maintenance, but it feels like a lot when you have to dive back in to something that you haven't thought about in months. It ends up being a source of very low level chronic stress.

I can totally see why shifts in other priorities would make it attractive to decommission.
by kragen | 2025-10-06 06:45:17+00:00
It wouldn't be an upper bound if energy were free, but it isn't. https://worldpopulationreview.com/country-rankings/cost-of-e... lists China as US$0.08/kWh, but that's the residential price; industry pays a bit more. But it's a countrywide average.

Intensive investigations of Chinese "subsidies" from the US Department of Commerce have come up with embarrassingly little.

The current €0.100/Wp price level (12¢/Wp) combined with the US$0.08/kWh given above does give us an upper bound of 1500 hours of full sun for the energy payback time. At a Californian 29% capacity factor, that's 7 months of operation.

But in fact not 100% of the cost of the solar module is the cost of energy; there are some labor and raw materials costs as well, as well as capital costs and, astoundingly, some profit. So 3 months is probably a better estimate.
by Lumoscore | 2025-10-06 06:45:21+00:00
Wow. That is genuinely one of the most terrifying headlines I've read all year.

Seriously, "no backups available" for a national government's main cloud storage? That’s not a simple IT oversight; that’s an epic, unforgivable institutional mistake.

It completely exposes the biggest fear everyone in tech has: putting all the eggs in one big physical basket.

I mean, we all know the rule: if it exists in only one place, it doesn't really exist. If your phone breaks, you still have your photos on a different server, right? Now imagine that basic, common-sense rule being ignored for a country’s central data.

The fire itself is a disaster, but the real catastrophe is the planning failure. They spent millions on a complex cloud system, but they skipped the $5 solution: replicating the data somewhere else—like in a different city, or even just another building across town.

Years of official work, policy documents, and data—just gone, literally up in smoke, because they violated the most fundamental rule of data management. This is a massive, expensive, painful lesson for every government and company in the world: your fancy cloud setup is worthless if your disaster recovery plan is just "hope the building doesn't burn down." It’s an infrastructure nightmare.
by contrarian1234 | 2025-10-06 06:45:32+00:00
War with China.. ya'll are nuts. The American zeitgeist is completely poisoned and insane. Listening to this stuff from the outside is kind of horrifying. War with a nuclear armed country ends with a nuclear winter for the whole planet. There is no preparing for war with China unless you want everyone dead (which I'm starting to suspect a lot of people are okay with)

This seems so anachronistic.... When was the last war where tanks were important..?

Car are made using components from all around the world... How would you even make a tank in a Tesla factory?
by michalc | 2025-10-06 06:45:45+00:00
Have to admit the lazy thing threw me, but I can see how the “doing less” I’m arguing for could be taken that way. The “less” is not about avoiding handling edge cases that are possible now, but about avoiding putting in layers of code to handle cases possible only in some future versions of the code (with some limited exceptions that I mention at the bottom of the post)

In fact, it’s crossing my mind that people might not want to be accused of being lazy, and that is a motivation to over-engineer solutions.
by zevon | 2025-10-06 06:46:38+00:00
Yes, there is a difference, you are right. I don't have hard numbers at the moment (typing from the phone) but from looking it up quickly, the sun's intensity varies from about 950 kWh/m² to about 1.200 kWh/m² between north and south Germany. So, what OP described will generally work in any part of Germany.
by serced | 2025-10-06 06:47:28+00:00
I find interesting that their blog post on prompt/context engineering kind of stands against their ultra long system prompt. Maybe it is not too specific as in their visual example (too specific - just right - too vague). https://www.anthropic.com/engineering/effective-context-engi... and the system prompt https://docs.claude.com/en/release-notes/system-prompts#sept...
by arrrg | 2025-10-06 06:47:41+00:00
Why dwell on the past? Currently per capita electricity consumption is higher in China than in Germany (6.5 MWh vs 6 MWh).

However, it is true that even in light of this current situation China is building out solar a bit faster (on a per capita basis, even if adjusted for consumption) than Germany. In Germany it‘s about 1 GW added each month, which adjusted for population and energy consumption is about a factor of 1.5 compared to Chinas 25 GW per month.

Wind is lagging behind in Germany but, to be honest, looking at numbers from 2024 compared to China it’s about the same factor 1.5 difference when adjusted for population (3 GW compared to 87 GW).

Germany should be and could be as fast as China – but there aren’t humongous differences between the two countries.
by kragen | 2025-10-06 06:48:25+00:00
Interesting, I'd never heard about this! "XOberon is loosely based on the Oberon System, and it is written in the Oberon-2 programming language. XOberon in its most recent incarnation takes advantage of the computational power of the PowerPC processor architecture. (...) The 68K target version of XOberon is free to download and use. The PowerPC version is available on request."
by alexey-salmin | 2025-10-06 06:50:40+00:00
People are forced to do it by high household electricity prices which are the direct result of the government policy failure.

In my childhood everyone (like your parents, your neighbors, all the ordinary people) were growing potatoes. Highly decentralized and fully voluntary sustainable food production, sounds like a dream. This happened of course because the state-run economy created food shortages.
by NinjaTrance | 2025-10-06 06:51:18+00:00
The easy solution would be to use something like Amazon S3 to store documents as objects and let them worry about backup; but governments are worried (and rightly so) about the US government spying on them.

Thus, the not-so-easy-but-arguably-better solution would be to self-host an open source S3-compatible object storage solution.

Are there any good open source alternatives to S3?
by xwolfi | 2025-10-06 06:51:26+00:00
I don't know, when "westerners", aka the Spanish, colonized the Americas, they would arrive in a village where almost everyone was already dead of the flu before they even started a fight. It seems more violent a colonization than us spending tax money in Africa in soft influence white elephants to gain the favors of dictators.

But it's true it almost, almost, sounds like the protectorate system the French and British used there. And I'm not under any illusion we treat the locals much better in our exported factories.

But you know, the reports of our continuous and desperate colonial expansion across the world are vastly exaggerated and it seems to be mostly a complete failure so far (they seem to kill our factory owners over un paid wages a bit more than they learn our languages with abandon, for one). As someone pointed out, we didn't even get back our stolen gold from the "Republic of China", nor convinced them to join us back in a sort of S.A.R., Hong Kong-style, alliance. I don't blame them, for sure (Hong Kong isn't particularly happy about it, themselves), but we seem to be far from a colonial empire - or, let's give you that, we already have it in our local sphere around the Beijing-Shanghai-Guangzhou triangle and we seem to stick to it with difficulty... for now ?

I think a large missing piece to being a successful super-colonizer like Europe was in the past, is we don't have that big a gap with Africa or other candidates for invasion: China is advanced but not super advanced. The Europeans surprised the Americans with horse riders, it was that bad. Us, meh, not sure our army is worth anything or that terrifying compared to the Russian mercenaries these countries hire for their defense. All we can do is make them build cheaper iphones or some such I guess and pray they listen to us when we need them ?
by Liquix | 2025-10-06 06:51:49+00:00
the mandela effect is fascinating. the go-to explanation is "memory is imperfect", but if that were the case, wouldn't everyone misremember different things, and there would be no phenomenon at all? instead we see a few dozen instances where people will swear up and down that X used to exist, or Y used to be spelled differently, or that there was a cornucopia in the fruit of the loom logo.

i vividly remember the seahorse emoji, a hiker emoji, and a robber emoji (wearing a black mask) - none of them ever existed. it's really interesting to wonder about
by antisol | 2025-10-06 06:52:21+00:00
That's not unreasonable. I perhaps could have worded it more neutrally. Though IMO scumbags need to be called scumbags.

It's not about "taking revenge", it's about setting the record straight. As mentioned, I don't think this person should be lionised. And I think that the constant idolisation of this (bad) person does the industry and history a disservice. And I think that there are people who might be curious about the facts of this person's track record if they were alerted to them. By a comment like mine.
by shellfishgene | 2025-10-06 06:52:30+00:00
That they shut off is important for a more obvious reason: The microinverters plug into a normal outlet. So the flow of power is invented to the normal situation, here the prongs of the plug are energized. The body that writes the electrical regulations of course wanted a mandatory special plug and socket that had to be installed by a licensed electrician, which mostly makes balcony solar financially a non starter. Finally they relented after much discussion.
by ben_w | 2025-10-06 06:52:42+00:00
800 Watt balkony power stations are generally listed at low hundreds of euros, not thousands; cheap enough to be a no-brainer and sold in budget shops like Lidl.

Mine cost €350, of which €50 was delivery, and €50 of which was a set of brackets to mount on the outside of balcony railings, i.e. it sacrifices perhaps 10 square *centimeters* of balcony space taken up by the overhang in normal use.

(As it happens I have a house with a driveway and chose to not to mount them on the outside of the balcony, but the brackets are supposed to be used that way, I just didn't; YMMV).
by indrora | 2025-10-06 06:53:39+00:00
There's an interesting set of options for the weird "xadder" token: misspellings of "xpadder" (a game pad helper), xadder (the name of at least two or three tools), xadder (a parameter in an XLib call), XAdder (the Xilinx full adder implementation for the Vivado FPGA platform), and more than a few usernames on various forums.
by jaggederest | 2025-10-06 06:53:48+00:00
Tagging on for something irrelevant but very silly:

https://chatgpt.com/share/fc175496-2d6e-4221-a3d8-1d82fa8496...

4o spirals incredibly when asked to make a prolog quine. For an added bonus, ask it to "read it aloud" via the "..." menu - it will read the text, and then descend into absolute word salad when trying to read the code. Fascinating stuff.
by jclulow | 2025-10-06 06:55:10+00:00
I think basically everyone with ADHD discovers this eventually; e.g.,

> Sympathetic Procrastination Rotor: a technique for Time and Task Management.

> To aid in the fight against procrastination, arrange all of your tasks in a cycle, such that the natural opportunity for procrastination is always another task on the roadmap. In this essay I will

https://x.com/jmclulow/status/1390544792946237442
by schainks | 2025-10-06 06:55:12+00:00
One of the data integrity people sadly committed suicide as a result of this fire, so I am also thinking this was an incompetence situation (https://www.yna.co.kr/view/AKR20251003030351530).

For the budget spent, you’d think they would clone the setup in Busan and sync it daily or something like this in lieu of whatever crazy backup they needed to engineer but couldn’t.
by beagle3 | 2025-10-06 06:55:44+00:00
This is a list of datasets, not of restrictions, it seems?

When they say “ Information captured at the Roadside Automatic Number Plate Recognition system. Only vehicles matching specified criteria (e.g. expired test) are captured.” - meaning, that’s what in the dataset. But they have to read every plate to check its expiration status etc. they just don’t put it in this dataset.

But also … how is ANPR in Europe PII? Is there a public/semi-public database that connects plates to owners?
by logicallee | 2025-10-06 06:57:02+00:00
The energy used for manufacturing the datacenters including the GPU's must also be rather high. Manufacturing is an energy-intensive sector.

Edit: I asked ChatGPT-5:

https://chatgpt.com/share/68e36c19-a9a8-800b-884e-48fafbe0ec...

it says:

>the manufacturing of GPUs and datacenters themselves consumes a large amount of energy, not just their operation. The operational energy use (for AI training, inference, cooling, etc.) gets most of the attention, but the embodied energy — the energy used to extract raw materials, manufacture chips and components, and construct facilities — is substantial.

and summarizes it with:

4. Bottom Line • Manufacturing GPUs and datacenters is highly energy-intensive, but operational energy dominates over time. • For a single GPU, embodied energy ≈ 0.5–1 MWh. • For a datacenter, embodied energy ≈ 6–12 months of its operational energy. • Given AI-scale deployments (millions of GPUs), the embodied manufacturing energy already reaches terawatt-hours globally — roughly comparable to the annual electricity use of a small country.
by aw1621107 | 2025-10-06 06:58:12+00:00
> How did you prove that no one could just put in an arbitrary integer into that function? Does it fail to compile?

The answer quite literally follows immediately after the code sample you quoted:

> Attempting to prove the absence of runtime errors gives us the following warnings:

buffer_overflow.adb:162:26: medium: unexpected exception might be raised 162 | Ada.Integer_Text_IO.Get (Index_To_Clear); | ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ buffer_overflow.adb:164:18: medium: array index check might fail 164 | Int_Array (Index_To_Clear) := 0; | ^~~~~~~~~~~~~~ reason for check: value must be a valid index into the array possible fix: postcondition of call at line 162 should mention Item (for argument Index_To_Clear) 162 | Ada.Integer_Text_IO.Get (Index_To_Clear); | ^ here

> The SPARK prover correctly notices that there's nothing stopping us from entering a value outside the array bounds. It also points out that the Get call we're using to read the integer from stdin can raise an unexpected Constraint_Error at runtime if you type in anything that can't be parsed as an integer.

This is followed by a version of the program which SPARK accepts.

> Then you're just making a custom type which enforces valid state which, again can be done in any language with a rich type system and if statements.

Key word here is can. You can write correct software using any language, from raw binary to theorem proving languages, but some languages check more properties at compile time than others. What using something like SPARK/Lean/Agda/Rocq buys you is the "more" part, up to allowing you to eliminate runtime checks entirely because you proved at compile time that the corresponding error conditions can not happen (e.g., proving that indices are always in bounds allows you to omit bounds checks). That's not something the more popular languages are capable of because their type system is not expressive enough.

> Formal proofs make sense when you're trying to come up with new formulas or studying the cosmos, but they make no sense when you're trying to predict how bits will behave on a computer, because for the most part that is a solved problem by languages themselves.

This seems contradictory, especially when considering that type checking is creating a formal proof?
by ayewo | 2025-10-06 06:58:24+00:00
You were probably thinking of UniSuper [0], an Australian investment company with more than $80B AUM.

Their 3rd party backups with another provider were crucial to helping them undo the damage from the accidental deletion by GCloud.

GCloud eventually shared a post-mortem [1] about what went down.

0: https://news.ycombinator.com/item?id=40304666

1: https://cloud.google.com/blog/products/infrastructure/detail...
by solid_fuel | 2025-10-06 06:59:10+00:00
> China has supported key industries (like EVs, batteries, solar, semiconductors) that it views as strategic.

https://en.wikipedia.org/wiki/2008%E2%80%932010_automotive_i...

We did too, but we didn't effectively hold any of the executives or financial planners liable for the terrible direction domestic auto companies had gone in, and as a result those companies are still failing to produce competitive vehicles.
by alexey-salmin | 2025-10-06 06:59:57+00:00
I do see it as the result of policy applied from the top, the policy that resulted in 2x household electricity prices compared to the US (which amounts to 3x difference if you adjust for median household income).

I replied in another thread but I still remember how in my childhood all the ordinary people had to grow potatoes. The state didn't order them to, it just created food shortages that's all. You can say it was voluntary, "not so much a policy applied from the top".
by zevon | 2025-10-06 07:00:23+00:00
Well, the last war where tanks and other old weapons were important is going on in Ukraine, for example. And I'm pretty sure you could build quite a few death machine components with what's available in Tesla factories as well (certainly not a full tank though, but you could probably not do that in an ICE car factory either).

FWIW, I agree with your general sentiment, though.

Also, I'm pretty sure that the car industry as it is now would fight retooling their factories tooth and nail, move production to other countries and do anything else they can to be able to continue making as much profit as they can.
by deepsun | 2025-10-06 07:01:02+00:00
> De-escalate.

That's easy -- releasing all hostages would de-escalate immediately. Imagine a situation when there was no Oct 7, so Israel would have no reason to de-escalate.

> Negotiate

How to negotiate with one side pre-condition that the other side is all dead and their country does not exist. Now it starts to change, but not because of negotiations, sadly.

> Establish a good-faith interrim government

Sorry don't understand -- Gaza already has the official government -- HAMAS. Since 2007 there was no Israeli forces on Gaza territory (until Oct 7).

Or you mean Israel should've established a different goverment in Gaza? Well taking down governments is already a military objective.
by sumerpatil | 2025-10-06 07:02:27+00:00
Location: United States (Remote world) Remote: Yes Willing to relocate: Yes (Anywhere outside USA too !)

Roles of Interest: Data Analyst | Data Engineer | Business Intelligence Analyst | Analytics Engineer | Junior AI Engineer / AI Data Scientist

Technologies: SQL, Python, Power BI, Tableau, Snowflake, Azure, Excel, DAX, Pandas, NumPy, ETL, Data Modeling, Power Query, APIs, Dashboard Development, Statistical Analysis, Machine Learning (Scikit-learn, TensorFlow), Data Cleaning, Data Warehousing, NLP, Model Evaluation

LinkedIn: https://www.linkedin.com/in/sumerpatil Email: sumerpatil4599@gmail.com Phone:+1 2142283285

Introduction: I’m a Data & Analytics professional with experience spanning data analysis, business intelligence, and data engineering. Skilled in designing ETL pipelines, optimizing data workflows, and developing interactive dashboards that turn complex data into actionable insights. I also have hands-on experience applying machine learning techniques for prediction, classification, and NLP-based tasks.

Currently exploring opportunities for junior AI / AI data scientist roles, as well as data and BI-focused positions where I can contribute to data-driven problem solving and scalable analytics solutions. Open to full-time or contract roles in fast-paced, innovation-driven environments.
by contrarian1234 | 2025-10-06 07:02:45+00:00
Oh very cool. Easel looks very interesting :))

I also over the years.. I've sort of come to terms with .. maybe I'm not super great at programming?

I've been programming Clojure for ~6 years for my personal project. And I still feel I'm picking up new insights into code design and I still don't feel I've mastered it
by rashunain | 2025-10-06 07:06:15+00:00
Read Hindi Current Affairs of 6 October 2025 and attempt daily hindi current affairs quiz to improve your performance in the general awareness section of the government exams and become a government officer. Daily Current Affairs are very important for the preparation of the government exams like SSC CGL, IBPS PO, SBI PO, UPSC, State PSC, Defence exams.
by v9v | 2025-10-06 07:06:21+00:00
Maybe you'll find this example to be a bit more useful: https://blog.adacore.com/i-cant-believe-that-i-can-prove-tha...

The idea is that you define a number of pre- and post- condition predicates for a function that you want proved (in what's effectively the header file of your Ada program). Like with tests, these checks that show that the output is correct are often shorter than the function body, as in this sorting example.

Then you implement your function body and the prover attempts to verify that your post-conditions hold given the pre-conditions. Along the way it tries to check other stuff like overflows, whether the pre- and post- conditions of the routines called inside are satisfied, etc. So you can use the prover to try to ensure in compile-time that any properties that you care about in your program are satisfied that you may otherwise catch in run-time via assertions.