skysight-inc/HackerNews huggingface dataset:
Yeah true, thanks for the feedback!
So I'll probably make it more like beginner oriented.
Nix the idea is fantastic. Nix the implementation is currently a disaster.

I liken Nix to source control in the time of CVS. We need two more implementation iterations before its going to be useful to the general public.
I don't think it's worthwhile, although it is designed in a way that will reinforce feelings that it is worthwhile. People who shell out money for a product are more likely to run towards the product versus more or less identical free alternatives. This creates a feedback loop similar to how people on subscription plans like Amazon Prime will check out Amazon first.
Huh. Maybe I should try it again. I read a lot (https://3e.org/books/) and I found Wool to be so execrably awful I couldn't get last the first 100 pages. Like literally some of the worst writing I'd ever seen.
I miss https://www.uzbl.org/
Yeah if you want the same fate in about a year
Not quite: once you GPL something, while you retain copyright and can licence it in other ways, the GPL itself forbids you from restricting what others can do with it if they take it under the GPL; the one thing they cannot do is change its licence, but you cannot prevent them from selling it, e.g. The FSF are very, very clear on this.
Weird, Debian has NetSurf in its repos (netsurf-gtk, or netsurf-fb if you want to render it directly to framebuffer with no UI toolkit)
Does this have anything resembling details? The press release is here:

https://www.nec.com/en/press/202411/global_20241118_01.html

And it has goodies like:

> Token: A digital certificate indicating certain rights and values, such as digital assets, user information, and access rights.

That is not much detail.

> Quantum key distribution (QKD) systems use quantum mechanics to share random secret keys between two communicating parties in order to guarantee secure communication, and then encrypt and decrypt information based on those keys. (Patented (as of November 18, 2024))

This sounds like rather old technology. What exactly is novel here?

In any case, the article’s drawing makes it look like the customer’s “token” is some classical information. This cannot work.
If a function is longer than what I can display on a single screen, it better has to be argumented with very exceptional relevant requirements, which is just as straight forward to judge for anyone with a bit of experience.
You're not wrong, but it's more complicated than that.

My town never recovered economically after the US Civil War. It was a fairly wealthy place before then because the main economy was tobacco plantations, which slave labor enabled. It literally had more residents in 1860 (including enslaved Americans) than at time since then.

A lot of the economic woes in the American South have very deep roots. A significant amount of wealth, pre-Civil War, was in the form of slaves. That was incredibly immoral, of course, but the economic effects of that "wealth" disappearing after the war was still a real thing. There were basically no large white landowners left, the farmers who remained were small landholders. And blacks ended up being a permanent underclass. They were also mostly farmers, but they were continuously undercut by de facto exclusion from the banking system. Also, public education as a whole was never great, even for whites, and for blacks it was pretty abysmal. The county next to mine actually closed its public school system for a generation instead of segregating, and the money that would have gone to the schools was instead embezzled by the county commissioners and funneled to a private white school instead.

Kneecapping your population like that has generational effects. The lack of investment in public infrastructure has two root causes: a significantly reduced tax base, and racism. Public services being available to everyone, that means you were taking money out of the hands of whites and using it to benefit blacks. And even though that is largely gone (imho), the effects of zero investment in public infrastructure isn't something that can be fixed quickly. We mostly missed out on the post-WWII economic boom for those reasons.

Even in the face of all of that, my county was doing okay up until the Carter-era agricultural reforms that incentivized large agricultural conglomerates and crippled family farmers. That, plus the interstate not going through town, pretty much doomed the place.
F* is a programming language with proof support. Lean/Coq are theorem providers that can be used to model and generate code. In Coq, there's not a standard way to generate code, you might model and create code many different ways. F* seems to bring this in as the central goal of the language. So I'm discussing this structural difference. F* has an SMT solver, but Lean can import an SMT solver. So the goal is the important difference here - making theorem proving as accessible as possible in a real language. It's a move in the right direction, but we want to get to the point standard program languages have this support if you need it.
I guess I haven't gone to too many boardgame meetups, but D&D seems to have a pretty decent age spread to me; in fact, it tends to lean older than younger.

I have no comment on the dating aspect; I'm monogamously married, and have no particular opinion on the matter, though I will say that D&D leans so heavily male, I can count the number of women I've played with in the past six months on two hands without needing fingers. It's a problem in the hobby. :/
Are you kidding?

Firefox is notorious for having bugs open in core features for over a decade! I’ve found outright broken code, narrowed it down to the specific line, included documentation references, repro steps, etc… only to be totally ignored by the devs. I did get comments from several thousand other frustrated users, but never a Mozilla employee other than the occasional generic or automated housekeeping message.

Sadly the Mozilla Foundation has been overrun by special interest groups that simply want to suckle at the teat of Google funding. Millions of dollars are allocated to outright corruption, but very nearly zero to development of Firefox itself.

It’s a slow but certain road from here to a sad end.

Why would I or anyone else pretend otherwise? At the expense of our own time and effort no less?
> this can be changed or revoked at any time, and this may immediately make your existing installations illegal.

I was going to argue, but they do explicitly say "revocable." Has such a license revocation ever been upheld in court?
Stylometry tools may be useful if you already have a small candidate pool of suspected aliases. They produce too many false positives to be useful for blind cross-linking of accounts. Once or twice somebody has done stylometric analysis of HN accounts and I've looked at the results for my accounts. Even though I don't try to obscure style across accounts, stylometry didn't match my actual accounts with each other. My top matches were for accounts controlled by other people.
Obviously not. It's right in the name, isn't it? LLM = limitless model...
For me it depends. Sometimes I find value in making a function for a block of work I can give its own name to, because that can make the flow more obvious when looking at what the function does at a high level. But arbitrarily breaking up a function just because is silly and pointless.
Ahh yes, very fair.
I already make music, but I’m a really crappy piano player. I can bang out chords, but my fingerings are way wrong. I want to try to actually learn the piano.
> This is planning issue, if you correctly size tickets you aren’t going to end up in messy situations as often.

No, it’s “this refactor looks very different to the original code because the original code thought it was doing two different things and it’s only by stepping through it with real customer data that you realized with the right inputs (not documented) it could do a third thing (not documented) that had very important “side effects” and was a no-op in the original code flow. Yea, it touches a lot of files. Ok, yea, I can break it up step by step, and wait a few days between approval for each of them so that you never have to actually understand what just happened”.
Isn't that precisely what a honeypot is meant to do though? Having ports open so that script kiddies get excited they get access to something, but the something just isn't anything? Having a honeypot that is locked down doesn't really seem like a honeypot at that point
Agreed, cf other comments below. My impression is that that is what this person hopes for and that they think that somehow the GPL prevents others from using this code commercially, which it manifestly does not. (Such use would be subject to the GPL, of course.)
Not a network security expert, but the level of traffic necessary to figure out whats real would probably trip other detection mechanisms in the process.
#1 thing that could be done in the US would be to stop using so many of them.

Especially in agricultural animals...
Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016)
I am trying my best to build in an inordinate amount of upfront linting and automated checks just to avoid such things - and then I still need to do a roadshow, or lots of explanations- but that’s probably good.

But the good idea is to say “we all have the same brutal linting standards (including full stops in docs!) - so hopefully the human linger will actually start reading the code for what it is, not what it says”
Agreed, but there are different things being prioritized with each approach.
sounds (at least at a high level) similar to EXO[1]

[1] https://github.com/exo-explore/exo
Incorrect.

Taxes and printed money are used as a redistributive system.

Newborns enjoy unemployment benefits, basic health care, schooling etc...

Bitcoin does not have this property, it's basically its whole ethos.
Nvidia: 'remarkable' retail investor funds influx as traders flock to AI darling
It is still a big issue in the US even if it is more massive elsewhere plus we use it in the meat industry to the point where certain types of antibiotics cannot be used anymore.
if you've ever streamed video on a local network over web sockets you'll notice latency. no matter how fast sending text based control messages may be, latency in the video stream will cause users to send controls with the same latency which makes control impossible as far as I know.
> Implement X, needs Y and Z, ok that was straightforward, also discovered U and V on the way and sorted that out, here's a pull request that neatly wraps it up

This sounds very difficult to review to be honest. At a minimum unrelated changes should be in their own pull request (U and V in your example).
I agree, returning legit banners on common ports is likely to get you looked at more rather than less, since most tools are not accounting for situations where every single port is open, indicating false positives. This is a common scenario on penetration tests, and while it does end up wasting time, I'd rather not give attackers any more reason to be looking at my infra. I would prefer port knocking, which is kinda of the polar opposite approach to this.
Not less savvy, more savvy.

Boomer does not know about bitcoin wallets.

Engineer at MicroStrategy does.
my favorite symbol is ~= for this very reason. it's so ambiguous it means different things in different language
Pretty sure every compiler can manage optimizing out that method call, so do whichever makes you and your code reviewer happy.
Ruby 3.4 Released
What is this? Is this a google summarization service?
I disagree, it does matter if the math is indistinguishable from human transformative work.

What matters is the result, not the process.

It’s hard to swallow with AI, but there is no other solution in my view. If we start using the process as a criteria for copyrighting, then we have chaos. Indeed, you cannot prove which process was used after the fact, especially not with AI.

And the reverse is particularly problematic: anyone could then allege some human work is in fact AI and hence cannot be copyrighted. We’re breaking the copyright system if we focus on the process.

Another example: if you ask an AI to create something “in the style of xxx”, then the result may be something that is infringing copyright, but so would be humans work producing tbd same output.

In the end, what matters is the output, not the fact that it’s math or a human. We’re also just a bunch of atoms in the end, one could argue, very similar to a very complex mathematical model…
> it binds to just ONE tcp port per a running instance !

How does that work? Do you need to run 65535 instances to cover all ports?
That makes no sense whatsoever. Autocomplete helps you speed up the writing of the code so you can focus on solving the problems more often.
Preferably one that sells computers, not fashion statements.
I just see a guy ranting for days because his contribution was rejected. Not sure what point that link is supposed to make.
The Rome Metro Runs on Linux
> Wouldn't you jump to is_enabled to see what it does?

That depends on a lot of things. But the answer is (usually) no. I might do it if I think the error is specifically in that section of code. But especially if you want to provide any kind of documentation or history on why that code is the way it is, it's easier to abstract that away into the function.

Furthermore, most of the time code is being read isn't the first time, and I emphatically don't want to reread some visual noise every time I am looking at a larger piece of code.
Perhaps one of us misunderstands the term honeypot, it could be me, but IMO this seems perfectly usable to create a honeypot system on your network.

A honeypot is used to attract and detect an attacker, usually logging their actions and patterns for analysis or blocking. This tool could use more logging beyond just iptables, and sure it’s not _by itself_ a honeypot, but the idea isn’t that far off.

All that aside, the GitHub page suggests this “enhances OS security” which I don’t buy one bit. Sure it provides some obfuscation against automated service scanners, but if you have a MySQL server listening on 3306, and an attacker connects to 3306, they’re still talking to MySQL. Doesn’t matter if all the other 65534 ports are serving garbage responses.
> If something goes wrong you just bought yourself a week’s worth of debugging to figure out how to roll back the state.

But that basically doesn't happen between release upgrades, not unless you're doing something with third party repos at least.

> If you update using an immutable distro, you rebase back on to your previous deployment or adjust a pin and you’re done

I genuinely don't know, but can you do security updates without rebasing? Just keeping some working version pinned sounds like bad idea to me, and doesn't even save you time because you'll need it resolve that problem eventually anyways.
if that's true then that might be helpful as your visual feedback comes directly from your eyes and not latent video plus latency for control signals is probably less. thanks for pointing this out
I made a platform for children books
Doppol.com is a website that appears to focus on children's literature and reading resources. It features a selection of popular books categorized by age groups, making it easier for parents and educators to find suitable reading material for children. You can register youself, add your children into profile and assign them books to read.
Would be glad to hear your feedback
Just like with "golang", "FStar" is the query if choice. But don't think you'll find much, if the documentation is in the same state as it was two years ago.
Very good recent book "Building user friendly DSL's". I went through quickly it was comprehensive and worthwhile to dig deeper. It's in JavaScript.

https://www.manning.com/books/building-user-friendly-dsls
Believe it or not, the DOJ (and EU) have almost entirely ignored AdSense and it's integration as a monopoly force. They consider Chrome and Google Search to be the primary source of harms - the war against adblock is perfectly legal even if client-side modding should always be morally correct.
The point would be to prove that your database stays consistent, a DB upgrade wouldn't break, or that you could achieve 100% up time given certain assumptions. An automated solver/prover might even be able to tell you where in your program breaks this. Without a technology like this, you have to carefully read your program, but this is the methodology to make the computer deal with that. Unfortunately formal verification is mostly used for research, F* is framing itself as taking a step to bring that to production codebases. Unfortunately I don't know good resources, but as researchers adapt this technology, and as we automate a lot of the heavy mathematics, you'd never want a programming language without this option.
The places where immutability is a benefit for most people are protecting against cases where the package manager gets confused and screws things up (as famously happened to Linus of LTT years ago when installing Steam on Mint rendered the system unbootable) and for the ability to cleanly roll back the system when an update does something like break video or networking drivers (surprisingly common with some hardware).
No wonder why software development used to be expensive if 50 lines of code takes multiples days for several people …
> It does not tell you much about the performance of the Ruby part of the equation in isolation.

Indeed, it doesn't. However, it would be a fairly safe bet to assume it was the slowest part of their architecture. I keep wondering how the numbers would change if Ruby were to be replaced with something else.
CPS is a cool technique, and makes advanced constructs like call/cc trivial to implement. Using CPS techniques in code can feel like magic.

But CPS isn't really the state of the art for functional compilers anymore. It's complex for a human to read and hard to optimize. Something like A-normal form is much easier to work with for a compiler intermediate representation

https://en.wikipedia.org/wiki/A-normal_form
> there's no good way to pass state between the seven functions unless you pass all the state you need,

That’s why it’s better than comments: because it gives you clarity on what part of the state each function reads or writes. If you have a big complex state and a 100 line operation that is entirely “set attribute c to d, set attribute x to off” then no, you don’t need to extract functions, but it’s possible that e.g this method belongs inside the state object.
I use a yubico key which holds all my Google Auth 2FA secrets. A yubico app generates the 2FA codes. I also have a hardcopy of all secrets. An additional advantage is that the yubico key is protected with a PIN code. Works great for me.
When I bought my "cheesegrater" Mac Pro, I wanted 8TB of SSD.
Except Apple wanted $3,000 for 7TB of SSD (considering the sticker price came with a baseline of 1TB).

I bought a 4xM.2 card and 4x2TB Samsung Pro SSDs, cost me $1,300, I got to keep the 1TB "system" SSD, and was faster, at 6.8GBps versus the system drive at 5.5.

Similar with memory. OWC literally sells the same memory as Apple (same manufacturer, same specifications. Apple also wanted $3,000 for 160GB of memory (going from 32 to 192). I paid $1,000.
I find this is so frustrating to describe to patients. There really is a limited scope of appropriate outpatient antibiotic use.
That’s fine, then you do not donate.

What is then better, ethically speaking: donating at the risk of donating to a psychopath, or not donating at all?

But it still is and should remain your choice to donate or not.
Given the fact that a persona with [name, phone number, birthdate] can be sold for more than $10 to data brokers and marketers, the economics are actually pretty good.
The idea sounds useful.

For European citizens: there does not seem to be a company behind it, and no Data Controller is given on the site, so it's not GDPR compliant.
Only if your goal is to be an entrepreneur. Not everyone chases that goal nor considers success in that fashion.
Depends on who "we" includes. First world, probably not. People doing rainfall based subsistence agriculture, some will.
Tailwind Grid Generator
Paywalled.

https://archive.is/PJqQA
You can desalinate water with money though.
Being spec compliant means being compliant with the entire spec, not just a "reasonable subset of the spec", picked by the author of the ponyfill/polyfill. And being secure only in the presence of normal inputs is... pretty meaningless afaict? Anything is secure if the inputs are "nice to the implementation". That isn't a typical bar for "it's secure".

Whether every use case that just wants to roundtrip BigInt through JSON _needs_ a fully spec compliant & generally secure solution is a different question. But at that point it's about picking a solution for a related use case, not about actually standing in for the upcoming browser feature.
Yea, that statement confused me as well.
If you've never visited the Stockholm archipelago, I highly recommend it. In fact, I think it's perhaps the best thing about Stockholm, and one of the most beautiful places in the world in general — if you're into sailing, islands and seas. It's almost too easy to find an island just for yourself for the weekend, and "Allemansrätten", the law that grants people the right to access wilderness, only makes it even more accessible. Going there at the midst of winter or during summer are both very different experiences, but both are very charming.
Air missile accident emerges as probable cause of Azerbaijan E190tragedy
I flew through both The Brothers Karamazov and Crime and Punishment (both powerful, excellent books) but I'm having difficulties reading Demons.
Huh, I don't remember that narrative at all...

From how I remember it, we started with Netscape, IE outcompeted that by adding new features until they had enough share to strangle the competition. By that time IE became mandatory because of their extensions. Windows systems couldn't get updates without opening IE.

Eventually it (IE) fossilized and Firefox became the better browser with more features (remember that debugging extension?) but was still pretty slow.

Then came chrome. Way way faster, sleek and modern UI, removing the search and tool-bars. Hiding bookmarks by default and putting everything into the Omni bar.
Really, that was what everyone I know of cared about: responsiveness/speed and that sleek UI.

Finally Firefox improved its resource usage/speed and adjusted it's UI, taking inspiration from chrome... But by that time, it's popularity had already dropped massively.
I would guess to prevent IP address blocking, or offloading responsibility

Edit: added “to prevent”
oh, somebody is hunting for content?
Yeah I’ve got a Lenovo Legion laptop that I dual-boot Windows and Linux. I haven’t tried in a while but for at least a year it was impossible to soft-reboot to switch OSes if you wanted wifi to work. My best theory was that Windows and Linux had different firmware that they loaded into it at boot and they weren’t reloading that after a soft reboot (just using whatever was already running on the card).
Again another example of billion dollar firms taking advantage of small businesses and consumers.
MERRY CHRISTMAS YO!