Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
rawland
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
rawland
4d ago
That's some background. Thanks. My speculative mental model so far was: They fired the dept which was handling those "emails" and did let some agents handle it. Which backfired and seems to fit that history you presented.
2.
▲
by
rawland
4d ago
From the PR statement, it's unclear if a gov. agency was hacked or it was a phishing attempt, from my point of view. Both cases are still not enough, even for a greasy spoon.
3.
▲
by
rawland
4d ago
I see your point about greed. Thanks. Let me still contrast that: GPT6 has 99.9 in ARC-AGI 3 and multiple bug-bounty programs closed due to the sheer amount of automated attacks and reports. And they are "FinTech". "Oh, that
4.
▲
by
rawland
4d ago
My dialogue: > Hi, me affected by your breach? Them: > "I have checked our records and can confirm that you have not received any notifications or communications regarding any security incidents or data breaches in the past 30 da
5.
▲
by
rawland
4d ago
How can this happen to a modern fintech... Esp. handling identity verification so poorly? > A Revolut spokesperson confirmed to TechCrunch that a “limited” number of customers were impacted and said the company had contacted those custom
6.
▲
by
rawland
4d ago
I ran the proof 3 days ago. They do a Comparator Challenge to validate that they actually solved the correct theorem from the result, which they copied from Google/DeepMind: https://github.com/openai/NavierStokesAn
7.
▲
Interactive ACL reconstruction healing timeline
(acl.eigenlab.ch)
2 points
by
rawland
4d ago
|
0 comments
8.
▲
by
rawland
5d ago
The wording changed such that oai point out that the proof went a different ("unforced") path compared to the one by Tristan Buckmaster and Levent Alpöge and claimed that they didn't "consume" their work in any way.
9.
▲
OpenAI changed Navier-Stokes press release and Lean4 code on GH
9 points
by
rawland
6d ago
|
2 comments
10.
▲
by
rawland
29d ago
+1
11.
▲
by
rawland
1mo ago
Yes. mtplx runs it at 25 tok/sec on a M4 Max with 48GB RAM.
12.
▲
by
rawland
1mo ago
There is one in the quickstart: mathcode -p "prove that the square of an even number is even" https://math-ai-org.github.io/mathcode/#quickstart - if you look very closely, the screenshot at the top
13.
▲
by
rawland
1mo ago
Fair points. Agreed.
14.
▲
by
rawland
1mo ago
pi.dev, local model, (RAG-ed) copy of archwiki. You are more able than you believe. Already now, no permission needed.
15.
▲
by
rawland
1mo ago
I’d wait. Remember when Chromium downloaded and installed binary blobs. Also in the news: https://www.whitehouse.gov/presidential-actions/2026/08/expa... "The American private sector is the most in
16.
▲
by
rawland
1mo ago
TL;DR: “Under the policy, only Al-related hiring, customer-facing travel and trips directly linked to the company's Al initiatives or mission-critical employee Al training are exempt, reflecting SAP's focus on "be disciplined
17.
▲
by
rawland
2mo ago
If smart glasses are pervert glasses, what are 'smart' cars then?
18.
▲
by
rawland
3mo ago
You mean Podman Desktop?
19.
▲
Mistral API is degrading [04/2026]
(status.mistral.ai)
1 points
by
rawland
5mo ago
|
0 comments
20.
▲
Sending 'real' telegrams with Telegram
(github.com)
1 points
by
rawland
10mo ago
|
0 comments
21.
▲
Remarkable Paper Pro Move
(remarkable.com)
1 points
by
rawland
1y ago
|
1 comments
22.
▲
by
rawland
2y ago
Warm memories of the Amiga 500 came up. :) https://en.m.wikipedia.org/wiki/Amiga_500
23.
▲
by
rawland
2y ago
Thank you, jseliger. Thank you, HN. Often I feel very at home here. A community which designed ethics into its very core.
24.
▲
by
rawland
2y ago
Exactly. The ones benefitting most in German society from people in the economy are „full-time“ politicians and „Beamte“ enjoying the worlds best healthcare, above average pay with little to no perf review, and a whole separate extremely ni
25.
▲
by
rawland
2y ago
The magic sauce: https://github.com/tan-ad/SignWave *mentioned in acknowledgements and seemingly highschoolers, too.
26.
▲
by
rawland
2y ago
HN 2014: https://news.ycombinator.com/item?id=8622720 Video showcasing it: https://www.youtube.com/watch?v=SRdLlaUmmpM by it's original designer: Steve Chamberlin. :)
27.
▲
by
rawland
3y ago
To put the picture together: So VC money, the DoubleClick merger, and McKinsey ‘culture’ eroded Google (culture)?
28.
▲
by
rawland
3y ago
Witnessed stuff like this many times. HR exists to protect company interests. Kudos to Brittany (OP). Her countenance and braveness will most likely reward her in the long run.
29.
▲
by
rawland
3y ago
As a *nix defender of the past 20 years, I must admit: Yepp.
30.
▲
by
rawland
3y ago
https://archive.is/eaIVQ
More ›