skysight-inc/HackerNews huggingface dataset:
Mathematical proofs are like physics experiments, they are just there to test your theory. But the other side of physics seems to be missing from many mathematicians, theoretical physics where you try to figure out interesting things that could be true and should be tested. The math that is taught is only the experimental math where you manually go through the math experiments and verify them to be true, there is very little about math theory building.

Edit: To clarify, math theory building was much more common a century ago and before that. But then mathematicians started to push out all the math that wasn't properly backed by proofs so the entire field got transformed into mostly proof factories. Having people build models that they cannot properly prove but have nice properties and that others might later prove to be correct/incorrect isn't a bad setup. Stuff like Riemann hypothesis, Four color theorem etc are very valuable to have even before they were properly proved, and we should try to create more of that not discourage those. Instead mathematicians almost completely stopped producing those.
> React is not the performance bottleneck, the DOM is.

I think that's pushing the blame just a layer too deep. It's like saying that engines are not holding up hypersonic missile development, the thick atmosphere is.
It should be made illegal for some softwares, such as an OS, to be able to force you to have an internet connection or create an account.
what assumptions? it was an honest question.
Why Midori was discontinued?
I'm a nix fan and have been using nixos for years now, packaging stuff and writing my own nix-based libraries, but I still find the language to be painful.

The problem is, documentation is sparse to non-existant, error messages are poor and often far from the actual problem, and it makes use of concept that lots of people are not familiar with (like lazy evaluation) without ever explaining them, resulting in surprising semantics.

But as far as I can tell, the nix devs are fully aware of these issues - they are affected by it too! The problem is, solving each of those issues is hard, and requires a lot of focused efforts.
The Development of Treatments for Diptheria
Can I assume you mean without sunglasses on? Living in FL I wear sunglasses religiously, but am out in the sun daily.
slashdot and kuro5hin's leadership decisions directly led to the downfall of their communities, as did dig.

Rusty's fundraiser was a kick in the nuts to some of the last people trying to keep k5 alive and functioning. He hadn't wanted a "community" so much as caught one by accident when Slashdot went full cult. I've always thought that the SXSW trip showed them what being a "media darling" was going to be about, and they bailed out of that as quickly and safely as they could.
> Copyright renewal is a real thing.

Not in most jurisdictions, no. What's your country where copyright renewal is still a thing? (no judgement here, despite all my hatred for copyright i'd rather have copyright renewal than copyright until 50y after death of all editors/compositors/authors as we have in Europe)
This is marketing BS.

S3 buckets aren't vulnerable to ransomware but maybe your configurations are.

Not to mention the article sets up S3 being vulnerable as if your credentials that access those S3 buckets were compromised.
> No.

Yes.

You replied to my reply, where I used addresses as an example. I totally agree with you in general, i.e. use RDBMS as much as possible, but when it's no longer possible - what would you do in the case of addresses?
> Memes work on a conscious level in that people know and can explain what the meme is saying, and more people can create them.

Some memes work like that — pictures with text in particular — but “common sense” is also a set of memes, memes which are, in my experience, mostly approximations with failure modes that (in any given instance) most people are ignorant of, and where those with knowledge can exploit that ignorance.

“Everything that goes up must come down“ except spacecraft.

“You can’t be in two places at the same time” except where your body is straddling the border between the two places, or one place is nested inside the other, or places like the Hala'ib triangle where two countries both claim sovereignty.

And stage magic, street magic, and scams like the shell game or Victorian seances, where “common sense” denies the audience in the first two cases and the victims in the last two any significant awareness of the effort put into the illusion. Or the homeopathy, Bach flower “remedies”, “healing” crystals, etc. that my mum believed in.

And then you have cognitive stop signs and applause lights: politicians saying “for national security”, “think of the children”, “brexit means brexit”, or even just “9/11”.
discord.
Everyone used to raise hogs (2016)
openSCAD has a few operators to highlight/isolate the current syntax block. Have you ever used those?

Working on a project using openscad is not that different than using other cad programs: you should split your model into "modules"/functions and use composition effectively.

I generally find nodal interfaces quite inefficient in general and scale very poorly in every context I've seen them.

The biggest problem with openSCAD for me is that there's no way to "measure" in the preview window. As in: just pick two faces and give me the parallel distance and/or vertex-to-vertex distance. I don't care about precision of the preview, let me double-check!

You have no idea how often this comes up when connecting multiple parts. Computing the distance manually, while possible, is such a nuisance. Every respectable CAD program gives you a distance when clicking on things for this reason. Somehow FreeCAD made this quite unnecessarily clunky that I have to rely on addons and openscad is missing it completely :(
OLED helps a lot actually!

That is talked about in the article I posted.

I didn’t want to copy it all out verbatim.
I had imagined this was merely theoretical, but learned that there are computers implemented with a single instruction.

https://en.wikipedia.org/wiki/One-instruction_set_computer#M...

https://esolangs.org/wiki/OISC
The Philosophy of Fly-Fishing (2017)
Why do you think the vaccines contain so many 5G microchips? The hurry to get everyone double-vaxxed even caused a global silicon chip shortage.
IBM ScrollPoint are very nice, and still available as new old stock. Three real buttons plus a separate Trackpoint-like thing for bidirectional scrolling.
Mozilla is funded by Google. They need a foil to boil this frog very slowly for antitrust reasons.
If it leads to stagflation it might be a real problem, that definitely worries central banks.

Several central banks around the world are working on digital currencies (https://en.wikipedia.org/wiki/Central_bank_digital_currency).
These would unlock more complex measures than giving people money and hope for the best to activate the economy (people might just save the money). Things like giving money to spend only in certain things, or for a limited time might come into effect then.
I have been looking into SSM recently and I was a little confused by the setup instructions but after seeing your comment I read them again and I think I understand more now. I was trying to see how SSM could be used to eliminate the need for engineers to have SSH keys set up with instances.

> Who should use Session Manager?
> ...
> Users who want to connect to an instance with just one click from the browser or AWS CLI without having to provide SSH keys.

Perfect, how do I get started?

> Step 8: (Optional) Enabling and controlling permissions for SSH connections through Session Manager
> ...
> Create or verify that you have a Privacy Enhanced Mail certificate (a PEM file), or at minimum a public key, to use when establishing connections to managed instances. This must be a key that is already associated with the instance.

Uh oh, what's going on?

Well, I think I understand now that using SSH with SSM is optional. You can use the AWS Console or the AWS CLI to connect to a shell on the instance without using SSH. Then you don't need keys and even grants additional benefits like the ability to shell into instances without a public IP and without opening any ports. However, SSM+SSH has some advantages like SCP which I don't believe is supported by SSM alone.

Another thing I've been looking into is AWS CloudShell which is free. When opening CloudShell essentially a virtual instance is created within your VPC with Amazon Linux installed. You can then use this shell to SSH into instances. I haven't looked into it much because I would rather use SSM but I believe this could be used to essentially be an ephemeral bastion that is secure in that it doesn't accept public requests, it can only be accessed via the Console.
I stopped consuming news a long time back. What really affects my day to day life are ultra local news (new schemes by government, crime near my place, changes to services (such as hike in transport/utilities, new startups near my locality etc.). In countries like Singapore, because the news papers/media fail to bring these important issues which affect people's lives directly, they have the community centers (CC) and each building having a CC board, which dispatch such important news.
They might not be hard to learn, but it's still a considerable mental overhead to switch between writing JS on the frontend and anything but JS on the backend. I frequently mix up the simplest things, like len(list) vs list.length, or how that you can't use obj.property on Python dicts, or list.append() vs array.push(), etc. And then you might have a great tooling library in one ecosystem (like lodash in JS) and try to replicate the things in your backend language. That sort of context-switching simply isn't worth it in my opinion.
This "right to truth", as in a right to demand that other people don't believe in anything untrue (?) or at least that search engines don't return anything untrue (?) is an absolutely dystopian idea.
> So engineers only have one language to absolutely master.

I'm always amazed at the reluctance of developers to learn and use multiple languages. To use an old analogy: they're like carpenters who are unwilling to learn how to use a saw because they have a perfectly good hammer.
Not saying you're wrong - but a few examples or stories would help sell this idea.
I think the bigger picture is _sleep hygiene_. Don't use your LCD device before bed. Don't have all your birght LEDs blaring in your house until midnight.

We evolved as diurnal monkeys, with bright days and moonlit nights, staring at a mix of near and distant focal points all day. Now we stare at a glowing blue rectangle 1-2' from our faces for the majority of waking hours.

Break the cycle. I for one read (paper books, or on tape) after 9pm. I have zero devices, clocks, LED's, etc in my bedroom. My Phillip's Hue lights step down and dim as the evening progresses, rather than lighting my house like a bus station. I sleep much better than I used to when I sat in front of 3x blaring LED monitors until 1pm each night.

Good luck.
The hype around crypto started with the revelation that bitcoin brought forward: digital scarcity.

A lot of folks hopping on the hype train mentioning they are doing X with blockchain are missing the revelation. blockchain is just a piece of the innovation, imagine if when the car was invented and suddenly inflatable tires got all the hype … that’s pretty much the times we are in. The whole is greater than the sum of its parts.

All the pieces that made bitcoin were already there. Satoshi was just the first to arrange them in the right order
RetroArch 1.9.11 Released
My phone is a Nokia dumbphone, everything else I own runs Linux, except for one PC that is connected to a bunch of audio hardware, microphones there are under control of a Tascam mixer that I'm pretty sure won't do anything the faders won't allow.

Yes, it is an exception, and I'm well aware of that.

And yes, I do make calls and I do send messages, but only using my carrier and not using whatsapp or something like that.

The big exception to all that is using google meet but that's not in my house (in the office, with dedicated hardware), or on my Linux based laptop in the browser.

Browser is Firefox.

So, I do what I can to keep the door closed on bullshit like this, no doubt I mess up every now and then but on the whole it is as secure as it gets. As opposed to the neighbors where there is an Alexa device in every room. If I've managed to piss off some nation state level adversary which has decided to target me specifically (which I highly doubt) then I'm sure they could tap my communications at the carrier level, but here in the house unlikely without some B&E on their part.
Sleepwalking to War with China
Can anyone plausibly interpret

> For instance, unlicensed moneylending (UML)-related harassment cases involving damage to property, housebreaking and motor vehicle thefts

?

The following paragraphs state that, in five years, damage to property fell to one third, housebreaking halved, motorvehicle theft (in carparks) fell to one fifth, and theft from motorvehicles (at carparks) fell to one third. I do not understand what «moneylending» has to do with these categories.
where do you live where the sky isn't blue?
And because the users let it.

Most of the people on HN shared the issues about Facebook with relatives, only to get a polite smile at best.

People don't care. They are OK with it. They are consenting victims.
And the actual application doesn't seem to be opensource. Welp.
Are some 'misinformation' sites unavailable?
This goes to an illusion found in social groups. Even very large communities are actually tiny - only a fraction of the members matter. For example, Hacker News is read by who knows how many thousands of people. But a huge amount of damage could be done to the quality of the community with a couple of tens of users being removed. The effect turns up a lot in companies too - very small nerve centres, large and powerful surrounding apparatus in which everyone struggles to take useful action.

There isn't really a principled or ideological way to approach managing that small core. The only models that seem to work well are to form a community around a powerful dictator who gets to eject people from the core group (a moderator in the online setting, owner in the corporate setting, leader in a social setting, etc). Then pick one option out of:

1. Maintain a rigid and traditionalist culture that tries to keep the core pure of external ideas (I argue academia is a good example of this).

2. The hydra of democracy that lurches between catastrophe and farce, somehow usually getting good results as people rapidly reorganise around what works for them.

3. Collapse when the core group becomes corrupted or moves on.
PBS and NPR provide a good counterpoint. They are relatively civilized media, and while some might argue they are propagandistic, I tend to think they are much more centrist than the Fox News and MSNBCs of the world.

Just because we offer a utility doesn't mean that we need to shut down what's already out there.

FWIW, we dragged our feet for a very long time banning tobacco from many public places, probably in large part because of lobbying. What do you think is the mechanism by which Japanese legislators would be incentivized to systematically slow down tobacco legislation?
As usual, those who have learned Nix have completely forgotten what was difficult about it in the first place. And those who haven't are so confused that are unable to ask good questions.
From the pic at https://youtu.be/SAekbJf4Gsw?t=28, looks like he was looking for gaps inside the phone to put some components, and making a super thin board to wire them all together.
Could someone tell me as a layperson, how finding these numbers is helping humanity?
What do mean unlocked? This can happen on any phone the OEM chooses to load malware on.
This might worked on solo projects but if you’re working with people, I’d highly recommend enforcing type checking of some sort. People will ignore the IDE error messages.
What does a loan-shark do if someone doesn't pay? Try to intimidate them and/or try to recover value from them.
im not sure i disagree, but i have a few points that i believe do fit the timeframe:

* openAIs text engine

* teslas driver assists

* serverless workers as ga in cloud

* container instances as ga in the cloud

* .net core, blazor?

* cloudflares infrastructural innovations

* next.js or whatever the latest framework is called (was it nuxt?)

* webassembly ga?

* rust ga?
That's a nice collection of old computer mice!

If any of you are fortunate enough to visit CERN in Geneva, there's a mouse museum:

http://computer-animal-shelter.web.cern.ch/index.shtml

I'd be particularly interested to see a decap of a PixArt chip (e.g. PAW3515DB). The USB circuitry is included in the same package as the CCD sensor, and I'd like to see how they do that! I also imagine that the die geometry is quite large, because power requirements aren't a major concern, but cost is. It would also be nice to see Ken Shirriff do a historical write up of mice over the generations.
This is hardly the most frivolous thing humanity does. It's ok if it never has any practical applications.
While none wants the dollar to collapse they are also not willing to see their own economies suffer at the hand of irresponsible people in the fed and Treasury.

It is pure hubris to believe the it is impossible for the world to get off the dollar. Hell their have been talks about it in a orderly way by many nations for a long time. OPEC is one of the leading reason for US dollar dominance. If OPEC starts trading oil in something other then USD well we here in the us are going to have a bad time.
> I also wonder whether there's anything stopping _Linux_ slowly becoming something more like this over time by supporting kernel modules that have direct but _limited_ access to talk to each other in more ways that can be verified at load time.

You are more or less describing eBPF and the evolution you are wondering about has indeed started slowly happening for some years now.

It does however use special bytecode but getting compiler support is not such a hard problem compared to building the safe VM.
nix has been around for 18 years. If the documentation is still sparse after all these years, it's not a problem that will be fixed, ever. Same for explaining concepts.

Proper errors are a huge and poorly understood problem, so I'm inclined not to judge those too harshly.
Does it needs root to install ?
Why do DL networks work well in spite of being drastically overparameterized?
Ask HN: Will Windows 11 stop open source app support for Windows?
Windows 11 can run Linux GUI apps, so why support Windows directly in open source apps?
> I think it's also on us to stop holding facebook at such a high level.

> People are proud to have facebook on their resume, maybe they shouldn't be. Maybe facebook should be seen as an embarrassment. Maybe facebook should be something you want to hide from some employers because they're going to judge you for accepting a job from them. (Exceptions for h1b, first job, etc apply)

> It's kinda how if you tell me you were a cop I'm going to immediately see you as a power hungry and abusive thorn in society. The burden of proof is on you to...show me that's not true. Some decisions have consequences I suppose.

You appear to be in some sort of bubble, where people are ashamed for their engineering work. This is never going to be true; anyone who puts something on their CV that indicates a high level of technical competence is going to be in demand no matter how much you wish otherwise.

Same with cops - you appear to be believe that law enforcement is forced upon an unwilling population. This is also not true: people prefer to live in places with an active and working law enforcement. If there isn't one the populace, by clear and almost unanimous majority, creates one.

You are free to move to places that don't have law enforcement officers. However it seems that the rest of the world (outside of your bubble) doesn't care for your ideals. I can't blame them.

While we're on the subject of judging people, what do you think people think of you when you say you want to ostracise law enforcement officers?
Why airlines need business travel to return
Democracy vs. Autocracy
I think computer benchmarks should compute something useful, like mersenne prime verification. Million of benchmarks are run every day mostly on newer device with decent computing power. This amounts to a large amount of currently unused cycles.

Maybe it would be possible to create a block-chain technology in which their participants calculate something scientifically meaningful.
That isn’t just disagreeable, it’s measurably wrong. The DOM is insanely fast when you aren’t lazy, such as using query selectors.

https://jsbench.github.io/#b39045cacae8d8c4a3ec044e538533dc

A trillion unnecessary and never removed event listeners will also destroy your performance. Event listeners are an extra layer of abstraction that you can live without if you know what you are doing. That’s a big unlikely if.

React is not really a performance bottleneck either but it also certainly isn’t a performance benefit. This is that immaturity the article speaks to.
I've used it to create some parametric stuff (an alternative layout piano keyboard), it's super powerful.

Here is an example:

module slice(r = 10, deg = 30) {

degn = (deg % 360 > 0) ? deg % 360 : deg % 360 + 360;

difference() {

circle(r, $fn=100);

if (degn > 180) intersection_for(a = [0, 180 - degn]) rotate(a) translate([-r, 0, 0]) square(r * 2);

else union() for(a = [0, 180 - degn]) rotate(a) translate([-r, 0, 0]) square(r * 2);

}

}

module 3d_slice(height, r, deg) {
linear_extrude(height = height) slice(r, deg);
}

module key(c, n, l, padlength, a) {

padangle = 6;

// support

color("brown") render() rotate([90,0,0]) translate ([0,0,13 * n]) difference() { 3d_slice(12, l, a); 3d_slice(12,l-(padlength-3),a+0.1); };

// keypad

color(c) render() rotate([90,0,0]) translate ([0,0,-6 + 13 * n]) difference() { 3d_slice(24, l, a+padangle); 3d_slice(24,l-(padlength-3),a+padangle+0.1); 3d_slice(24, l, a);};

}

module note(n) {

colors = ["red", "black", "white", "black", "white", "white", "black", "white", "black", "white", "black", "white"];

tone = n % 12;

// angles just below the keypad

aa = 3.5;
ab = 6; // this one is important, too small and you won't be able to press the key all the way down
ac = 8.25;
ad = 10;

hingeoffset = 6;

keypad = 30;
length = 225;
width = 12;
height = 12;
space = 1;

xlat = (width + space) * n;

if ((n % 2) == 1) {

l = length - keypad + hingeoffset;

color("brown") render() rotate([90,0,0]) translate ([-6,-hingeoffset,xlat]) cube([l,width,height]);

key(colors[tone], n, length-3*keypad, keypad, ad);
key(colors[tone], n, length-keypad, keypad, ab);
}
else {

// long keys

l = length + hingeoffset;

// base

color("brown") render() rotate([90,0,0]) translate ([-6,-hingeoffset,xlat]) cube([l,width,height]);

// inner key

key(colors[tone], n, length-2*keypad, keypad, ac);

// outer key

key(colors[tone], n, length, keypad, aa);
}

}

for (i=[0:60]) {
note(i);
}
It literally says what each field does..

Just because it doesn't have an obvious minimal modern UI doesn't mean it doesn't do its job. Gotta read I guess .. but then again Nix also in general has a prerequisite of "calm down and read." But then again, so does Linux!

The only thing you need to do to be Nix-competent is not flip the table and blame the tool when you get an error you don't understand. (Same goes for Haskell.) That said, my years of industry experience has shown that that is a rare attribute - doubly so amongst those with experience and therefore egos.

People in this thread act like Nix users are out of touch. Maybe, but I'd rather be out of touch and learning than grumpy that I had to read.
Obviously, it spreads misinformation and conspiracy theories, just look at this post about the nsa and GCHQ. Obviously just a bunch of tinfoil hat republican trumpies.