skysight-inc/HackerNews huggingface dataset:
Edit - so GOT does mean "game of thrones"
I made my lifelong best friends hosting non-Steam servers, and writing the first cracks in Lua to generate fake Steam IDs from IP addresses.
What, then? It seems like it would be quite consistent with his support for right wing political groups (eg the AfD in Germany) and his very public antipathy to anything he deems 'woke'.
Analysing Futex-Based Synchronisation Primitives Using Model Checking [pdf]
See also:

https://news.ycombinator.com/item?id=41464994 - C2y Proposal: Essential Effects for C (2024-09-06, 30 comments)

Is there a corresponding proposal for C++? The earlier thread mentioned that "C++ doesn't have this yet", but I am wondering if C++ has enough template magic that it's able to do it through libraries without changes to the language.
In good spirit of programming, nothing better than a terrible non-descriptive one character variable name.
Because that's how open source works. If you don't want for profit companies using code for free, then offer it under a license that states that.
What about LNG?

https://thelensnola.org/2023/07/31/lng-export-terminals-belc...
Pretty sure this also requires the banks to then accept those attestation keys. Graphene pushes for them to do this, so you can't simply run whatever open OS you want on your device (like on desktop where you can also do online banking), you need to specifically use some third party service that then tells the banking software it's really okay to run on your device. I do find this to be a bit crappy, but at the same time it's quite amazing that Graphene has enough traction to convince many app vendors they should support an open/secure OS!
You're the one out of your depth ...

LLMs are taught to predict. Once they've seen enough training samples of words being spelled, they'll have learnt that in a spelling context the tokens comprising the word predict the tokens comprising the spelling.

Once they've learnt the letters predicted by each token, they'll be able to do this for any word (i.e. token sequence).

Of course, you could just try it for yourself - ask an LLM to break a non-dictionary nonsense word like "asdpotyg" into a letter sequence.
Maybe, I use uv and rust has been my primary language for several years. I have never heard of astral though.
It’s unreasonable because the real reason was WordPress.com looking to kneecap a competitor.

Doubly so when they tried stealing the plugin.
VC funded organization. Not sure what their business model is yet.
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]
Short term (within a century) warming trend directly caused by additional atmospheric insulation (CO2) added by human activity.

We've already reached and are now starting to exceed:

The global average temperature during the Last Interglacial period, which peaked around 125,000 years ago, was about 0.5–1.5°C warmer than pre-industrial levels.
The source 2 engine also uses fnv to hash the schema (basically entity properties)
I am trying to imagine the legal contortions required for the US Supreme Court to relieve Meta of copyright infringement liability for participating in a bit torrent cloud (and thereby facilitating "piracy" by others) in this case, while upholding liability for ordinary people using bit torrent.

Would love if any lawyers here can speculate.
Linux 6.14 to Allow VirtualBox Guest Support on ARM64 VMs
Sometimes, rock bottom is the only way to stop
It's not a left versus right issue, not really. Most of the feminists arguing against gender self-id are on the left.

This isn't a gotcha either. When the horrific outcomes of males being transferred into women's prisons is brought up, it's typically being done to explain why gender self-id policy is so harmful to women.

Often, the person advocating for gender self-id hasn't spent any time considering this impact at all. The detriment to women and girls isn't even on their radar. So it's worth explaining.

It changes views, too. I've personally witnessed several people rapidly undoing their support for gender self-id when they see evidence of the deleterious consequences. Though more in real life than online.

Conversations like those are the reason why support for policy that prioritizes gender identity over sex is dropping like a stone.
>I don’t think people who want H1B reform are closet Nazis.

Me neither, but I’m not going to extend this discussion because you’re the second person strawmanning what I said.
Reminds me of this: https://medium.com/node-js-javascript/growing-up-27d6cc8b7c5...
This is the terminal equivalent of one of those games that go for "pixel art aesthetics", but as soon as something scales or rotates it's clear everything is a billboard texture being blitted to a high-res surface and the pixels are just rectangles that look low-res. Terminal apps aren't an aesthetic, they are intended to provide as clear an affordance as possible within a certain set of constraints. In React web apps, those constraints are not there, so why should the aesthetics be? A React component that reintroduced those constraints, for example representing the screen as a grid of characters+attributes and rendering those to the DOM, might be interesting, but this is just copping a "look" to show your friends on r/itsaunixsystem and I'm not sure what the practical appeal is.

The AS/400 bit is neat, though. Very reminiscent of ISPF, the equivalent interface on System/360 and System/370 mainframe systems. Those UIs evoke everything we Gen-Xers and younger associate with the boring, awful dinosaur days of computing but... with a bit of training, data entry clerks, customer service reps, cashiers and the like could become very efficient with them.
> That said I'm deeply worried about anyone whose based their company on amd gpus

Sony Interactive and Microsoft XBox seem to be doing great without an army of underpaid students. AMD does great at the top and bottom: the corporates in the middle that are unwilling or unable to pay people to author/tweak their software for AMD GPUs will do better going with Nvidia, which has great OOTB software, and a premium to go with it.

I suppose if AMD had infinite resources, it'd fix this post-haste.
All41-14All
Did I miss something? The Prius Prime (Toyota’s plug-in hybrid) still seems to be on the market: https://www.toyota.com/priuspluginhybrid/
A quarter of Russia's economic exports are still not fully sanctioned, and more yet are under threat from unmanned surface vessels that have (so far) respected the civilian designation of their tankers and freighters. Donald Trump could walk away the from Ukraine table entirely, but it would only push Putin closer to the proverbial red button.

China is facing the butt-end of a 30 year population crisis with a replacement rate below 0.5 in some provinces and has a subprime mortgage crisis that threatens to make 2008 look like a fairytale. They disproportionately rely on imports that cannot be sustained during a conflict and stockpiles that will not last their population even a month.

I'm sure both of them are optimistic too, but you overestimate America's influence if you think Trump is capable of saving them from the consequence of their own devices.
Show HN: Abstractionary
This is a taboo-like game where you have to make other players guess a target word or phrase. When you use words that aren't among the most common English words, they are "censored" and replaced with nonsense.

Find a friend and try it out! :-)
Tesla has done nothing but EVs and is laughably behind BYD. In fact, every US automotive manufacturer went to China and pretended that they wouldn't be able to catch up to them (racist) while teaching them how to build automobiles. Now everyone (especially Tesla) is crying foul and trying to invoke protectionism.
At first I thought that was camera noise when I zoomed in, and was wondering why it's so noisy... then realised that's all the stars. Insane.
Nah, I saw what I saw. So did a lot of other people. That was a Nazi salute.
> OP is about SSD, 2 Ss, so twice as secure ;)

Like applying ROT13 twice?
This idea comes up here every once in awhile (often in the form of "a batch of startups where some % of the stock is shared across the batch).

I'm not saying it can't work, what do I know, but a challenge you'll have to address here is:

* By the time you're at the first big-money investment, the priced A round, you're dealing with investors who make just a couple investments a year.

* Despite that, the most promising startups are chased by VCs, not the other way around.

* If you're one of those promising startups, what would motivate you to take money from the investor structured the way you propose?

Most returns in startup investment come from a small fraction of breakout successes. Even if you got, like, 25% of startups to join this kind of funding compact --- which would be a huge, a momentous achievement on the same scale as the creation of YC --- the math here might not work out to where the shared-fate component of the deal was meaningful for any of the failed startups.
No project within a single organization is completely independent. In general they all serve to meet a unified business objective and developers often need the global context on occasion.

I used to be a multirepo proponent, but have fallen in love with Bazel and “everything bagel” repo.
GitHub Copilot Extensions: Build and deploy with the tools you love
That analogy doesn't work. A closer analogy would be a vegan refusing to talk to a coworker who eats meat. That would be unacceptable to me, too.
If only it wasn't Java.. but it looks very cool anyway.
The history of this "There are only two hard things in Computer Science: cache invalidation and naming things" quote attributed to Phil Karlton is slightly interesting.

1) According to Tom Bajzek on Phil Karlton's son's blog, the saying goes back to Phil Karlton's time at CMU in the 1970s:
https://www.karlton.org/2017/12/naming-things-hard/#comment-...

2) How did Phil recognize this difficulty around cache invalidation before he even entered the workforce (going to Xerox PARC, DEC, SGI, Netscape)?

Answer: as a grad student, he was contributing to discussions around the discussion of the Hydra filesystem being designed at CMU at that time. The following 1978 paper credits discussions with him by name, which is probably a good hint where he learned about the difficulties of cache invalidation:
https://dl.acm.org/doi/pdf/10.5555/800099.803221
He started out more interested in the math side of things perhaps, https://dl.acm.org/doi/pdf/10.1145/359970.359989

3) Also mildly coincidental to me is that one of SGI's core technical accomplishments in its waning years (about the time Phil left them for Netscape so he likely was not personally involved; I don't know) was dealing with memory caching in highly scalable single-system-image SMP (symmetric multiprocessing) servers when you go from 16+ CPU SMPs to a memory subsystem needing to support 512-1024 CPUs...

Answer: you have to

A) make the memory non-uniform (non-"symmetric") in it's latency to different CPUs (NUMA: (https://en.wikipedia.org/wiki/Non-uniform_memory_access)), and

B) invent new ways of handling the resulting cache coherency problems to mask the fact that some CPUs have closer access to memory than other CPUs to keep the programming model more like SMP and less like pure separate-memory clustering.

Here's a paper outlining how that was done in 1998:
https://courses.cs.washington.edu/courses/cse549/07wi/files/...
which in turn was based on Stanford's FLASH multiprocessor work:
https://dl.acm.org/doi/pdf/10.1145/191995.192056

This cache-coherent NUMA (ccNUMA) technique went on to be used in AMD Opteron, Itanium, and Xeon SMP systems till this vary day.
Paredit was written primarily for the use of its author, Taylor R. Campbell. If you ever met Taylor R. Campbell, you would understand why it feels like an airplane cockpit.

(Think: John Carmack writing something for John Carmack's use, and it turns out you need to be as smart as John Carmack to figure it out.)

I tried Paredit out in the early days; it was heavily inspired by SEdit, the structured editor that came with Xerox's Interlisp-based Lisp machines (an open source version of whose OS is available here: https://interlisp.org). I really liked it, but with time I found it was just another "targeting computer" I had to switch off in order to keep focus on my code, so I ended up not using it for most of my Lisp work.
Thomas Jefferson did no such thing, he had his slaves whipped, sold them apart from their families, and other common practices. https://www.monticello.org/thomas-jefferson/jefferson-slaver... Additionally in his lifetime emancipating slaves was relatively easy compared to later times and groups that purchased and freed enslaved people existed. Everything in that paragraph is false.
It has been noted that if your competitor is paying out of pocket to flood the market with cheap goods, the optimal strategy is to buy up as much of the cheap goods as you can.
Comparison of "Chat with PDF" Product Family: Key Features and Ratings
When I ran the DeepSeek-R1-Distill-Qwen-32B-Q4_0.ggu[1] version in Ollama, it got the strawberry test right, but when I paste that same question to OpenWebUI, it got wrong as you got here.

[1] https://huggingface.co/bartowski/DeepSeek-R1-Distill-Qwen-32...
Yes, absolutely agree. Small companies look for the best only to over-engineer solutions, and large companies will look for the best only to have them do a very tiny slice of engineering (since they hired an army of engineers) and fill the rest of the role with b.s. micromanagement tasks.

One small note I slightly disagree:
> If an off-the-shelf solution exists, grab it, don’t build it from scratch.

I would say this is the one reason you would hire someone with all the fundamentals and technical expertise. The reason is because building things from scratch will make it domain specific, so it will be taylored to the problems the business is facing. Sure, if the businesss is just like hundreds of others which already have an off-the-shelf solution, then you could just use that, but more often than not you will have some kind of unique problem and this is were you need engineers to engineer systems. Instead companies will put you through intense interviews and then have a giant stack of your typical libraries that tend to have a lot of problems anyway.
A small boon to it not being in python — it's now decoupled from your python toolchain.
Parent is asking about infra not copyright.

This is interesting in terms of Github. They could pull the same thing and say only the porceline git client and MS approved clients can pull. After all it is their servers. The open source licenses are orthogonal to this and are between authors and users.
I do the same thing, and I keep doing it regardless of how many times I see it working properly.
He explained the reasoning:

> Now, why don't they send me the two boxes? I understand when I was asking for firmware to be open sourced that that actually might be difficult for them, but the boxes are on eBay with a simple $$ cost. It was never about the boxes themselves, it was a test to see if software had any budget or power. And they failed super hard
That actually makes it more likely to be a Nazi salute...
Please paint it.
Imagine CUDA on RISC-V
There's ClassicPress. But a better alternative than sticking with WP is https://textpattern.com/ (which has better and more stable codebase that is as old as WordPress).
> This proposal composes well with N3316 The void-which-binds,

Broken link. Should be *.htm, not *.html.
It's really sad seeing this whole saga play out.
How can you disagree with the author, they are doing exactly what you suggested, firmly stating their opposition to PG's beliefs.

It seems you didn't read their post. Also, yes, if someone hates you, you can definitely change their minds. The weapon in the war on hate is love. And there is a lot of love in the author's essay. Love for others in their position.

So you too can join the War on Hate by showing love to the author and letting PG know he is wrong, so very wrong.
There's some other cool tricks you can do, where you symbolically execute using angr or another emulator such as https://github.com/cea-sec/miasm to be able to use control flow graph unflattening. You can also use Intel's PIN framework to do some interesting analysis. Some helpful articles here:

- https://calwa.re/reversing/obfuscation/binary-deobfuscation-...

- https://www.nccgroup.com/us/research-blog/a-look-at-some-rea...
Open source doesn't give you carte blanche to leech off someone's infrastructure. Remember when Netgear hard coded someone's NTP server into their routers and all hell broke loose?

Back in the day if you caught someone hot-linking images from your web server it wasn't uncommon for admins to redirect abusive referrers to goatse etc. That usually got them to knock it off real quick.
They are tapping German engineers to design the automobiles. Really upped their game.
PPC's? :-P
DeepSeek's new AI model impressive–until it starts acting like the CCP's PR ofc
The analogy in my comment was about adherence to philosophical beliefs, in response to what appeared to be a suggestion by you that such beliefs should be ignored if someone else finds them to be an inconvenience.

Could you explain why you think your analogy works, please?
The mind boggles. Are the plaintiffs jumping to the conclusion that Meta must have used BitTorrent, based on the idea that whenever someone pirates anything anywhere using the Internet, it's always done with BitTorrent? Or is there actual evidence for this?
99.9% people are non techy and would go for gui application
I think you've reinvented the game Scribblenauts.
Even without a leak, they face a risk with how actual CPUs bin out.

They have to sell some $1000 CPUs at $600 as unlockable later to fulfill their contracts. But if their process is marginal, they may have to divert $1000 CPUs from the market who would pay $1000 for them to satisfy the $600 market.
America is only 5% of the world's population. Do you want Silicon Valley to hire the best of the world, or only the best of America?

Without immigration, an American only Silicon Valley would surely lose out to places like China and India that can source talent from over a billion citizens. Or lose to a more immigrant friendly country that can source talent from the whole world (which is what America currently does).
I've been using an amalgamation of pyenv, pip-tools, black, isort, etc. for projects and just gave uv and ruff a try. Wow, it really is fast! Skeptical of anything VC-backed but I'll be keeping my eye on it.
Have you considered that using the term woke as a pejorative is priggish behavior? Because amongst my conservative friends it is used at least once every social setting.
Abstract:

"We present the design of CompFuzzCI, a framework for incorporating compiler fuzzing into the continuous integration (CI) workflow of the compiler for Dafny, an open-source programming language that is increasingly used in and contributed to by industry. CompFuzzCI explores the idea of running a brief fuzzing campaign as part of the CI workflow of each pull request to a compiler project. Making this effective involved devising solutions for various challenges, including how to deduplicate bugs, how to bisect the project’s revision history to find the commit responsible for a regression (challenging when project interfaces change over time), and how to ensure that fuzz testing complements existing regression testing efforts. We explain how we have engaged with the Dafny development team at Amazon to approach these and other problems in the design of CompFuzzCI, and the lessons learned in the process. As a by-product of our work with CompFuzzCI, we found and reported three previously-unknown bugs in the Dafny compiler. We also present a controlled experiment simulating the use of CompFuzzCI over time on a range of Dafny commits, to assess its ability to find historic bugs. CompFuzzCI prioritises support for the Dafny compiler and the fuzz-d fuzzer but has a generalisable design: with modest modification to its internal interfaces, it could be adapted to work with other fuzzers, and the lessons learned from our experience will be relevant to teams considering including fuzzing in the CI of other industrial software projects."

https://github.com/CompFuzzCI
Crossing into personal attack will get you banned here, and taking threads into offtopic flamewar is not cool either.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
We expect people to say things that make them uncomfortable all the time. I don't feel comfortable telling my boss that I'm the one who wrote the buggy code that caused the incident, but I have a responsibility to do it regardless. I might be expected to thank everyone involved in a project, even if I don't feel personally grateful to them. And so on.

Obviously there's no easy way to reason these cases from first principles. As it is, I'm aware that being affirmed in their gender identity is recognized as therapeutically important for trans people. On the flip side, I'm not aware of any condition that causes people to suffer significant distress due to using a particular pronoun. So in this case, I feel like it's a pretty easy decision.

EDIT: The "neopronoun" question was added after I replied, or I missed it. I have never met a person who expected me to use them, nor have I ever encountered a workplace environment where policies required their use, so I haven't formed an opinion.
Not 100% so for chain of thought models, they should recognize to spell the word letter by letter in some separated form and then count the tokens in that form. The Qwen distill seems to do exactly this really well:

> Step-by-step explanation:

> 1. Break down each word: "not", "really", "a", "tokenizer", "issue".

> 2. Count 'e's in each word:

> - "not": 0

> - "really": 1

> - "a": 0

> - "tokenizer": 2

> - "issue": 1

> 3. Sum the counts: 0 + 1 + 0 + 2 + 1 = 4.

>

> Answer: There are 4 E's in the phrase.

In the thought portion it broke the words up every which way you could think to check then validated the total by listing the letters in a number list by index and counting that compared to the sums of when it did each word.
That’s true. But the author wanted to be a “successful startup founder” and that never happened.

I said in another reply, that I made plenty of mistakes and had plenty of “failures” so I’m not faulting him for that. But where did he say that he learned from his failures and worked on his weaknesses that allowed him to succeed based on his goal of becoming a successful startup founder?
So much marketing coolaid/bullshit.

I'm not that fan of Ruff because to me it doesn't make any sense to add a rust dependency to "python" and it blows my mind that people are so keen to accept the ugly formatting inherited from Black just because "it gives consistency to the team, so I don't have to think, and we don't have to discuss code style"...

But all of that personal opinion set aside, what triggers my initial statement is that so many persons are so excited to run to use Ruff because... "It is so fast"... when I'm quite sure most of them would never notice any real speed difference with their modest codebase.

In almost all the codebases I have seen, proprietary and OSS, pylint or any other linter was quasi-instant. There are probably a few huge codebases that would see a speed benefit of a few seconds to use Ruff, but their owner would probably better have a look at their code to understand how their reached such a monster!
That exact thing happened here, several times.
A vegan doesn't eat tofu at you.

Your right to untrammeled adherence to your philosophical beliefs ends the moment that those beliefs result in conduct affecting other people. After that point, some form of balancing occurs.