skysight-inc/HackerNews huggingface dataset:
It's not that Go doesn't provide escape hatches out of malice, it just doesn't really _have_ them. Its GC is very simplistic and non-generational, so pretty much all you can control is the frequency of collections.
Understanding programming peculiarities [video]
Also, when the nature of an intense polarized issue about things of great importance overlaps into the things Hacker News is about, that's when to try very hard to study what's happening. What's happening with modern media is Hacker News-adjacent. What's happening in how modern world wars are fought is Hacker News-adjacent.

When the mechanics of how these things are put into play, begin to affect not only Facebook, Twitter etc but also Hacker News itself, that's very much Hacker News-adjacent. It's a meta sense where control of the discourse becomes not only the ground but also the figure.

Hackers are eager to think they, like the internet, will route around any censorship. If their ways and belief systems are studied to the point that flagging and argument becomes able to unilaterally censor discourse against the wishes of the hackers, that's when your action of picking a thread and taking pains to unflag it and attempt discussion anyhow, becomes the right thing to do :)
It was designed for this. The safeguard is supposed to be Congress protecting their own powers out of self interest. They aren't. That's the where the "framers" screwed up.
I do not understand the need to never-leave-the-browser especially with modern window tiling, but I respect it as a preference that other people have. As for syncing I just use file sharing (Syncthing), I hardly live collaborate on documents and if I did everyone else in the group ended up doing the typing. Otherwise it’s write then get reviewed then reiterate. So unfortunately nothing about the online text editors really strike my fancy. I also find the browser almost too distracting and often get sidetracked while using it for research during writing time.
Just for a giggles, what projects do you work on that require such variation in tooling where something like this becomes worthwhile?

I always see these type of arguments for why nix is so great but it’s never been a pain point for me in 10+ languages and 20 years of development experience. I see your example of bash scripts but this can’t be all for writing scripts.
> Their only real competition in that would be someone developing a 'her' like app that takes people out of social media and into their own individual silo'ed worlds

I take it you have not tried the new Gemini models on ai studio? It does real time streaming video input and conversation you can genuinely ask it questions about what you are looking at in a conversational audio in-out way. This is basically "her"-level technology in an unpolished form, right here today.
Good managers help but you’re ultimately responsible for your own career/reputation.
> The average age is definitely higher than 25 though.

The mean age is definitely higher than 25, due to a handful of very old (relatively speaking, compared to 25) people including Musk himself.

The median age does appear to be below 25.
I code with LLMs these days
I don't even mean this as an insult, but these people are quite literally in a cult. MAGA has all the hallmarks of a cult, and accordingly, you will not find the contrition or self-doubt you're looking for penetrating deeply into the movement whatsoever.

They chose long ago to block out negative thoughts and information, today is no different.
I'm as sceptical of DOGE as the next guy, but this is just silly. Extremely alarmist title easily dismissed by checking the readme:

> The generation script (generate.py) enables the generation of semi-randomized ballots that fit certain satisfiability criteria. We use these sample ballots as tests for model functionality.

Yes, sure, this could easily be reworked to subvert democracy bla bla bla but it looks like this was part of a university project or similar from 2020, I think we can try and take this in good faith. Save the ragebaiting for the really harmful stuff.
It's thanks to this kind of guidance that HN survives as a focused technical hivemind.

At the same time, issues of this kind of revolutionary scope are important for users to process. We can learn a lot from each other.

Irrespective of politics, it's necessary to hedge systemic risk that's appearing due to destabilization of the US. That affects so many of us that it's hard to ignore.

Keeping some persistent outlet (front page post) for discussion of this major topic is important to give people a politically agnostic and technically proficient space to integrate what's happening.

Thank you for filtering the noise and fear with the posts.
the quality of this code reminds me of mine 10 years ago
Some still exist, but this is less and less true over time. Even when a requirement is called an "exam", it isn't what a high-schooler would recognize as one.

Many of the exams described on this page are personalized and only require mastery of a handful of papers that really matter to the individual student, and knowledge of related work:

https://www.cs.stanford.edu/phd-program-requirements-qualify...

I've been through something that sounds similar to these, and I would not have called it an exam.
I think Texas has some recent law that could be interpreted as being against twinning tech / deep fakes like the voice cloning. ¯\_(ツ)_/¯ seems like a good time to "ask the lawyers" and "not make a not political statement"

Even a passing glance it would be immediately clear that it's not a real risk of any sort.
> Small studio movies will rival Pixar...

If you think Pixar is Pixar solely because they have an in-house software stack, you're missing the forest for a small shrub.
I hung around with some guys like this too. I wouldn't trust them with even a trivial amount of money. They threw some fun parties though.
I’ve never heard anyone say Meta is the good guys. It ranks worse than Oracle in my book.
But where this particular article is from Brian Krebs, a niche reporter on hacker news, and bringing SNI, significant new information to the table, why flag this one? The broader strokes of what's going on is obvious, but this particular article is a specific detail of a detail, from a source that is relevant to tits community, and not a generic breathless CNN or Fox News "something happened today"
Squeezing Pi from 122 Bits of Lambda Calculus
Reasoning is the art of prediction. Reasoning is distilling many observations of reality into a tiny model of reality that predicts new observations well enough. "What's the simplest model that explains most of what I'm seeing?" is the main question our mind tries to answer. When the art of creating such models is mastered, we pattern-match new problems to our models and use them to predict the outcome.
Using Haskell to play music on 3D printer motors (2020)
> walled gardens

Apple tried that and it’s crumbling. Meta/Zuckerfuck is always behind the curve.

- AR (failed)

- “metaverse” (failed)

The only thing that has kept them above water is social media and selling off user data, and that’s crumbling as well. Smaller players have been eating their lunch and the user base is aging out.
https://archive.md/y7LWE it's already been confirmed that they access classified information in usaid and social security / Medicare elsewhere.
Whose side is currently dismantling the government to profit a few billionaires? Whose side is doing nazi salutes at rallies and giving white supremacists illegal positions of power (see the political views of the aforementioned individual named "bigballs" in the article above)? Neither court nor congress will attempt anything on Trump or Musk anymore. They are going after judges and journalists who dare report what they are illegally doing.

It absolutely is and always has been a "just one side" issue. Fascists are consolidating their powers by the day but somehow it's on progressives to be more civilized?
Punch-Out's Mike Tyson has been defeated in under two minutes
Regarding streaming replication, these days you might want to also consider a “disaggregated storage-compute” setup, like AWS Aurora, or Neon (which is open-source I believe).

Re partial indexes - those are great, though you have to be careful to keep them updated as your queries evolve. E.g. if you have a partial index on a set of enum values, you should make sure to check and potentially update it whenever you add a new enum variant.
As a side note: that is very similar to how a consulting team would operate. Very young (inexperienced) team on the ground + senior people flying in from time to time.
Ada is also C++ but safe, so I don't see that as a refutation.

Ada has been a great language for lower-level code by my (modern) standards. I'm not sure what you're on about and the lack of concrete examples make it hard to guess.
The downside of this approach is that the publishers don't want to remake their business model, so they make the subscription fee so high that they couldn't possibly ever lose money on people they don't track.

Then even the small part of the population that would consider going through the process of adding yet another subscription to their life either leaves or consents to tracking, because who's going to pay 5 EUR (and Heise is pretty "cheap" compared to some) for access to one article?

I would not be so angry with the concept if the costs, and the effort necessary to pay, was more in line with the income from personalised ads. Pay two cents per view with the push of a button? Sure. Pay 2 EUR for a week of access? Maybe. But so many publications want me to pay almost a print subscription price for any access, clearly showing they don't intend this as a real alternative.
- wants PhD knowledge
- pays like $100-500 per question
Can you explain what you find Nefarious about this project that's clearly from a hackathon?

"With an emphasis on social distancing and remote engagement as a result of the COVID-19 pandemic mail-in voting surged from 24.9% to 50.3% of ballots 1 in the 2016 and 2020 primaries, respectively. This surge will also trigger an unfortunate increase in ballots rejected due to the avoidable human error; we’ve already started to see the effects, with half a million ballots rejected 2 in the 2020 primaries. As first-time voters, this issue is extremely critical to us as our generation seeks democratic representation. In an effort to reduce rejection rates, we introduce BallotProof, a methodology built for faster, smarter, and more secure validation of ballots."
This is for testing a ballot verification system.

> The generation script (generate.py) enables the generation of semi-randomized ballots that fit certain satisfiability criteria. We use these sample ballots as tests for model functionality.
Surely you can grep the data model that react uses to populate the app though - whether database or otherwise?
Worth noting that this kid did this black hat shit like 3 years ago, not 30. This isn’t the kid’s past; this is his very big present.

We should be judging someone’s recent behavior and possible skeletons when it comes to a security clearance. Otherwise, that’s how someone is able to be compromised.
HRC was insentiviesed to use the strategy is why it’s an emergent behavior.

That's not what emergent behavior is... Emergent behavior is unexpected behavior that occurs as result of the addition of new rules or variables into a system arising from unexpected local maxima created by the confluence of those new rules/variables.

Parties trying to get a disliked opponent to win the opposing primaries has been a strategy since the very beginning of the U.S. party system in the late 1700s. They do it because it can be very effective. Case in point: the GOP and Fox News urged Biden to run for re-election in 2024 because he was so unpopular his campaign virtually guaranteed that whoever the GOP candidate was would win. Similarly, the GOP has spent extensive resources supporting Jill Steinman and Bernie Sanders in the last 3 presidential elections, and in 2 of those elections the margin of votes those candidates got in battleground states was enough to give them the win.(Contrapositive: Obama was the pied piper candidate in 2008; Fox News promoted him with the expectation that the GOP candidate would have an easy time winning and if McCain hadn't completely bungled his campaign that likely would have been true. )
Let Constraints Drive Consistency
Not so! From a scientific perspective the result you can achieve matters, no one is a blank slate.

For humans this is true as well. The way you teach matters. Look at how the bell curve got absolutely demolished for example when math was taught this way:

https://archive.nytimes.com/opinionator.blogs.nytimes.com/20...
If we end up with yet-another interchangeable flamewar about $BigTopic, that will only confirm that the flaggers were right'

No it won't. That would only be true if the flaggers were disinterested judges who never comment. You're projecting your desire for a good civil discussion onto them without considering the possibility that any of them could be flagging or commenting in bad faith, ie with a view to shaping the outcome of the discussion rather than optimizing the quality thereof.
The .NET GC is impressive in its ability to keep things running longer than they probably should.

In most cases with a slow memory leak I've been able to negotiate an interim solution where the process is bounced every day/week/month. Not ideal, but buys time and energy to rewrite using streams or spans or whatever.

The only thing that I don't like about the .NET GC is the threshold for the large object heap. Every time a byte array gets to about 10k long, a little voice in my head starts to yell. The #1 place this comes up for me is deserialization of large JSON documents. I've been preferring actual SQL columns over JSON blobs to avoid hitting LOH. I also keep my ordinary blobs in their own table so that populating a row instance will not incur a large allocation by default.

How much of the .NET GC's performance is attributable to hard coding the threshold at 85k? If we made this configurable in the csproj file, would we suffer a severe penalty?
Yup, ask no questions. That's it. That's their entire game plan. That no one will dare question their intellect. What's the point after seeing what happened with the USAID spending and news subscriptions? As the kids say, "we're cooked."
Even without the leverage, I think that former teenage hackers turned pentesters or three-letter-agency adjuncts are hired for specific skills on the understanding they're being watched and they're probably not getting access to much more than a sandbox or adversary data and the money and freedom's all in scrupulously obeying the rules

That feels a little different to hiring people with cracking credentials for auditing jobs, giving them full access to extensive government records (and possibly the right to backdoor them) in a move fast break things environment on the understanding that they're probably above the law and they're less likely to be punished than anyone barring their way.

I doubt the success rate of converting teenage tearaways to scrupulous white hats in boring businesses is 100% either....
It depends. If the code flow is uniform for the warp, only side of the branch needs to be evaluated. But you could still end up with pessimistic register allocation because the compiler can’t know it is uniform. It’s sometimes weirdly hard to reason about how exactly code will end up executing on the GPU.
I couldn't believe that either. The RTX 3090 comes out sept 2020. More importantly, the final form of the GA102, the A6000/A40 (with 48GB of RAM, every single cuda core enable and $5k+ MSRP) comes out a few days later. We were well past the point of Nvidia market segmenting out its best parts for server. The DGX was on its third generation at that point and cost $200k. And I think cuda came out a little before then, right? It was... oh yeah... Nov 2006.

This was also the height of the global GPU shortage... I suppose anything can fit your narrative, just as long as your spin has enough RPMs.
They are ignoring the basic precepts of the constitution, have rendered Congress' authority to set budgets as moot, are threatening the judiciary and the press. I can't believe how sanguine this thread is. This is an absolute crisis.
You need to understand when he says "irrespective of whether its in national interests" he means helping immigrants and asylum seekers, who are here legally even.

They listen to orders from many parts of the government, some of those are even conflicting orders. It's not like they are just doing whatever they want 90% of the time. Their money comes from who again?
A lot of us hold Ada in high regard. Your comment is a typical example of someone not realizing how much they don't know.
The answer to that question is that Elon Musk does not seem to believe that the government departments can answer data questions. Rather than wait for them to inevitably say it will take weeks to gather the data, he has his war boys extract it from the system.

One might as well ask "if you want to stop HIV/AIDS in Africa why pay a bunch of young kids with international relations degrees instead of AIDS researchers". Grunt work takes grunt effort.
sabotage 401
I don't believe that's reliable, but more importantly, you seem to be denying the emotional thrust of what you wrote. "You know perfectly well [etc.]" is an aggressive trope to begin with, and you followed it with other similar thrusts ("Stop trying to", "which is extremely obvious").

Your comment would have been just fine if it started at the "Many posts are being [etc.]"
Being fully pardoned assumes that he and/or Musk do not end up annoying Trump enough that he'd rather burn them. Franky even Musk should be concerned given how easy it is to get on the wrong side of Trump, but anyone involved in this relying on Musk being prepared to risk political capital shielding them if something goes wrong should be terrified and working on escape plans.
I don't know, keeping people in prison definitely sounds like an official act for which POTUS is now immune.
The reasoning R1 demonstrates most times sounds to me like 5th grader's wording - in support of what you say. But then if you compress compress the knowledge needed for math reasoning, perhaps you get category theory paired with prolog or something along the line which is rule-based.
The Dems are playing it the way they have to - which is like a legitimate political party. So I suppose they are playing it according to the constitution, which means things have to go to the courts.

Which is the right thing to do.

The deal is that the Trump is upping the ante constantly.
Determinism is falsified by quantum measurement, not superposition (which is deterministic), and even then only pragmatically, rather than philosophically.
ChatGPT has a mode where you can share your screen with it. just show it your incoming texts and ask it for help
Technically, it is the source of those nutrients.
This guy gets it.

https://archive.is/g6ElI

https://graphics.social/@metin/113865450624948092
While I mostly agree with you, we know that music is defined by the listener. Who are we to discern what is or isn't music? Do you have the same opinion of text or code generated by or with the assistance of AI?
Recognizing a pattern and reproducing it is a huge part of the human experience, and that’s the main thing that’s intelligent-like about LLMs. A lot of time they’re lack context / cohesion, and they’re at a disadvantage for not being able to follow normal human social cues to course correct, as you point out.
Political piece (literally speaking: a judgement on the management of the polis), but intriguing as it comes from Gary Marcus. Hence the submission.

In short (though the piece itself is short - Dick Aslin's piece*, which seems to have encouraged Gary Marcus to expression, is the long analysis),

> am here to say that drastically cutting NIH & NSF funding and reducing grant “overhead” to universities to 15% are among the dumbest ideas I have ever seen. // America will never be the same. Science will take a huge hit; academic stars will leave; university reputations will crumble, and homegrown talent will be even harder to find

* https://dickaslin.substack.com/p/are-we-paying-too-much-for-...
This seems similar to the broken window fallacy.
It only needed ~20 upvotes to get to the top story. You make it sound like they moved heaven and earth to get on here.
Auditors take time and are boring. Auditors measure performance against rules and goals — this is about discarding the rules and goals. The point of this is chaos and power.

Elon has contempt for rules and laws. Blame the fuckups on the deep state or whatever. He will run wild until the president cuts off his head.
All I can think of when I hear about DOGE is Robert McNamara's Department of Defense, where the "Whiz Kids" from industry and academia were supposed to magically fix all sorts of problems with the military's bureaucracy. After all, they went to the right schools, and really, how hard could war-making be?

We lost in Vietnam and there are people being born there with birth defects from Operation Ranch Hand to this day partially due to their work, but at least they got to pad out their resumes and were set for life as consultants.
Small dumb things stop being a valid excuse when they have material impacts on other individuals. Your right to fuck around stops when it impacts me.
the journey.

I humbly share my thoughts from around ~4 years ago on the same subject. It is all too easy to focus on outcome/results rather than the joy of the process.

https://dgerrells.com/blog/journey-before-destination
> Using the word 'censored' ultimately just means you'd like to see more of this topic on HN. I certainly respect that, but there are also a lot of other users who would like to see less of it.

Woo love changing the meaning of words to fit what I imagine other people are using it for!!
This is a very nice blog post, thank you.
What's Grafana? I see it mentioned here a lot, nowhere else though. Is it a YC property?
This whole argument reminds me a bit of the book, Godel-Escher-Back, which is (partially) about the interplay of formal and informal systems. Both are necessary, and one without the other tend to be useless or sterile.

Sometimes, when I've asked for an reason/explanation about some physics problem, I get a response like: "because of this equation". And in my brain there is a mismatch, were it doesn't feel at all like an actual explanation, because abstract symbol manipulation feels like, well, symbol manipulation.

But I think that's the wrong interpretation, because someone who has been really deep in mathematics for a long time feels the math at a deeper level than I do. For example, it's like explaining something that's true because F=MA. Before I had any physics knowledge someone answering a question with "It's because F=MA" would have felt off, in the same way. After doing a bunch of problems then F=MA is a perfectly fine answer. They are just a lot better at getting meaning from the symbols and following the manipulations.
For sure. And I definitely have a bias showing here towards not trusting the person in charge to be benevolent or to actually know what the "right" thing to do is in the long run.
> So to me this argument sounds the same as "how can young kids think they can program like experienced engineers".

Which leads me to my favorite quote from TFA: "must have killed all those test pigs with some bugs"
Reasoning models are just LLMs
Patches are welcome :)
Wondering if you're thinking of some TOS episodes such as "Taste of Armageddon" or "The Ultimate Computer" (M5)?
what's the refractory period doin in neighboring cells and infected cells? what happens to that mechanism?
It would be better to be more precise about who the left is according to you. If you think Hillary Clinton is the left, the media that is owned by billionaires or the democratic party leadership is left I feel like there is a wide range of political theory for you to learn about.

One way you might learn what the left is is by looking at some history.