MurphyA/hacker-news huggingface dataset:
by t-writescode | 2026-01-09 23:16:13+00:00
Using the example doc you’re citing from kagi.com - though not the RFC, I don’t have the time to dive into that one at the second, I see that a session token plus some other stuff is passed in and a token comes out.

Where does it show that on the Kagi backend they couldn’t, theoretically, save the session key before performing the token response?
by kcplate | 2026-01-09 23:16:36+00:00
Enemies?

You should probably not have stopped reading after “my vote”. You could have read further to the point where I described only voting GOP candidate once in the last 15 years…and only then because I was voting against his opponent who I knew personally, and because of that I knew they were corrupt. Perhaps I should have voted for the crook so I passed your acid test of democratic purity?
by Havoc | 2026-01-09 23:16:55+00:00
>I suppose that depends how deep down the rabbit hole you want to go.

I'm intellectually curious about whether a formal verification style vibecoding would work. It seems like the logical outcome of current trajectory - if compute increases exponentially then something where the LLM can just hammer away until it checks out seems ideal way of vibecoding while getting a bullet proof outcome.

Knowing absolutely nothing about formal verification I'm quite skeptical it's viable right now though. (For hobby projects, I'm sure the formal verification academics are having fun)

So still leaning towards rust as current optimal. I am ofc biased (python/rust is my preference depending on task).

>I expect by "make a http hello world server" you don't mean

There is no deeper thinking behind it. Selected it purely because if I ask a LLM to oneshot something without guidance I think keeping it simple and within training data is fair.
by dugidugout | 2026-01-09 23:17:18+00:00
I struggle daily to urge myself to eat after years of habitual starvation. The process of storing and making food through-out the week is extremely difficult for me to say the least... I also don't have room in my finances to out-source this completely. To combat this, I have been successfully meal prepping on the weekends; however, I still often struggle with the basic task of eating the food, prepped and served. It is a common experience for me to get part-way into eating a dish, move on to another task, and neglect the food until it's spoiled only to realize so when I pack up for the day. Sometimes I will even notice the food, deep into a task, but the thought to address it is hardly formed.

In this regard neurotypical advice _did_ actually help me I suppose. However, when applied to a habit not immediately linked to your existence, it is quite alienating to receive.
by ux266478 | 2026-01-09 23:17:42+00:00
It's important to note that not every research area ends up being a surface-language, and oftentimes research projects remain in-progress for a long time. There does exist a freely available research implementation of a 1ML interpreter (though slightly behind the language's formalization) offered by the author:

https://people.mpi-sws.org/~rossberg/1ml/

The thing is that this is a research prototype, not a real compiler. It's not usable in the same degree as a language like SML or Haskell. There is a lot more work beyond a grammar that goes into creating a compiler for a high level language.
by yencabulator | 2026-01-09 23:17:48+00:00
w2c2 has only 2 mentions. wasm2c is not a clear winner, it's specifically losing several of their benchmarks.

In general, using a preexisting compiler as a JIT backend is an old hack, there's nothing new there. It's just another JIT/AoT backend. For example, databases have done query compilation for probably decades by now.
by jiggawatts | 2026-01-09 23:18:11+00:00
The "bigger problem" is that it is insufficient to observe the life carrying capacity of a planet for a few decades and conclude that it is stable long term.

For example, the host star could have variability measured in thousands or millions of years that would render the planet inhospitable to humans but not the indigenous life, which would have been adapted to these cycles.

Similarly, the planet could experience regular asteroid impacts due to passing through a recently broken up rock that intersects its orbital path.

Some of these risks can be eliminated through careful study, but this would require something like a century of painstaking geology, thorough astronomic surveys of its neighbourhood, a full fossil record, etc...
by jedschmidt | 2026-01-09 23:18:16+00:00
i went super deep on 140-byte code golfing[1] back when twitter was taking off, and it changed the way i think about code. for a brief while we had a small community collaborating on byte-squeezing techniques[2], and i was constantly amazed at the creativity that this constraint brought about, from mandelbrot renderings to sudoku solvers. possibly the best part was more than a decade later when i found my golfed UUID implementation[3] deep in my employer's codebase.

[1] https://youtu.be/JsAetmgJRss?si=AxIFySX7ktzu5GL5&t=193

[2] https://github.com/jed/140bytes/wiki/Byte-saving-techniques

[3] https://gist.github.com/jed/982883
by 01092026 | 2026-01-09 23:18:40+00:00
You asked us...well, first tell us what's your real driver? You have three years on local infrastructure? What does that even mean - you're running Ollama Llama_70b for 3 years?

Whats your stack?

And none of that hardware can run larger models, smaller tiny ones, or highly quantized versions of larger ones sure. Or do you have something important to say?
by andy99 | 2026-01-09 23:18:55+00:00
Just bought a Strix Halo (framework desktop), waffled a long time between that and a Mac Studo but I got tired of waiting for the M5 and don’t really like Apple.

I work with ML professionally, almost all in cloud, I just wanted something “off grid” and unmetered, and needed a computer anyway so decided to pay a bit more and get the one I want. It’s “personal” in that it’s exclusively for me, but I have a business and bought it for that.

Still figuring out the best software, so far it looks like llama.cpp with Vulcan though I have a lot of experimenting to do and don’t currently find it optimal for what I want.
by avidiax | 2026-01-09 23:18:56+00:00
If you look at the ICE agents, they all seem to have a variety of random gear. People have found their patches on Amazon.

My impression is that they are on a hiring frenzy, and are incredibly disorganized.

An AXON body camera is $800, usually sold with a subscription. If these ICE agents are buying their own gear, I can see why they'd just buy a GoPro or use their phone.

I'm sure the lack of traceability and accountability from private recording is a welcome "feature" (at least by the individual officers). The fact that the organization hasn't apparently prioritized or required accountable body-worn cameras is suspicious and unacceptable, but the available evidence is that this is organizational stupidity and negligence.
by cloudrider10 | 2026-01-09 23:19:00+00:00
Journalytic | UI Developer (React/TypeScript) | REMOTE (US time zones) | Full-time

Journalytic is an early-stage company building a mission-critical operating system for professional investment teams. We combine behavioral science, structured workflows, and well-crafted software to help hedge funds, family offices, and RIAs make better decisions every day.

We’re a remote team with hubs in Pennsylvania, California, and Seattle. This role is perfect for an engineer who relishes complex technical challenges in a fast-paced startup environment. You’ll be joining a team of passionate A+ players who will support you and challenge you to grow. You won’t be a small cog in a big machine. Your work will have a direct impact on how the world’s best investors operate.

For full details and to apply, visit https://jobs.journalytic.com
by subscribed | 2026-01-09 23:19:36+00:00
Device doesn't have to be rooted to spoof the location.

Also, I hope you're not using Play Integrity (lol), because that means all the old phones you allow can be rooted, hide it from you and/or spoof positive chdck result........ because they're insecure like sieves..... Whilst you'd be banning modern and unrooted phones.
by defrost | 2026-01-09 23:21:24+00:00
If you're a fan of sharp scary analysis, try

Maduro in Minneapolis (Murderous Lies) by Timothy Snyder - https://snyder.substack.com/p/maduro-in-minneapolis

The abduction of Maduro was not about naming his crimes, but about ignoring them. The worst thing that Maduro did is just what Trump is beginning to do: killing civilians and blaming them for their own deaths. After Minneapolis, Maduro’s lies are being repeated: in American English, by American authorities.

The thousands of extrajudicial killings in Maduro’s Venezuela were carried out by organized death squads. These actions were described as defensive. The Maduro regime claimed that the people they murdered were resisting government authority, and that the men who pulled the trigger had been provoked by those whom they murdered.

Minneapolis has just witnessed an extrajudicial killing, at the hands of ICE, which looks more and more like a presidential paramilitary organization.

The action was, horribly, excused by the president, the vice-president, and the director of homeland security, using the same lies as those told by Maduro’s Venezuelan regime.

The victim was resisting government authority, they said.

The man who pulled the trigger had been provoked, they said.

It was not the killer who was a terrorist. It was the mom who had just dropped off one of her six-year-old at school.
by creata | 2026-01-09 23:21:35+00:00
> Transpiling to C is the worst possible way of trying to address these issues.

It's really not. Compiler writers, in your words, "write a whole bunch of machinery" so that the code has the intended semantics. It's not fundamentally that different to generating LLVM IR.

I never said every single language compiles via C. Sure, you're right, Zig and Rust generate LLVM IR instead (edit: iirc Zig is moving to their own backend, but I don't think that's relevant), and there isn't much reason not to target LLVM these days, unless you want to target niche platforms that LLVM doesn't support.

> It would be an undoubted improvement to be able to bypass that layer when it isn't useful, regardless of one's opinion on JS.

I will ask you clearly: you are asking for a lot of work from browser makers. What use cases, concretely, will that work actually enable?

If you hate the baggage of JS -- which is fair enough, there's a big mismatch between it and many other languages -- Wasm can be used for most of the heavy lifting, and it lacks that baggage. The JS only needs to be a little layer between Wasm and the browser.

But what will getting rid of that layer enable? What will it let people do that couldn't be done before?

I'm not trying to be mean, so I'm sorry if it came off that way.
by jauntywundrkind | 2026-01-09 23:22:39+00:00
For real. Laws likee anti-circumvention laws are a horrible plague on humanity. There's all kinds of nonsense & so often businesses have far too much sway or outright grasp over the legal system.

You can't be a hacker without having any Question Authority backbone or will. You don't have to be full onboard but very few nations seem capable of behaving at all reasonably when it comes to technology. And few even have the chance to do right: American corporate empire has insisted countries adopt particularly brutal ip laws for decades, and made trade contingent upon it.

The Declaration of Independence of Cyberspace & Doctorow's recent talk on the EU needing their own break for Cyberspace & IP Independence are both important revealing materials here. https://www.eff.org/cyberspace-independence https://media.ccc.de/v/39c3-a-post-american-enshittification... https://news.ycombinator.com/item?id=46420951
https://www.eff.org/cyberspace-independence
by gusgus01 | 2026-01-09 23:22:44+00:00
I should probably make sure my usage of Cloudflare is ready to be migrated off at a moments notice if it's this easy for Cloudflare to consider getting rid of it for a whole country. Funny enough, after a month in Italy and using my tailscale node at home out of habit, most online services assumed my home IP wanted the Italian version of every website (including Cloudflare). I wonder if that would have also included blocking me from access (if this ends up going through).
by kayodelycaon | 2026-01-09 23:22:56+00:00
I really don’t like being snarky here but this is an absolutely perfect example of what I was talking about in my last paragraph.

I didn’t mention energy because energy has no relevance.

I’ve literally broken down crying because I really wanted to work but my brain refused to move. I was having such a great day and was really motivated. I spend hours and absolutely exhausted every bit of energy I had trying every advice that I’ve spent my entire life hearing. I could not get a single word out of my brain.

Nothing worked. I spent my entire childhood trying harder and got nowhere. I probably shouldn’t say this, but I get quite pissed off when people tell me to try hard harder.
by gwern | 2026-01-09 23:23:20+00:00
Writing or tweaking plugins is great, but it's not a paradigm shift (and risks a lot more toil because now you have to be your own PM or deal with patches/merges, on top of being a reference librarian and copyeditor etc). I feel like if you have a quasi-superintelligence in a box which can run your PKM for you, and you were designing from the ground up with this in mind, that Claude Code is only going to et much better & cheaper, you would not be settling for 'write or modify an Obsidian plugin'. You would get something much different. But 'write a plugin' is basically at 'horseless carriage' level for me.

What I have in mind is something far more radical. There's an idea I am calling 'log-only writing' where you stop editing or rearranging your notes at all, and you switch to pure note taking and stream of conscious braindumping, and you simply have the LLM 'compile' your entire history down into whatever specific artifact you need on demand - whether that's a web of flashcards or a blog post or a long essay or whatever. See https://gwern.net/blog/2024/rss + https://gwern.net/nenex , combined with the LLM reasoning and brainstorming 'offline' using the prompts illustrated by my poems.
by observationist | 2026-01-09 23:24:39+00:00
Reconfiguring existing proofs in ways that have been tedious or obscured from humans, or using well framed methods in novel ways, will be done at superhuman speeds, and it'll unlock all sorts of capabilities well before we have to be concerned about AGI. It's going to be awesome to see what mathematicians start to do with AI tools as the tools become capable of truly keeping up with what the mathematicians want from the tools. It won't necessarily be a huge direct benefit for non-mathematicians at first, because the abstract and complex results won't have direct applications, but we might start to see millenium problems get taken down as legitimate frontier model benchmarks.

Or someone like Terence Tao might figure out how to wield AI better than anyone else, even the labs, and use the tools to take a bunch down at once. I'm excited to see what's coming this year.
by daemonologist | 2026-01-09 23:25:01+00:00
CBC quote:

A security expert who has analyzed the new video filmed by an ICE officer says it appears to have been edited to remove crucial moments that show when shots were fired at Good.

Thomas Warrick, a senior fellow at the Atlantic Council think-tank, said when the 47-second-long video is watched second-by-second, it briefly goes black around the 42-second mark.

"There's no logical reason why somebody holding a cellphone has a black frame at that point," said Warrick, a former deputy assistant secretary for counterterrorism policy at the Department of Homeland Security.

He said the phone evidently didn't fall to the ground, because the officer is holding it at the end of the video and pointing it toward Good's car.

"So, clearly, he never dropped the phone. Why is that black frame there? What happened?" Warrick said.

"This is going to fuel the narrative that evidence is being manipulated."

https://www.cbc.ca/news/world/livestory/ice-shooting-minneap...
by IAmBroom | 2026-01-09 23:25:22+00:00
The quote doesn't insist all dogs are infinitely loyal.

Your disgusting prejudice aside, I've never met a pitbull in public that wasn't sweet and loving - which reinforces my suspicion that the real problem with them is the sort of psychotic, uncaring owner they attract.

When I was young, it was Dobermans that were demonized, and likewise the dog of choice for assholes who abused them as mere security devices.
by hypeatei | 2026-01-09 23:25:51+00:00
Here is a synced up version (from both angles):

https://bsky.app/profile/ragnarokx.bsky.social/post/3mbz7pt4...

> I synced up the video from the Johnathan Ross and a bystander to help show what was happening when he fumbled his camera. He was already out of the way at that point and already had his gun drawn. It wasn't him being hit, it was him shooting Renee Good.
by ludicity | 2026-01-09 23:26:20+00:00
He was the keynote at YOW! so I can't capture all the nuance and hope I'm not doing him a disservice with my interpretation, but the tl;dr is he:

"LLMs drastically decrease the cost of experimenting during the very earliest phases of a project, like when you're trying to figure out if the thing is even worth building or a specific approach might yield improvements, but loses efficacy once you're past those stages. You can keep using LLMs sustainably with a very tight loop of telling it to do the thing the cleaning up the results immediately, via human judgement."

I.e, I don't think he can relate at all to the experience of letting them run wild and getting a good result.
by TZubiri | 2026-01-09 23:26:57+00:00
There's some confusion here, there is a secondary compromise, but it's not very relevant.

The actual origin of the email: theraoffice.com

The fake origin of the email: SendGrid

There is a mismatch there, easy to detect. SendGrid was not compromised, and nothing was sent in the name of sendgrid or whatever.

Now the domain theraoffice might have been registered by an attacker, warmed up with some small fake traffic, and aged. Or it might have been compromised.

The previous email could have used sendgrid or mailchimp or google workspace, that's not very relevant. The SPF and DKIM would always pass, because SPF and DKIM verifies that the owner of theraoffice.com is the one sending the emails.

There might be a connection with SendGrid, but it's not at all accurately explained in the article, it may be as simple as SendGrid being a common phishing target of attackers just because they can get access to more email infrastructure for magnifying their reach, like a self-replicating virus.
by bullen | 2026-01-09 23:27:01+00:00
The more interesting metric is running HL2 on Pi4, Pi5 and 3588:

Pi4: 20 FPS same when using ffmpeg to stream to twitch. 5W

Pi5: 40 FPS idem as above. 10W

3588: 300+ FPS and rock solid 60 FPS streaming to twitch. 15W

So 5090 is not even interesting for gameplay. More polygons and larger textures do not make games more fun to play.

AAA has peaked and C++ does not even deliver interesting games any more. C#/Java are way better alternatives for modding.
by IAmBroom | 2026-01-09 23:27:03+00:00
> Many post-agricultural revolution civilizations predicated on small family cells and strict property and succession rules would have been impossible without a dog to pet.

That's silly. US Midwest farmers meet every detail up until "would have been impossible"; dogs are common but not ubiquitous, and farming communities are highly social.

(Cats, ironically, are ubiquitous on farms, because of their utility at hunting mice and rats.)

Ironically, you're describing the classic "cat lady" trope, only with the wrong pet type.
by antonymoose | 2026-01-09 23:27:03+00:00
> He also shouldn't have walked around the car that way, that was entirely unnecessary and dangerous

Well, that is where you are wrong. He did not walk in front of the vehicle. He was standing offset to the front passenger door. When the deceased abruptly reversed, angled, and accelerated, the officer went from an off-sides “2:30” position to an “11:45” position which left him with seconds to react.

He was left with a split second choice to end the threat and was struck in the process while laying down disciplined fire on target.
by efilife | 2026-01-09 23:27:20+00:00
No! Maybe I wasn't entirely clear in what I wanted to say.

The point is ChatGPT gets various info about you and it won't disclose to you that it has them.

There's the memory feature, but various reports (and my own experience) indicate that even if you disable it, some stuff you've said before (or the LLM inferred) is still fed into its sytem prompt.

We also know that AI can sometimes make up stuff. I think it might have "guessed" the user has ADHD, this got added into the system prompt and it won't be revealed to the user considering how this works. It wasn't done on purpose and wasn't malicious.
by karmakaze | 2026-01-09 23:27:53+00:00
How do they come up with the fine amount?

> The fine represents 1% of the company’s global revenue, where the law allows for a maximum of 2%.

It seems to me that they should be fining only Italy's portion of their revenue (or at most EU if backing the move).

Even better, they should have to provide data to support the amount of revenue that was lost from lack of compliance.
by delaminator | 2026-01-09 23:27:58+00:00
I have a 3090 24Gb Twin Xenon 64Gb RAM sat on a machine in our server room.

I do local AI with Qwen, Whisper and another I can't remember right now.

These are all QWEN:

We do AI Invoice OCR - PDF -> Image -> Excel. Works much better than other solutions because it has invoice context so it looks for particular data to extract and ignores others. Why local? I proved it worked, no need to send our data outside for processing and it works,

We deal with photos of food packaging - I do a "photograph ingredients list and check them against our expected ingredients" - downside is it takes 2 mins per photo, I might actually push this one outside.

Ingredients classifier - is it animal (if so what species), vegetarian, vegan, halal, kosher, alcoholic, is nut based, peanuts and more - simply no need to send it outside.

I've got a Linux chatbot helper on the "test this" pile with Qwen Coder - not evaluated it but the idea will be "type command, get it wrong, ask Qwen for the answer" - I use Claude for this but it seems a bit heavy weight and I'm curious.

tbh some of it is solution hunting - we spent $1000 on the kit to evaluate if it was worth it so I try and get some value out of it.

But it is slow, 3 hours for a recent task that took Claude API 2 minutes.

My favourite use is Whisper. I voice->text almost all of my typing now.

I've also bought a Nvidia Orin Nano but I haven't set it up yet - I want to run Whisper in the car to take voice dictation as I drive.