skysight-inc/HackerNews huggingface dataset:
I still don't get how Discord can be secure - I suspect it can't. Just the fact that the forums are persistent, and controlled by a third party, and the client is closed source means people on there can be compromised at any point incredibly easily, VPN or not.

Just something as simple as using a cookie or local storage can leave permanent traces behind so all the access can be easily correllated.

I'm not even sure if serious infosec measures exist to stop this, and if they do, someone is bound to slip up and they need to do it just once, and expose the whole chatroom.

I'm not a hacker but this sounds like failing Opsec 101, and people getting by just with sheer luck.
Why is this concerning? Note, it seems to me like their reference to "ubermensch" is to the Nietzschean definition [0] and not the Nazi remix.

[0] https://en.wikipedia.org/wiki/Übermensch
Craftax: (Crafter and NetHack) RL Environment in Jax
Why do you prefer that to using a graphics card know to be stable under Linux?

The simplest thing is to buy a machine with Linux preinstalled.
By that same token, there’s no reason for you to expect kernel developers to adopt a different way of working either. Their time is even more valuable than yours.
I don't agree with our friend's equation of then and now, but here is some information about Andrew Jackson.

https://en.m.wikipedia.org/wiki/Andrew_Jackson
Can't compete with that!
It is easier to make a flying machine than it is to make a machine that flies by the exact principles that birds use to fly (with flapping wings and such).

Do you have an argument for why general intelligence couldn’t be like flight in this way? You just said that it is obvious. I do not share this intuition. Could you give an explanation for why you expect it to be unlike flight in this respect?
Usually it's a good thing, yes. Because you are forced to communicate clearly, cut the jargon and not dump your stream of consciousness. Instead you pay attention to whether what you're saying is of any value to another person.
There is something beautiful about global, mutable state:

Your program must be really small and scoped for this to make sense.

Also, kudos for providing so many corner cases to avoid that are non-trivial to formulate.

It feels like one of those "it's not impossible to do right" cases.

I'll just cite one evaluation point from the post:

> It's extremely easy to use incorrectly.
ADA is really great. You can use it to safely blow rockets up in the air.
That shouldn't give them any more merit that their current iteration deserves.

You could say the same thing about spaceships or self diving cars.
How? If you price something at $1.03 so that it rounds up to $1.05, someone who buys two will get it rounded down to $2.05
Linux Patches Adjust AC Plug/Unplug Behavior During S2idle to Match Windows
Of course it’s tainted. The whole thing will be ‘trust us.’ The only source of most of what has been claimed to be ‘found’ so far is Musk’s Twitter account. Journalists cross referenced his first claims and found they were BS, so Musk will just get rid of the place people can cross reference. How this is ok with anyone, regardless of how they voted, is beyond me.
To buy a Tesla Model 3, only to end up in hell
The world’s richest man got handed this mandate by someone that was elected by millions of US citizens and he explicitly told them he will do this. Enough people in the US want to see this happen.

I don't know if enough people would not agree to highly tax the corporations if they're themselves out of work and need the money to survive.
Yes, perhaps I wasn’t clear — I’m advocating for just the inlined version, not the nested function in the general case.

The nested function is, I think, fine when it’s so tiny it’s not worth unit testing (like, it-could-have-been-a-lambda small) or when bar is returned by foo (ie foo is higher order), in which case you can test the return value. Apart from that… restraint!
The average European employee's workday
You're assuming that not just one of them, but both of them, will be acting rationally. There's plenty of evidence to suggest both of them are capable of acting extremely irrationally.
> There's an awkward silence as he mentions it

... other than the scream and the applause?

https://youtu.be/TM_WzFnmtac?t=87
I'm waiting for one to compile as I type this comment. I'm working on a C++/ImGui/OpenGL FOSS application with lots of user-configurable state. I wanted to add to my existing top menubar a new dropdown which allow for managing options which are already defined in AudioSourceService and LayoutStateService. It took me about 10s to type out the prompt, much longer than it's taken me to type this comment. For posterity, the prompt was -

"Add a new menu dropdown for Audio which has options for Start/Stop Analysis, a selector for Audio Source, and a toggle for Enable Ableton Link"

Automatically included in the prompt were the entire bodies of the relevant .cpp files, maybe ~2000 lines in total.

Produced were 25 lines of code which otherwise would have probably taken me ~2-5min to type. The code is effectively deterministic, I knew exactly what I wanted but decided to apply my finite mental battery in writing a prompt instead of those 25 lines. The code was instantly inserted into the file I already had open and has since built and run, doing exactly what I wanted.

--

I think tools like Cursor are best employed for devs working on solo projects or for projects for which they already have a good mental model of the entire system and can ask for code which they're immediately able to validate the correctness of. I understand that many devs, perhaps yourself included, don't work on projects in which that'd be the case, so I definitely understand when one wouldn't find these tools useful.

I also think they're best employed by people who find writing English very effortless. It's unusual for me to write code which I wouldn't faster be able to describe out loud to someone, I appreciate this isn't a trait all devs are blessed with. I've worked with plenty who would take longer writing a detailed description for a ticket than they would coding the PR itself. As with nearly every software tool, YMMV. Hope this has been helpful!
Do you have so little faith in humans' capacity to make Earth uninhabitable? There's no value to you in putting a few eggs in another basket?
> [about Ada] You never miss worrying about whether a parameter is passed by value or reference

Uh? I thought that Ada suffered from the "aliasing issue"(1): given that the compiler choose whether to copy or alias, there is a risk that the semantic of your program change when the compiler/optimisation change, am I wrong?

1: if you have a function with two parameters, one "in" and the other "inout" and you pass the same variable to the two parameters.
Great write up of what is presumably a truly great lecture. Debating trying to follow the original now.
>>I would like a source please.

> Sure. Off the top of my head from a previous conversation about aid(?) to Mozambique[1], that's $83.5 million.

> That's probably one of the better examples because I think that fighting STDs is an honorable cause, but $83.5 million when we're both trillions in debt and have pressing concerns at home? Yeah no, we need to help ourselves first if we can spend that kind of money on a whim.

You are aware that this sort of aid is part of the US foreign policy to get support for initiatives? Do you really thing the US would be in the position that it is today if it wasn't for the money they spend overseas? I mean do you think the US would have won the cold war if it wasn't for the Marshall plan?

> Am I actually correct in assuming y'all are trying to tell me I shouldn't care that my taxes are being wasted just because the sum is relatively small? Emphasis on relative. I really want to avoid attacking someone on that because it sounds so disingenuous, but it's increasingly hard to do so.

> Tax dollars are a sacred resource, provided by the sweat (and possibly blood) of American taxpayers. As a taxpayer myself, I will not tolerate seeing my and our taxes spent so flippantly.

So why are you not shouting about Trump having the secret service pay $2 million to stay at his golf clubs? Is that not spending taxes flippantly?
That's actually a great argument in favor of Zig over Rust. I assume Rust automatically writes code equivalent to this for you:

```
defer {
for (list.items) |str|
gpa.free(str);
list.deinit(gpa);
}
```

When it's spelled out like this, it becomes obvious to the reader that maybe this is the wrong allocation strategy. Maybe the whole thing should go in an Arena. Or, similarly, maybe there should be an ArrayList that holds all the character data that your string ArrayList indexes into with a u32 (or points to with pointers, if you want to update all the pointers on resize). Regardless, I'd be skeptical of code where each string has a separate lifetime even though all the lifetimes could be tied.

Rust makes classic (bad) allocation strategies automatic. Zig makes good allocation strategies more attractive than classic (bad) allocation strategies.

More succinctly: Rust makes bad code safe, Zig makes good code easy.
This is because pectin in the fleshier fruits will be metabolised into methanol, which isn't very good for you.

Grapes are less of an issue.
Just tried it for German. The cards gave me the word without their article. Because grammatical gender is so important and impacts so many aspects (adjectives, case markers, etc), you really should learn the word with the article, otherwise you'll be in a world of pain later.
You may as well just use a singleton pattern if you're going to do this, and at least that's easier to maintain if your use cases change.
Not so much thinking - but actions. Roll up your sleeves and take ownership of issues and understand it as best you can before asking for help. If you ask for help then you should be able to say "I think this does ..." rather than "I dont know how this works"
> If not for the political implications, I doubt that anyone would be interested in the teenage antics of a script kiddie.

You said it. There are political implications of granting major federal security clearances to someone who the evidence suggests has been fired for leaking internal documents to competitors and soliciting DDoS services less than a year ago.
Thank you very much!

I have been attempting to compare Ada and Rust for a while, but never got around to doing it quite so much in depth.

So, my take on this is that:

- out of the box, Rust is distinctly better at memory safety than Ada without SPARK

- Ada + SPARK is extremely powerful (but iirc, SPARK doesn't allow compositional reasoning, which makes it harder to use in a crate-based library)

- for this specific use case, Rust's error model makes much more sense than Ada's (with or without SPARK)

- Ada's tooling to avoid memory allocation remain more powerful in some dimensions than Rust's.

Also, I think that we all (should) agree that the move towards memory safety in system-level programming is a very good thing, whether it comes through Rust, Ada, or any other language.
I think a large part of it is ideological. A lot people are convinced that private companies are cheaper and more efficient than the government when it comes to just about anything and won't listen to any nuance.
Not to mention it's not even their job in this case. They're likely doing some data analysis.
>No part of the Executive Branch, of which the Treasury Department is a direct subordinate to the President, is off limits save for Social Security, et al. as mentioned.

firstly, that's not how the treasury works. secondly; Yeah, I don't trust them. if they just want to break into classified areas, who's gonna stop them from touching social security?

>nd hopefully we will see all that brought to fruition soon along with all the other things.

How soon? He passed 100 EO's day one and couldn't add in a price control for eggs, probably with a huge subsidy to make up for loss revenue? He had the priority to remove intelligence members who "conspired against him" but can't take the time to make sure DOGE is appointed as usual? He could give a half a trillion grant to AI but also wants to "reduce spending"?

His actions do not agree with his words. And of course some of his actions are beyond his control. He can't force the FEDS to reduce the interest rates (not that that would lower inflation. Quite the opposite).

>If this leads to NATO and other "allies" whining something fierce, well I don't really care.

Well I'm glad you're accepting of World War 3. I'm not going to acquiesce as easily.

This also isn't 1850, so if we have a Civil War 2 we will not survive whoole. Whoever "wins" gets overwhelmed by China and we lose a huge chunk of America to the East. At the very least we no longer have a "West Coast" and we're in a trade nightmare. NATO won't help out because we decided to piss them off and dismiss them as "crybabies". Canada won't help out because we keep pissing them off because "tarriffs" is trump's favorite word in the dictionary (his words, not mine); heck, Having China as a nearby trading partner would probably benefit them more than US at this point.

I live on the West Coast so I care a lot more about that than you would. I don't want my house under Chinese territory just because you're mad about not being on the congress board to argue over spending. That issue is fixable for you if you wish to go that route. The way our geography is basically means we need to defend all of North America at the bare minimum. defending a continent isn't cheap.
Also "you literally can't install without a Microsoft account unless you know the magic incantation to open the command prompt in the installer (Shift+F10) and the command MS provided for some reason to allow you to bypass connecting to the Internet ('OOBE\BypassNRO')".
Show HN: A curated list of SaaS related directories to submit your SaaS for free
If any directory missed, just send a PR
The software landscape is transforming!Affordable large language models, like #DeepSeekR1, are shaking things up. The future belongs to the monkey-troop-like collaborative software ecosystem.
Very refreshing blog post in our era of attention craving.
I often wonder if work experience on your resume pre-2023 will become a hot commodity for employment in the coming years.
Show HN: Focu, open-source mindful productivity app for macOS
I've been building Focu, a mindful productivity app for macOS, these past months. As someone diagnosed with ADHD and depression, it's been super helpful to journal daily and use an AI to reflect and get feedback. It's not a replacement for therapy, but it sure has been complementary.

The app uses Ollama to provide the user with a locally running AI, the downside is that it does require a powerful device, but I've had super good results with Llama3.2:3b which is not too heavy to run at all.

I'm using Dexie.js to store the data in IndexedDB although I'm considering moving to "file over app". The app can automatically backup your database in any folder you choose though.

I'd love to hear your feedback and feature ideas!
Forget singularity, do you think the robotics problem is genuinely hard enough that if we devoted significant amount of intelligence to it, it would not get solved?

>any day now Optimus will become sentient and replace home builders.

I think you're kidding about being "sentient" but it feels like they just have to get somewhat good at a very few tasks and we would be able to automate some large swath of manual labour. We don't need that many fancy tricks to get there.
A lot of people are already reporting significant speed ups in Bio research, why wouldn't we see that in robotics?
The human factor doesn't just come out of nowhere.
Does this also apply for shaders? And is it even useful given the enormous variation in hardware capabilities out there. My impression was that it's all JIT compiled unless you know which hardware you're targeting, e.g. Valve precompiling highly optimized shaders for the Steam Deck

(I'm not a grapics programmer, mind you, so please correct any misunderstandings on my end)
But there are not only political implications, but political implications which align with exactly the recurring concerns that keep coming up with the administration which employs him.

The administration which just fired pretty much the entire national security council as first order of business.

What Olympic leaps are actually required here to be concerned?
Software can take a freeride of hardware improvements. GPT wrappers also can take a freeride of foundation model improvements.
Bill Kristol, a right wing neo-conservative and ideological heir to Buckley, also had his funds publicly cut. Similarly, there are allegations against Liz Cheney. These are two examples that immediately spring to mind.

Attributing it to a purely right-left battle misses the larger picture. There are entrenched bureaucrats which have successfully moderated and turned away reforms. Some of these creatures of "the swamp" receive self-perpetuating funds from USAID.

The culture war stuff is largely a distraction. When USAID funds a trans musical, it isn't about the musical. There may be elements promoting the trans ideology, but this is tertiary. The real meat is building influence coalitions, protest groups and outright payment of graft. These favors can be called in later to advance the policy of the "swamp creatures". This could be trade deals or any agreement in which this opaque coalition has an interest.
There's no moat in any of it, but it's not like it matters much if you're not one of the major platforms. This is not a weather for sand-castle builders, it's a weather for surfers. LLM winds a-blowin, pick a wave to jump on, ride down the profits gradient until it's spent, jump to another. It's a time for a million products to bloom, each promising stars, every one gone in 10 months.

I'd be more worried about platform dependency at this point. The ol' adage about building your business on someone else's API applies, doubly so in the current geopolitical climate. All those hot AI startups are but a single executive order away from losing half their market, or getting erased from existence altogether.
The state of Rust trying to catch up with Ada [video]
I'm not going to second guess IQ, who is one of the greatest modern authorities on shaders, but I do have some counterarguments.

- Due to how SIMD works, it's quite likely both paths of the conditional statement get executed, so its a wash

- Most importantly, if statements look nasty on the screen. Having an if statement means a discontinuity in visuals, which means jagged and ugly pixels on the output. Of course having a step function doesnt change this, but that means the code is already in the correct form to replace it with smoothstep, which means you can interpolate between the two variations, which does look good.
That's a pretty low bar. What would be less safe than c?
I think the dupe detection works only if there had been substantial discussion before, which none of the previous three had in this case.
Because non-Nvidia GPUs almost universally suck for anything besides gaming? (and even then if you want stuff like RT).
> Ukraine and Poland will take Moscow.

Why?

What would be the point?
There's a great exploration of this concept in Permutation City, a science fiction novel by Greg Egan. In the book, a deterministic human brain is simulated (perfectly) in random-access order. This thought experiment addresses all three of your arguments.

I don't see why something that doesn't exist some of the time inherently couldn't be conscious. Saying that something's output is a function of its inputs also doesn't seem to preclude consciousness. Some humans don't have persistent memory, and all humans (so far) don't exist for 99.99999999% of history.

I'm not trying to claim a particular definition of consciousness, but I find the counterarguments you're presenting uncompelling.
To complete what you write, the people in the room during the design of Rust were all very much aware of memory-safe languages. Rust was largely designed by putting C++ developers (who were tired of undefined behaviors) and ML developers (who were aware that ML was not great at system programming) in the same room and have them negotiate a language together, in the hope of producing something that would convince C++ developers to migrate to something less risky.

I kinda vaguely remember Erlang being mentioned, but I don't recall Ada being discussed. To be fair, I didn't attend many of these conversations.
For open source model claiming SOTA performance, we could at least check for data leak from its training data.
/smile
I find the history much too unorganized to be useful. That's why I made playbooks https://github.com/laktak/tome

ymmv but I prefer this to searching.
> which is dubious on its own terms, by the way, as we don't really have a complete picture of human learning and the assumption that it simply follows the mechanisms we understand from machine learning is not a null hypothesis that doesn't demand justification

The argument I made in no way rests on a "complete picture of human learning". The only thing they rest on is lack of evidence of computation exceeding the Turing computable set. Finding evidence of such computation would upend physics, symbolic logic, maths. It'd be a finding that'd guarantee a Nobel Prize.

I gave the justification. It's a simple one, and it stands on its own. There is no known computable function that exceeds the Turing computable, and all Turing computable functions can be computed on any Turing complete system. Per the extended Church Turing thesis this includes any natural system given the limitations of known physics. In other words: Unless you can show knew, unknown physics, human brains are computers with the same limitations as any electronic computer, and the notion of "something new" arising from humans, other than as a computation over pre-existing state, in a way an electronic computer can't also do, is an entirely unsupportable hypothesis.

> and it needs to be addressed wherever possible that the ontological question is not what matters here

It may not be what matters to you, but to me the question you clearly would prefer to discuss is largely uninteresting.
The Metamorphosis of Open Source: An Industry in Transition
TL;DR "We are moving toward a new model that transcends the traditional definition of open source. The stories we’ve seen suggest that the future lies in more explicit value exchanges between stakeholders. We will likely see more tiered licensing systems and hybrid models that balance commercial interests with community benefits."
Their best option, and the option they will surely take, is to refuse the request
I was mentoring at a hackathon this weekend. Someone asked how they could integrate a certain open source pentesting agent into their tool.

I asked them, "Well, it's open source. Instead of making a bunch of adapters, couldn't you just copy the code you want?"

Turns out the whole agent was 11 files or so. The files were about 200 lines. Over half were just different personas to do the same thing. They just needed to copy one of the prompts and have a mechanism to break the loop.

The funny part with open source is nobody reads the code even though it's literally open. The AI pundits don't read what they criticize. The grifters just chain it forward. It's left-pad all over again.
Disaggregated OLTP Systems
It feels like every major lab is saying the same thing:

https://darioamodei.com/machines-of-loving-grace
https://www.wsj.com/video/events/the-race-for-true-ai-at-goo...

Even folks _leaving_ OpenAI, who have no incentive to drive hype, are saying that we're very close to AGI.
https://x.com/sjgadler/status/1883928200029602236

Even folks like Yoshua Benjio, Hinton are saying we're close to it. The models keep getting better at an exponential.

How much evidence does one need to dispel the "this is OpenAI/sama hype" argument?
The guy who bought a DDOS and got fired from an anti-DDOS company for leaking secrets to a rival is an ex-Wall Street multimillionaire's son. He's never going to fail any way but up.