skysight-inc/HackerNews huggingface dataset:
Aighht... basically, that's kinda like, you know, REALLY bad... Tbh, it'd been way less damaging to your security posture if instead they went like :

"yeah... we're gonna have to go ahead and reconfigure your home to operate in passthrough mode. This is going to require techs onsite so we went ahead and deployed some generic subcontractors. What they have to do there is, well kinda counterintuitive. They will be using brute force techniques to uninstall and didpose of ALL of your doors. So.... there's a bunch of little wireless packet things, like the kind use for 5G, or the other 5G, flying around everywhere. They always bounce off things and they get lost a bunch. Now that home passthrough mode is enabled, the packets can just 'pass through' and get where they wanna be. Sometimes other things, like humans, or ocelots, 'pass through' too. How exciting! After all, at ATT no one gives a ** if all kinds of critters go through your crap whenever we 'fix' something. "

When your ISP screws up your router settings:
1) It's highly likely you won't be aware there's a major security problem with your network.
2) potential attackers include, but are not limited to, massive numbers of ill-intentioned, yet impossible to identify, individuals quckly become aware there's a major security problem with your network.

When your ISP performs a literal brute force attack on your domicile, leaving you completely doorless:
1) You KNOW, 100%, that there's a major security problem. Your doors are gone. No doors. The physical equivalent of a router in passthrough mode.
2) Potential attackers are within a relatively limited geographic area, with numerous ways to learn more. They've likely noticed that things in your home life have been a bit weird.
Was this generated by GPT-4?
Sweet thanks! I'll keep working on it :)

Yep the author links is coming as well, I've been working on some basics there.
Yes. Morning meetings to see where everyone is at vs yesterday, brainstorm any issues, and declare what they're working on. Then go solo all day.
The ultimate answer is 42.

https://simple.m.wikipedia.org/wiki/42_(answer)
The US not only has found a way to make the puppets dance very fast, but also to make them clamor for it. Remarkable and terrifying.
> The division of math into "ambiguous" English and "formal" formulae/symbolism is semantically artificial. Both of these are human languages.

I'll grant the obvious: both are human languages. But what does this assumption prove? It certainly does not prove that math is not formal.
I used booking.com to plan a short holiday earlier this year. It messed up the card payment failure with zero feedback, so I wasn't sure whether any payment had gone through or not.

Long story short, I just booked the flights on the airline website and the hotel room through the hotel website. Price difference was maybe 20 EUR give or take, with very little extra inconvenience. And I had the assurance that if there were any problems, I could just contact the airline or hotel directly without having to deal with booking.com.
Really interesting dive on an experiment.
The part on failure has a lot of value. Everyone approach it differently but I felt like Cal has finely tuned its mindset around it.
He makes it a happy moment, which is a hard thing to do even if celebration of failure is common in startup/HN world.
Even more interesting is that he is using failure to learn, not by boringly doing a post-mortem, but by playing with the seemingly wasted ressources and time to have fun and develop his intuition.

At first, I thought this was distracting, now I totally see the value for HN (and me).
I have to find a way to dive deeper in this topic of mindset around failure.
You'll have one headache less: licensing...everything else is the same shit
The Judgement Worker Revolution
If you can't go below 40%, it might make sense to reduce the capacity by 40% accordingly when making comparison calculations against tech that can do that no problem. How does bang for buck look then with SLA versus LiFePO4?
Are you near Utah? The fact you are being routed to a cloudfront pop in IAD is kinda broken.

What are you using for your DNS resolver?
Walking the stack via frame pointers is also faster than some other methods (https://blog.felixge.de/reducing-gos-execution-tracer-overhe...), it appears. This benefits use cases like profilers and tracers. In big deployments, continuous (sampled) profiling and tracing are common, helping not only with continuous performance improvements in fleets but also helping to root cause outages. Reducing the cost of such infrastructure can pay off.
But if you look into detail about what they are saying, they are talking about animal/human-like conscious digital beings that have thousands or millions of times the performance of a human. So they are also making a leap there between something that is general purpose and that.
As with anything, it varies. Software engineers in China routinely put in 72 hour weeks (996), and are required to make up holidays using weekends if the holiday falls on a week day. Even “labor day” is made up on a weekend, ironically.

The workers’ rights Americans are accustomed to might be viewed as lazy or unambitious in places where working more is the norm. And across the other pond, where many Europeans have generous PTO and leave allowances, they view Americans as very hard working while some Americans might view Europeans as lazy or entitled. It’s all relative.
Yeah that was painful to read. I spend a good 15 hours a day on my PC but I can't imagine writing something like that about some website.
Montañez is apparently a liar who was once a marketing director and is now heavily marketing himself and his made up story. That sort of thing really does take daring and courage but I'm not sure I'd call it 'accomplishing something impressive', especially considering that the lies were found out and exposed.
30 euro seems reasonable. In the US you can get unlimited everything for $30 a month (well, after some amount of data in the gigs I think it downgrades from 5G in the fine print).
> Software patents have never contributed anything to society.

this is very noticeable because the truly useful software algorithms don't get patented, they get protection via trade secrets instead (and enforce it via courts and various internal processes).

I say abolish software patents. Software copyright is good enough.
So far, the biggest problem is the UX. Following someone from another server is not one click away. Until it's resolved, it will not gain mainstream acceptance.
What are you using for DNS?
you don't care about their addiction, you care about casting moral judgement on people who take drugs you don't like
How much time does that waste, every single time I have to interact with these? How much quality does it lose?

Face it, these "modern" image formats are a massive annoyance for everyone except Web engineers.
Fair enough, but honestly in my experience Netflix is a long way off over-fitting to thumbs. I never watch cartoons or 'kids' category stuff, how hard can it be.
Reddit is also on that list and has downtimes like that much more frequently than Twitter.
Oh dear, I literally just had a dream last night about how MS was gonna build GPT into the keyboard and even in my dream I thought "what a complete lack of reflection that must have taken, to think this is a good idea."

Guess I'm on the search for a new keyboard as well then. le sigh...
Just look at the trajectories: the whole world is building renewables on an ever increasing scale which will replace fossil fuels bit by bit.

By keeping the existing Natural gas plants available the world will have sufficient peak and compensation capacity until improvements to the grid and batteries make 100% renewables viable.
Quite sure some dumb billionaire would buy this in a drop.
There's a lot of alpha in lying.
Oh yes, he is https://www.justice.gov/usao-nv/pr/felon-sentenced-over-six-...
Separation of concerns is nice
Uh, have you read the part in my comments where I said that they're morel likely to be honest about it? Having a short errata or no errata at all doesn't mean the product is flawless. It could be that they don't know all the faults yet, or aren't sharing them, or both.

For ST it could be that they seem to be the most popular cheap ARM microcontrollers for hobbyists and consumer products, so it's easier to find faults in them since so many companies use them, similar how the most used pieces of software also have the most vulnerabilities reported on them.

Also, maybe ST was not a great example on my end, as they seem to have an obsession lately with outsourcing and farming out everything to the cheapest offshore location possible and penny pinching to the extreme for their consumer oriented parts. I don't blame them though, competition in the generic ARM microcontroller market is cutthroats and margins are slim and salaries are low and your major customers (Sony, Apple, Samsung, LG, etc) keep putting the pressure on you to lower your prices or threaten to look somewhere else.
I used Stable Diffusion Dreambooth to generate my github profil picture, what do you think ?
https://github.com/dezmou
>> Given any positive integers r and k, there is some number N such that if the integers {1, 2, ..., N} are colored, each with one of r different colors, then there are at least k integers in arithmetic progression whose elements are of the same color.

> The majority of the semantics of this statement are part of the prose.

The semantics can be expressed as prose if you like. They can also be expressed formally. As you know, 'color' is used here for the convenience of the reader. The underlying semantics works independently of the English notion of 'color'. You know this. What do you think is not formalizable about your example? "Given / assume": no problem. Introducing variables: no problem. Specifying variable types: no problem. Various mathematical structures (sets, sequences): no problem. "there are / there exits": no problem. "at least": no problem. And so on.

> Even having perfect "semantic" information about the formulas gets you absolutely nothing.

You have shared some good counterarguments, and I appreciate it, but "nothing" is an exaggeration here. It doesn't advance your argument.

> You cannot reason about this without being able to reason about human language in general like a human can

This is incorrect. You sound knowledgeable about mathematics, so I'm quite surprised you would make such a claim. Are your emotions (perhaps a loathing of Semantic MathML? -- your comments suggest this story) clouding your logic here? Deductive reasoning is well studied in computer science. To state a previous point again: there are many formal systems that can be reasoned over to various degrees. Such systems are still useful and quite different than English.
Low-depth simulations of fermionic systems on square-grid quantum hardware
69 all the way
Did you ask Booking.com to solve the discrepancy? After all, the extra charge may have been something the hotel came up with.
It is intentionally priced “not to sell”, so the price should be irrational.

Still wouldn’t be too surprised though if someone bought it.
Systems Approach has a new book on Private 5G [1], with a hands-on implementation example in the Appendix [2]:

[1] Private 5G: A Systems Approach:

https://5g.systemsapproach.org/

[2] Hands-On Experience Appendix:

https://5g.systemsapproach.org/software/overview.html
There are no fees at America’s smallest bank
Dont worry about the "growth" hackers. Attention is finite. They cant hack that.

How many books get added to a library, or how many ppl get shoved into the library, has no effect on how many books one person can actually read and digest at a time.
Apparently launch is planned for 8am CT / 2pm BST

https://twitter.com/SpaceX/status/1647767704177192961?t=9e-I...
So what is the new hip keyboard for Android? Ps, I don't like Gboard.
The message is meant for people with security clearance. "Don't leak documents, or this might happen to you."
I don't have the exact numbers but even then it's cheaper. The only issue is - can you trust yourself (or your planning) to ensure you don't go below 40%? Real life is hard to plan.
> Semantic MathML is not useful

Earlier, you said it was both nonsense and unlikely to ever work. Now you say it is not useful. You are moving the goal posts. Your comments have had a mix of thoughtful examples (thanks) with some exaggeration and rant. I'm trying to tease these apart, but it isn't easy. I can see you have a strong negative reaction to Semantic MathML, but so far, your writing hasn't been persuasive.
It’s not an accident the French are able to protest for workers’ rights while Americans mostly can’t. And it’s not because of differences between French and American psychology either.

No, the reason is simple: unions. Most Americans aren’t in one, which makes collective organization nearly impossible. Businesses know this, and politicians know this, which is why some of them have made it a point to demonize and defang unions.
Will there be a public defender version of Harvey ?

No ?

Well. Just as I suspected.
It's not really that remarkable. 98.6% of Canadas population lives in provinces that border the US. And provinces don't have much population. Outside Ontario, no province has more people than NYC. I would imagine more trade would happen with a land-bordering country with 90x the population than with a neighboring province.

Or, to put it another way, I would not be shocked if every US state trades more with China than it does with any other state.
A per pro of nothing, I believe strongly that all online identities created towards the end of 2022 should be subject to a 'human verification test'. Just in case. Not sure how it would work, but just suggesting it might be useful/valuable.
Seen on Techmeme:
"Similarweb: in March 2023, Twitter's traffic fell 7.7% YoY, the third straight month of decline, web visitors fell 3.3% YoY, and Android app DAUs fell 9.8% YoY "
What about drawing Pikachu for personal use? Putting it on a wall in my apartment, for example?
I would also say No Source Code == No Copyright, we should require companies escrow their software source code so that when their software becomes abandonware, users can continue development of it.

This would also get closer to a right to repair software.
Every time I learn a new programming language I often write Tetris as my first "hello world" type program and yet Henk Rogers' shock troops have yet to find me, I'm sure anyone who asks the same of ChatGPT will be similarly just fine unless they try to publish the result under the name Tetris, whereupon they would be quite rightly set upon for infringing the trademark. I don't know if the fundamental game design however is trademarked in some way as there are many OSS packages that implement the same game design such as Ltris, Petris and so on. Perhaps the problem only appears once it is copied and used for commercial purposes.
The US has 13 million hungry children, whether OP is from Europe or the Moon.

That's cool your church throws away food and your local homeless people aren't literally starving, but we don't need to rely on anecdata for this one.
I am forced to work in the MATLAB ecosystem. Basically there is no ecosystem outside mathworks released products. There are some open source projects but none of them add any major functionality. If your project needs anything that is not standard numerical computing, you only have the mathworks tools which are often deficient and designed for lowest common denominator of programmers. Compiling in matlab is just translating the source file into a binary format. I work on a legacy codebase which is old enough to think about settling down and planting some roots in a suburb. Due to this its a mix of all evolving paradigms and syntax matlab has tried over the last couple decades. I hate that I know this much about this toy language and I have made/saved millions for companies by delivering programs in this language.

So basically, don't switch to matlab.
Just found that Google Mesh Wifi does this at my home.
25Mbit/s and 900ms. Directly with cable 800/800Mbit and 4ms (full speed).

Deactivate priority for Zoom, and now I have full speed.
Having worked in Go, C, and Java I'd say the easiest by far right now is Golang. It may seem trivial, but even the insanely fast compile times of Go make life just seem more pleasant.
Shout out to Fabrice Bellard's Amarisoft, which deploys software defined 5G stations.

[1] https://www.amarisoft.com/
[2] https://bellard.org/lte/
In the Mastodon web UI for interesting people that pop into your timeline (via boosts/retweets) it is 2 clicks, go-to-profile + follow. Some clients have it as one click directly from the timeline. That is hardly a high UX barrier. OTOH when I am in Twitter UI I am always surprised how cluttered it is by Twitter recommending me all kinds of people I should be interested in somehow. Any UX takes a bit of time to get familiarized to, and then you no long notice its warts so much.
Probably the gap between stock keyboards and SwiftKey has narrowed down over the last decade. The key differentiators are:

Mixed language model learning: ngram models learnt on phone span base language models so it's very good at Spanglish.

A probabilistic typing model is learnt on device to capture characteristic patterns of key presses/misses for your typing style.
It's probable that the psychological effect of having the light on is distorting how they perceive the insects hitting. I think the only scientific way to deal with this would be to make a bug spraying machine that can spray bugs at someone's face in different patterns. It may take a little time to find the right pattern, but when the subject thinks it matches what they experience with the headlamp they could say "Yes! Yes! That's the one!" (or they could just put their thumbs up and smile if they prefer not to open their mouth)
unlike you, getting upset about people caring about something they use a lot?

sounds very healthy.
I don't use my phone keyboard much, but as a programmer my keyboard definitely feels like an extension of my body, one that literally allows me to get my work done. Many craftspeople care deeply about the tools they use. I can totally see how someone would feel similarly about something like this.
It’s less the formality and more the hypermodern idioms that feel out of place (what’s the opposite of anachronistic?) in talking about a historical subject. Like, yes Mark Twain had the rizz and the Confedussies took the L but that’s probably not how I’d discuss it.
Omega molecule bomb borg space! Build a firewall around that section of the universe. Let that hegemonizing swarm burn itself out while trapped in jello.
Explain to me why you would hire somebody if they lose you money.
Swiping and the features you mentioned are amongst the best I've tried. So yes, it's a "better" "usual" keyboard that makes me type more efficiently than other keyboards. E.g. Gboard doesn't come close and feels like a big downgrade.

Fast edit: it's Monday morning, I didn't realise there were so many other replies already.
There is a bigger difference between created with the help of ChatGPT and Created by ChatGPT.
Yes, and imagine a mobile developer openly saying Android customers are cheap and leave bad comments.
It's still part of the kernel code: https://www.kernel.org/doc/Documentation/nommu-mmap.txt

And apparently, good enough to run DOOM: https://hackaday.com/2022/12/07/a-tiny-risc-v-emulator-runs-...
And yet the vanity metric is right in the title.

Most of what we hear of the Fediverse is rants about twitter and a few of the same subcultures over and over again.

There used to be a site long ago, lost to the mists of time, called Big Boards, tracking the biggest forums:

https://web.archive.org/web/20130223011947/http://rankings.b...

10 years ago it was a thing called Gaia online with Chibi anime thingies and 2 billion messages. The more things change..
I can't help it, the name always triggers me. The first association I have with this name is "a social network built especially to be controllable by the feds."
That's an argument for including support for real mode, rather than for coming up in it. Modern systems booting legacy software are already transitioning into protected mode to run the UEFI stack, and then switching back to real mode before passing control to the Compatibility Services Module.
Where's the caching in this example?
Why not try to give her some real life problems to solve?
Just FYI, it's "apropos" :)
For all we know it may not even be necessary to model the higher fidelity aspects of our brains for a form of intelligence to emerge.

There may be many roads to intelligence. The path biology and evolution took may just be one such path.
Analysis is the most straightforward path to resolving disagreement. Get enough people talking and you'll have disagreement. The immediate result is analysis.
Another factor is that protocols propagate much slower than individual pieces of software

Email, the thing with the "@" symbol, was invented in 1971. Most people did not use it until 30 years later.

ActivityPub, the thing with the two "@" symbols, is now 5 years old. If we assume it will propagate twice as fast as email, it will take another 10 years until it hits the mainstream.
Author here. I started it prior to Chat-GPT.
At the end, i used it for help on some of the definitions.
GPT-4 is better than Chat-GPT for definitions, but there are still large amounts of hallucinations there. I think it's because it's a new field.
phind.com blows the competition out of the water.. the results are amazing.
"Only 1 room left" has become a totally useless message for me. I book every 2 months in the same city at different hotels, and I'm seeing this message pretty much all the time, and there seems to be always 1-2 rooms left, whether I book now or later. I'm guessing some hotels only put 1-2 rooms up in the system at a time, or something similar
Knuth has an entire chapter dedicated to floats, error ranges and such, which includes pretty much that (a+b)+c != a+(b+c) for floats, which in turn breaks tons of things on the math side already. That is such a large issue that it has some serious consequences in the real world, e.g. constructions failing, or I remember the Patriot missile system having problems from that side.
Sure. It's just not the norm. JK Rowling is essentially one of a kind. The tech sector is an outlier too, in that it is normal for founders to be significant technical contributors. In most of the economy, rich people become rich through rent seeking.
> Domestic housecats are naturally extant only in the Middle East

That's not really true - in most of europe, the native wild cats and domestic housecats are closely related and interbreed. see e.g., https://en.wikipedia.org/wiki/European_wildcat (Iberian Peninsula, Italy, Central and Eastern Europe to the Caucasus).

Many of the types of domestic cat found across europe were already bred in antiquity as well.

So it's not that clear-cut, and local wildlife has adapted quite well to it.
remember when nintendo tried to make their own mcn. basically if you make nintendo related content, nintendo will take a pay cut or you get copystrike.
do you understand how often there are issues filling one's adhd prescription on time even before the shortage? Almost every month the pharmacy is out of stock for a couple days. Very few people sell their couple of extra pills, they are saved for the inevitable delays in filling scripts.

And honestly? Why is this even being discussed, as if college kids getting adderall to study for math tests is some societal scourge ruining lives or something? Who gives a shit and why is it an issue that justifies making life difficult for people who are prescribed it?
What's your favourite example of where it doesn't work? Physics is full of quasi-infinistesimal quantities and I always like good counter examples (ideally without invoking something like the blamange function or similar....)
Those aren't up to them to decide, there's laws. Emulation, romhacks and mods are perfectly legal whatever they think.