MurphyA/hacker-news huggingface dataset:
by scarecrw | 2025-06-01 18:27:09+00:00
I work teaching CS to a variety of age levels (admittedly mostly teenagers and older), and one thing I would recommend is broadening your consideration about what CS fundamentals might include. Picking up language syntax or new tools is easy enough at whatever age, but problem solving and planning skills are very tough to rebuild as they grow into adolescence.

One of my personal favorite resources is CS Unplugged. [1] It sidesteps any particular language or toolset in favor of pen-and-paper interaction.

[1] https://www.csunplugged.org/
by Areibman | 2025-06-01 18:27:52+00:00
There are actually a handful of great libraries to help with RL/LLM agents in Pokemon Showdown.

I did a solo hackathon project [0] using poke-env[1] and found it to be pretty easy to get started with. Hoping for an easy-to-use API with this as well.

[0] https://x.com/ditzikow/status/1922004651790000521 [1] https://github.com/hsahovic/poke-env
by NooneAtAll3 | 2025-06-01 18:28:04+00:00
if I read all the websites correctly... it has already ended??

---

NOAA map (https://www.swpc.noaa.gov/products/aurora-30-minute-forecast) shows huge auroras were at ~7-9 UTC and now are gone

https://solarham.com/ says "arrived faster than expected" and "threshold was reached at 08:00 UTC"

and the website linked, the https://www.spaceweatherlive.com/en/.html says "14:00 UTC - Geomagnetic activity Severe G4 geomagnetic storm (Kp8)" followed by "17:30 UTC - Geomagnetic activity Minor G1 geomagnetic storm"
by rubenvanwyk | 2025-06-01 18:28:06+00:00
I understand Neon is open source and I think it’s an awesome product, but apart from the risks associated with longevity of open source once a company gets acquired - although the storage engine is open source, the control plane isn’t and is non-trivial to implement oneself. Orioldedb is positioned as a Postgres extension, which is must easier to setup (even on an existing operating database) than migrating to a completely different architecture that Neon provides.
by mrandish | 2025-06-01 18:28:48+00:00
Sure, there is clearly some "rose-colored memory" effect going on - how could there not be? As someone who used Amigas, Atari STs, Macs and PCs back in the day - and who still owns over a hundred unique models of vintage 80s and 90s computers, they ALL suck in many annoying ways AND most had some unique strengths. We all learned to live with what we had and how to make it do what we needed done.

People got accustomed to whatever personal computer they used every day and many grew fond of it. After all, the power and capability of a desktop computer in the 80s was unprecedented and, for many, revelatory. That said, in the mid-to-late 80s, the PC platform was generally under-powered dollar for dollar compared to most of its leading competitors, most of which were based on Motorola 680x0 CPUs. The strength of the PC during this time was it's rapidly expanding library of business software applications and hardware expansion options in the form of add-in cards (something which Apple had with the Apple II but abandoned for a while with the Mac, the Atari ST never really had and only the "professional" series Amiga's had (A2000, A3000, A4000).

Being underpowered per dollar doesn't mean the PC couldn't be extremely useful or the best platform for a given scenario and it certainly doesn't mean there weren't hobbyists who used and loved their late 80s PCs as dearly as any other 80s personal computer owner. Of course, this power balance was largely addressed by the mid-90s - which is why the PC juggernaut then extinguished the Amiga, Atari and (very nearly) the Mac.
by gpm | 2025-06-01 18:29:33+00:00
Computable doesn't really make sense here IMO, as you say, consciousness is not the illusion, it's the audience, it's the thing receiving the output not just an evaluation of a mathematical function.

The better question is why couldn't a consciousness attach itself to (be the audience for) a computation. Since we really don't understand anything significant about it, questions like this are next to impossible to disprove. At the same time since we've never seen anything except human start talking about consciousness spontaneously* it seems like a reasonable guess to me that LLMs/the machines running them are not in fact conscious simply because of their dissimilarity and the lack of other evidence.

* I note LLMs did not do so spontaneously, they did so because they were trained to mimic human output which does so. Because we fully understand the deterministic process by which they started talking about consciousness (a series of mathematical operations), them doing so was an inevitability regardless of whether they are conscious, and as such it is not evidence for their consciousness.
by czottmann | 2025-06-01 18:29:56+00:00
Here's a few instances of fan service in that movie:

- Andor running into Pigperson and Grover on Yedha

- That entirely random 20-sec scene with C-3PO and R2-D2

- "Red Leader, standing by" was archive footage from A New Hope (and arguably a tribute to the late actor)
by _delirium | 2025-06-01 18:30:01+00:00
For this book specifically, I think the reason is just that Lean is the theorem prover he already knows and uses in his own work [1].

Now as to why he picked Lean a few years ago as his go-to theorem prover, I do think that would be an interesting backstory. As far as I know he hasn't written anything explicit about it.

[1] E.g., https://terrytao.wordpress.com/2023/11/18/formalizing-the-pr...
by NelsonMinar | 2025-06-01 18:30:19+00:00
It's the anamorphic lenses. It's become something of a look recently so I think of it partly as a deliberate stylistic choice. But also an accident of a particular lens geometry. They just don't mind it.

Shogun did this too, I think also The Witcher.

https://www.reddit.com/r/StarWarsAndor/comments/15rjjcg/why_...
by Aurornis | 2025-06-01 18:30:26+00:00
Which is why they won’t have a public API that allows running transactions that send money to arbitrary accounts.

If someone altered the terminal to charge more (a hypothetical suggestion above), they could recoup that money from the merchant’s account because they have an agreement in place.

You can’t run arbitrary transactions to arbitrary accounts (the other proposed attack above) because there isn’t an agreement in place.
Proposal: Throw as a Special Variable for Auto Error Propagation in Go
by iondodon | 2025-06-01 18:31:14+00:00
Proposal: Implicit Error Propagation via `throw` Identifier in Go

Abstract

This proposal introduces a new syntactic convention to Go: the use of the identifier `throw` in variable declarations or assignments (e.g., `result, throw := errorFunc()`). When detected, the compiler will automatically insert a check for a non-nil error and return zero values for all non-error return values along with the error. This mechanism streamlines error handling without compromising Go's hallmark of explicit, readable code.

Motivation

Go encourages explicit error handling, which often results in repetitive boilerplate code. For example:

result, err := errorFunc() if err != nil { return zeroValue, err }

This pattern, while clear, adds verbosity that can hinder readability, especially in functions with multiple error-prone calls. By introducing a syntactic shorthand that preserves clarity, we can reduce boilerplate and improve developer ergonomics.

Proposal

When a variable named `throw` is assigned the result of a function returning an `error`, and the enclosing function returns an `error`, the compiler will implicitly insert:

if throw != nil { return zeroValues..., throw }

Applicable Scenarios

Short declarations:

x, throw := doSomething()

Standard assignments:

x, throw = doSomething()

Variable declarations with assignment:

var x T; var throw error; x, throw = doSomething()

* `throw` must be a variable of type `error`

* The surrounding function must return an `error`

* The rule only applies when the variable is explicitly named `throw`

Example

Traditional Error Handling

func getUserData(id int) (data Data, err error) { data, err := fetch(id) if err != nil { return Data{}, err } return data, nil }

With `throw`

func getUserData(id int) (Data, error) {

data, throw := fetch(id) // Automatically expands to: if throw != nil { return Data{}, throw } moreData, throw := fetchMore(id) // Automatically expands to: if throw != nil { return Data{}, throw } return data, nil }
by karlperera | 2025-06-01 18:32:14+00:00
AI generated threats to cyber security are real. AI tools are being used to generate code faster and little or no tech knowledge is needed to carry out an attack. This was not possible before. Automated attacks are being driven with the help of AI too. APTs and deepfakes and many other forms of threats are now common. See: https://www.cshub.com/threat-defense/articles/cyber-security...
by dang | 2025-06-01 18:32:31+00:00
The topic is classic flamewar fodder which has a strong tendency to lead to degraded angry discussions, so it's understandable why users flagged it.

It's important to remember that [flagged] often says something about the comments rather than the article.

In this case, though, the author's good intention is clear and the discussion seems at least relatively fine, so we can take off the flags and I've done that now.
by akkartik | 2025-06-01 18:33:10+00:00
This is pretty much the answer.

- I made this little thing with 100 levels, each easy enough to do in 30 seconds to 2 minutes: https://akkartik.name/post/2024-10-26-devlog. My kid has zero patience for lecturing, and this is me trying to sneak through that filter.

- When you get to the end, it turns out you're pretty close to a game of Pong or Snake, and it's been interesting to see people build toward one vs the other. I've been obsessed with Snake lately, alternating between playing it and hacking on it: https://merveilles.town/@akkartik/114547652849162554
by codethief | 2025-06-01 18:33:55+00:00
Speaking of ACLs and grants, I wish Tailnet Lock[0] extended to those as well, i.e. allowed me to sign my tailnet policy file, so that if the coordination server and one of my nodes ever get compromised, the attacker can't just modify the policy file to access arbitrary services in my tailnet from the compromised node, including – in the worst case – SSH[1].

[0]: https://tailscale.com/kb/1226/tailnet-lock

[1]: https://tailscale.com/kb/1193/tailscale-ssh
by scarecrw | 2025-06-01 18:34:23+00:00
I've been increasingly concerned by packaged CS curricula that includes an overabundance of guidance and tooling. I've seen too many students complete a course (successfully!) and leave without any ability to start building projects of their own.

I don't want to end up as a curmudgeon griping about how "back in my day we didn't have an IDE!", as I'm in favor of giving students real world tools early, but I'm worried that we're filtering out some level of independence by sandboxing their learning so strictly.
by _DeadFred_ | 2025-06-01 18:35:12+00:00
I have the equivalent of a $500,000+ studio from my childhood, all in my laptop.

You are concerned about a 9600 baud protocol.

There is zero 'shame' on the 'present future' when it comes to music production tools. It is like one of the hugest bright spots/biggest equalizers. Best thing I did was go ITB. No headaches. No hardware maintenance on obscure hardware. No MIDI limitations or even considering of my MIDI chains. Just music making.
by stevenwoo | 2025-06-01 18:35:14+00:00
Anywhere, not just conflict zones. There was a decades long terror campaign against planned parenthood and other clinics in the USA and white supremacist nut jobs keep trying to start a race war every five to ten years with bombing and shooting sprees, the weekly school shooting in the USA, and there’s the using a vehicle worldwide for killing civilians by incels/fundamentalists of all stripes. This opens up a new venue for those inclined to act.
by doc_manhat | 2025-06-01 18:35:58+00:00
Conversely this is exactly why I believe LLMs are sentient (or conscious or what have you).

I basically don't believe there's anything more to sentience than a set of capabilities, or at the very least there's nothing that I should give weight in my beliefs to further than this.

Another comment mentioned philosophical zombies - another way to put it is I don't believe in philosophical zombies.

But I don't have evidence to not believe in philosophical zombies apart from people displaying certain capabilities that I can observe.

Therefore I should not require further evidence to believe in the sentience of LLMs.
by testing22321 | 2025-06-01 18:38:00+00:00
Yes, exactly. The world has changed around us. Only 200 years ago it was impossible to move faster than a horse, or go higher than climbing a tree. So “quick” and “high” were well know for hundreds of thousands of years across all languages. Now we have invented race cars and spaceships, that go a lot faster and higher, so those words don’t mean what they used to mean.

Similarly, We have now invented new lab concoctions that companies want to call “food” because it helps them make money, but it is a very, very different thing than what “food” meant 200 years ago.

Go to an uncontacted tribe and give them fizzy black liquid. No way in hell they’ll drink it, because that ain’t food, and it wasn’t for a few hundred thousand years.
Show HN: Yappus – Your Terminal Just Started Talking Back (The Fuck, but Better)
by mostlyk | 2025-06-01 18:38:13+00:00
Rust-powered, a terminal context manager for your instant needs to answers. Check the reddit post https://www.reddit.com/r/LocalLLaMA/comments/1kzansb/yappus_....

System Specific Installation at the link in github repo, you should be able to access it from there. Give me the feedback hehe
by pcthrowaway | 2025-06-01 18:38:55+00:00
I watched Andor having not watched much other Star Wars, and with vague memories of A New Hope.

I absolutely loved it. So much that I'm now watching the entirety of Star Wars film and TV in chronological order (I'm in the Clone Wars series now, before the timeline overlaps Revenge of the Sith, and I went out of sequence to watch Rogue One to see the conclusion of the cast from Andor). The full chronology can be found here[1], though I used a bit of JS to extract just the films, tv shows, and video specials as a markdown table to put in Obsidian

So as someone who can say I pretty much didn't have the context you claim is necessary to appreciate Andor, I can tell you that it 100% stands out as a masterpiece to people who are unfamiliar with the rest of the Star Wars lore.

[1]: https://starwars.fandom.com/wiki/Timeline_of_canon_media
by ninetyninenine | 2025-06-01 18:39:41+00:00
This is true fundamentally. It is not general. It is a fundamental facet of reality.

In practice it’s hard to determine causality so people make assumptions. Most conclusions are like that. I said this in the original post that conclusions from observation alone must have assumptions made. Which is fine given available resources. If you find people who smoke weed have lower iq you can come to the conclusion that weed causes iq to lower assuming that all smokers of weed had average iq before smoking and this is fine.

I’m sure you’ve seen many causative conclusions redacted because of incorrect assumptions so it is in general a very unreliable method.

And that’s why in medicine they strictly have to do causative based testing because they can’t afford to have a conclusion based off of an incorrect assumption.
by chandralegend | 2025-06-01 18:39:55+00:00
As a Lead AI Engineer, I’ve seen how big companies like UHG and Optum need their AI agents to be predictable. They have strict security and compliance rules, so they can’t use solutions that give different answers each time. Old rule-based systems are reliable but not very flexible. Pure prompt-based agents depend too much on the model: change a prompt even a little, and the agent can act differently. You also have to grant the agent access to all tools at once, which can create security and maintenance headaches. Working as a team is tough, because if someone tweaks a prompt, the entire agent can break.

NOMOS solves these problems by giving you a clear, step-by-step way to build AI agents:

• Step-Based Architecture: Break the agent’s work into separate steps. Each step handles one part of the task, so you know exactly what happens at each stage. • Tool Access Control: Only give each step the tools it needs. This keeps the agent safer and follows security rules. • Multi-LLM Support: Easily switch between models like OpenAI, Mistral, or Gemini without rewriting your steps. • Production-Ready: Includes session management and scaling options out of the box, so you don’t have to build those from scratch.

Because each step works on its own, different teams can work on different steps at the same time without getting in each other’s way. From quick tests to full-scale deployment, NOMOS grows with your needs.
by SOLAR_FIELDS | 2025-06-01 18:40:49+00:00
Am I misinterpreting like, the entire body of the article?

> For private services inside your tailnet, like internal tools, implementing auth on every app is overkill. That’s why we developed tsnet, a Go library that embeds Tailscale directly in your applications. This lets you see and react to the identity of every user who makes a request to your app. So, authentication is handled…what about authorization?

The article then proceeds to show how to modify an application using tsnet to embed in the application. Which sounds a whole lot like modifying the application. The point might be that it’s more straightforward to do this then gate behind something like keycloak, but fundamentally it still requires modifying the application
by tantalor | 2025-06-01 18:41:27+00:00
You don't understand what implicit conversion is.

The Mars Climate Orbiter failed because an input was given in Newtons but expected in pounds, and the type of the variables was the same (float or whatever), so the compiler could not detect or prevent the error.

The root cause was using the same types for incompatible data, which allowed operations which should have been illegal.

If the variables had different types, then the compiler could use implicit conversion to automatically convert Newtons to pounds, and failure would be averted.

Implicit conversion does not allow mistakes to "silently propagate". It prevents the mistake in the first place.
by hungmung | 2025-06-01 18:43:49+00:00
Here's a pretty good article which is by no means exhaustive.

https://www.theatlantic.com/magazine/archive/2023/06/canada-...

One of the more surprising stories about MAID involves a Canadian veteran and paralympic, who was entitled to have a wheel chair lift installed at her home, and was instead offered the equipment to end her life because the lift was too expensive. This was something Trudeau had to address:

https://www.independent.co.uk/news/world/americas/christine-...
by dylan604 | 2025-06-01 18:44:08+00:00
> interestingly, increase satellite drag.

was reading something about this last week. originally, I assumed that the satellite electronics were getting whacked, but that wasn't the actual reason. these storms can heat the atmosphere causing it to expand/swell during the heating which causes extra drag requiring faster than anticipated use of fuel for station keeping.

just another one of those issues of just how everything in the universe "works together" in the most interesting ways.
by thornewolf | 2025-06-01 18:44:14+00:00
> is qualitatively different from a robot

yes.

> To reduce a system to its inputs and outputs is fine if those are all that matter in a given context

we argue that this indeed is all that matters

> but in doing so you may fail to understand its internal mechanics

the internal mechanics are what we call "conscious" it is the grouping of internal mechanics into one unified concept, but we don't care exactly what they are.

> Those matter if you're trying to really understand the system, no?

since we cannot directly observe consciousness, we are forced to concede that we will never really "understand" it outside of observing its effects.

In the same way that a mechanical turk human and a robot can "play chess", a human and an LLM are "conscious". That is, consciousness is the ability to play chess, by some mechanism. The exact mechanism is irrelevant for the purposes of yes/no conscious.

We now enter a discussion on how much these two consciousnesses differ.
by Slenth | 2025-06-01 18:44:33+00:00
At least in my case, that last paragraph holds true. In 2022 I discovered my small town had a few places with big collections of pinball machines. I went from playing a few games after time at the attached bar to skipping the bar and spending hours figuring out the tables, watching videos on how to exploit them, etc. Even though a couple of the places had the same machine, it played totally different depending on which place it was at. Slanted floors, warped playfields, old solenoids on flippers and slingshots all mattered.
by K0balt | 2025-06-01 18:44:51+00:00
Yeah, AI “consciousness “ is much stickier problem than most people want to frame it.

I haven’t been able to find an intellectually honest reason to rule out a kind of fleeting sentience for LLMs and potentially persistent sentience for language-behavioral models in robotic systems.

Don’t get me wrong, they are -just- looking up the next most likely token… but since the data that they are using to do so seems to capture at least a simulacrum of human consciousness, we end up in a situation where we are left to judge what a thing is by it’s effects. (Because that also is the only way we have of describing what something is)

So if we aren’t just going to make claims we can’t substantiate, we’re stuck with that.
by jrockway | 2025-06-01 18:45:27+00:00
They use hujson: https://github.com/tailscale/hujson

But it doesn't accept things like the example that omits an intermediate comma:

{ "foo": 42 "bar": 123 } > hujson: line 3, column 5: invalid character '"' after object value (expecting ',' or '}')
by luckylion | 2025-06-01 18:45:37+00:00
Would you trust cloud providers to never slip up though? I don't think the split is "perfect but pricey" vs "less expensive but shaky". It feels similar to the autonomous driving question, where safety of autonomous driving is often compared to perfection instead of human drivers.

Would UniSuper engineers have trashed their entire infrastructure the way Google Cloud did? Granted, that's not a common thing to happen, but they got _very_ lucky that day that they had a backup elsewhere and didn't fully commit to trusting Google.
by hinkley | 2025-06-01 18:46:06+00:00
We were getting hammered on nofollow links. Someone made a change to stop putting the nofollow in and using JavaScript to traverse on interaction, but that person left sometime after the toggle went in and we discovered it had never been turned on much later, when we were rearranging our ingress load balancer and needed to tweak how we handled bot throttling. That was at least 10% of the requests during peak traffic and extended the duration of the crawls by a lot. So dumb.
by chili6426 | 2025-06-01 18:46:10+00:00
Not a parent, I was a kid to a software developer and now I'm a software developer. I think the most important thing is nurturing curiosity. Whenever I wanted to know how something worked my dad would show me. Eventually I figured out how to learn things myself and it snowballed into the career I have now. I never felt dumb asking questions and now learning is my favorite thing to do. I was never taught to code, I figured it out myself using the curiosity my parents gave me.