skysight-inc/HackerNews huggingface dataset:
I've only ever found this to be effective when I'm typing what I'm reading verbatim.

Are you able to type something other than you're reading? How do you scroll?
I'm less optimistic than ever. Voters recently rejected the split roll property tax ballot initiative, which would have affected Disney but not their home property tax.
I have tried it. Working in VR is much better than I expected it would be, with the right equipment. Still, I quit after a while mainly because of the quality of text rendering. It is so much better than it used to be, but still not good enough, at least not for me.

I also found it surprisingly frustrating that I couldn’t see the keyboard. Every time I took my hands off it I had to do this blind search for it and get my fingers back to the right starting position. Symbols I don’t know how to touch type because they are rarely used was also more frustrating than I would have thought.
No, a gamma ray burst pointed at us within several thousand light years could cause a mass extinction event. There are a couple of candidates for mass extinctions which might have been GRBs. They are very rare though.
Yeah it’s the trials that are really expensive, not the basic research. The government gets to spread its dollars around to lots of individual researchers but if they were instead using that money to fund phase III trials (1) we’d have a lot a lot less money for basic research (2) we’d fund a lot fewer phase III trials so (3) we’d see much less drug development overall. Also I’d worry about a potential conflict of interest if the same government is conducting and evaluating the results of drug trials.
Here comes the butthurt brigade. Any time any positive news about India comes out, these trolls come trotting out, with the same tired-old tropes: toilets, casteism, patriarchy, etc.

You clowns need to come up with something new.
I don't know why you were downvoted, I had the same question. Port 6667 means to me that it's plaintext, but it looks like hidden services don't have the "exit node leak" problem clients have with plaintext protocols because they're not involved in the traffic with the hidden services. It looks like the traffic's encrypted all the way.
Your thoughts presented would cause you to be cancelled in Canada right now.
FWIW, one can also do this comfortably with a single HiDPI display.
That's only loosely a function of process node. Even for the same chip it will vary drastically depending on temperature, voltage, etc.
Love how people jump to flag this comment as irrelevant, when the op just says that basic sanitation should be prioritised over military helicopters.

One thing that opened my eye recently to how nationalistic Indians are, is a new Indian colleague. So much false history and propaganda. Great guy though.
2275 square dollars would be more correct, since GBP/USD is 1.1372 right now.
The proof of concept was with the first Starlink launch of a string of satellites, the rest is just orbital mechanics. ("just"; it's literally rocket science.) You'd only get Internet for a few minutes with it, but that would be enough to prove that the satellite and recievers actually work.
A note taking the provides a VIM Based keybindings to navigate and edit by using various modes, will be so good.
I'd like to see an honest conflict of interest statement from the Justices on this case.
Asks @luckylion:

> Do you agree with the point about them being very selective what cases they choose to show basic decency, morality and solidarity for suffering people?

The whole argument around selectivity, so far, rests on these examples:

> The blog has had an aside on the death of Mahsa Amini in Iran, but not on the brutal murder of Jamal Ahmad Khashoggi by US ally Saudi Arabia. More recently, the blog had nothing to say about the political persecution and extradition of Julian Assange to the US. The blog hasn’t mentioned the criminal murder of Shireen Abu Akleh by the Israeli military.

These individual incidents are all worrying & indicative of a greater larger bad pattern. They're not good. But they are still far cries from the systematic, broadscale injustices that the three current callouts have said.

Im fine with there being some kind of process, but rather than it bring a process of rules & requirements & checks & balances, a 60% majority on any proposed declarations would probably serve better. I fear that making a set of heuristics that any proposal can flow through will lead to systems abuse, with low quality biased proposals of support that arent representative of the larger community, and at great cost of debate over how authenticatable the claims really are. And reciprocally it would give the stick in the mud anti-* crowd a chance to rules lawyer & stomp their feet & throw mud over whether something that everyone else agrees qualifies really does qualify.

Process is exploitable. Jamming the system or draining everyones energy is incredibly easy, owing to the Bullshit Asymmetry Principle. The author seems to be asking for a very exploitable, easy to jam, very slow process, one that could let fringe views have outsized voices. Im not opposed to some process... I think a holding of votes eould make sense. But the author's ask sounds like a bad faoth ask to make the system exploitable, to armor it, but in such a way that there will be more obvious chinks in the armor that those with enormous energy & time to drive counter-politics, to generate discord, to resist basic goodness would exploit.

Right now I think Rust has done a fine job. They dont need guidelines now. They have commented about broadscale, large issues with mass impact on populations, that are involved in active & sizable conflict that hurts people. I think there's room to consider other cases here, but none of the authors listed examples frel anywhere near this level of tension, and that seems self-evident & obvious. So I'd prefer we let it ride as is with no change, given the good job the Rust blog has been doing.
> shift as much responsibility on the compiler as you can and have the compiler check the code you write to any extent technologically possible.

I think that people first starting out or people who have never worked on large/new code bases with a diverse range of authors don't seem to appreciate this concept.
Paul Allen’s quest for sunken warships
Views are a currency, and not one I wish to give to GBnews.
I wonder how this can be brigaded and manipulated. Remember, there are millions of bots out there that can be programmed to do whatever they want. If you can brigade them properly, then it can be manipulated. Maybe that's a part of the $8/month plan that Elon has, make it very expensive to run bots.
I speak them all the time, and most agree with me.
Not in any way that matters to the comparison.
Big corporations already negotiate subsidies, even with Prop 13. This just makes one less thing that they pay less on by default. You were hoodwinked.
It looks like they put extra effort into making the Meta Quest Pro comfortable. Do you think those straps would need replacing? If so, do such straps already exist?
It's true that Mathematica has more polish than Sage, but conversely Sage has vastly more pure math functionality than Mathematica (Mathematica seems to me to have focused on data analytics and neglected mathematics), so the projects just have different focus.
> C vs Lisp

I wish there was a statically typed functional language on the right hand side, because `(defun take-action (thing) (format "ohgawd what type is thing?!"))` is for sure less powerful than `int take_action(struct foo *thing);`
It would be great if people posting opinions in this thread could share which headsets they are basing their opinion on.

Many seem to be discounting it entirely without qualifying their comments with the headset and tech setup used…
> They are all territorial and have personal relationships with the land until someone waves a few $million in front of them.

this describes real estate developers.. there are plenty of those, and plenty more waiting if they could. But wilderness land owners are (mostly) NOT the real estate developers really because .. ? test question..
I was confused by the author's definition of a relation. They said that a single tuple is an "unary relation". They probably meant a single-tuple (1-tuple).
Removing the hyphen changes the meaning. https://en.wikipedia.org/wiki/Finitary_relation
See the article linked in my comment - before you first posted here - for information on who to send your belongings to.
What's SPN?
Language drifts. You might as well be upset that a British pound is longer a pound of silver. Or that people now use "very", "really", and "literally" as intensifiers rather than as claims to absolute truth.
I'm a member of the Trade Union mentioned in the piece - https://prospect.org.uk/

They were hugely useful when I got made redundant from a tech role several years ago. They gave me expert legal advice and helped me negotiate a very generous settlement.

If you're a tech worker - join a union. Sure, you might be well paid now, but your employer has a lot more lawyers than you do.
German tanks have always(?) been named after mammals, mostly after cats.
Lyft lays off hundreds and Amazon freezes corporate hiring
US Embassy air-quality tweets led to global health benefits
They are still debt since they don't directly contribute to product value: you can delete all your tests and your software will keep functioning.

It doesn't mean it's a debt worth taking, though IME most companies are either taking way too much or way to little. Not treating tests as debt typically leads to over-testing, and it is way worse than under-testing.

Also, what you're talking about (business-oriented requirements) is more akin to higher level tests (integration/e2e), not unit tests.
Yeah, but sqlite doesn't scale, and SQL isn't a functional language:

https://web.archive.org/web/20110114031716/https://browserto...
Yeah I have been meaning to do a review I bought them having not seen any, I have two of them. The UC80 (IMX485, the most expensive one) is really good, its still a smaller sensor than DSLR (1/1.2 inch, similar to 16mm film) but hugely larger than normal webcams. The auto settings are really good. The UC70 (the one thats $165) is not as good its a smaller sensor and has some limitations.
There's all sorts of interesting arguments about how various libertarian societies would enforce their non-aggression, property rights and contract law etc.

It's very lazy to claim that any society doesn't have this requirement.

Also, anarchism (or socialism) and markets are not necessarily mutually exclusive, there's many different types, though some of those may claim they are exclusive and only theirs is the true anarchism/socialism.
What headset did you try? I imagine that text rendering would improve with the quality of the screens, which have been getting better.
“Twice” is not several. You’re also omitting the part where the positions in question are overwhelmingly popular positions, both in the US and everywhere else (except the governments of Russia and Iran).

You can gripe about politics and software if you’d like. But there’s no evidence of an “echo chamber” (what does that even mean in this context?), much less collusion with the US government or media.
https://en.wikipedia.org/wiki/List_of_equipment_of_the_India...

Look at origin. Very few equipment come from the USA.
Exactly. People should use IRC as a tool for communications that don't really need encryption. If you are someone's high-value target, don't use IRC.
That is true, but integer factorization is not an NP-hard problem, as far as we know at least. A quantum algorithm, Shor's algorithm, is indeed known to be able to solve it in polynomial time if you have a QC.

It is suspected to be NP but not even NP-complete, nevermind NP-hard. It is suspected not to be in P, but that is not yet proven.
The brief itself is a good read. https://www.supremecourt.gov/DocketPDF/22/22-293/242292/2022...
I agree that it sounds really stupid up front, but it's done when you're just you modeling the constraints of the problem. I've found that it saves a lot of time in debugging and silly mistakes later.

For types with invariants, you just add the `Invariant` aspect and then the type invariant gets checked automatically when passed as a parameter. Combined with built-in pre/post conditions, I've found that these sort of automatically inserted checks give me a lot of confidence, and allow significant embedding of conceptual and domain knowledge during development.
Ask HN: Favorite Git repos that you contributed?
Looks like many of them have not caught my attention. Could you suggest some? No language is preferred(all suit).
…and it’s working as well as you might expect.

https://nitter.pussthecat.org/radleybalko/status/15888941041...
I was a coffee geek for many years, but switched to tea a couple of years ago (long story). So I still have all the gadgets including a dual boiler espresso machine etc.

The thing is, if you really want latte/espresso at home, the energy costs are quite high. You need to warm it up for at least 15 minutes. Didn’t run the numbers but it’s not negligible. So not sure if you’re saving the environment much by buying and powering a home espresso machine for a couple of cups per day?
It's hard to wear a VR headset for long periods. I use one(Quest 2) for gaming quite a bit, and the bulk gives you a bit of strain after a couple of hours of constant use.
By your reasoning, Germany and Italy are siding with Russia too, by buying Russian oil and gas.

Physician, heal thyself. First let the EU stop buying Russian oil and gas, and then they can preach to others.
Did you have an issue with Twitter adding the ”context”, based on their delegated authority’s opinion, to tweets prior to this?
Reading the article I wondered if tapered interconnects were the solution. Fat interconnects with thin fins? Probably harder to calculate inductance and capacitance, but these people deal with complexity all day.

Not entirely sure how you’d avoid voids with tapers facing upward, but you can orient them in five out of six directions. And I’ve seen a few examples of the weird games they have to play with light to get the crisp corners they are after so maybe tapers would be easier?
Yitang Zhang's latest paper on the Landau-Siegel Zeros Conjecture is coming out
Guys, stop saying Gartner hype cycle this and Gartner hype cycle that. Not every failing overhyped idea is secretly a future winner. Sometimes, there's actually a 3D TV winter.
My hypothesis is that it's so old to you because that discovery and the spreading revelation was first order to you. To people learning programming today, they end up having to somewhat rewind the timeline and learn everything new at 2x speed.

That's to say, having old conversations with new engineers is a really refreshing exercise and I'd encourage the world to continue doing it.
> Many researchers are setting up profiles on social media site Mastodon

As someone who loves Mastodon, this is hilarious. They're leaving Twitter because the illusion of a controlled social media feed has fallen apart, and now they're protesting by using a less-moderated service. I'd be genuinely surprised if any of them were still using the platform in a month's time.
When they say “microdroplets” (I may be out of date here) they mean firing lasers at falling drops of molten tin and then capturing the energy that the tin gives off.

Like anything, some of their PHDs were like “no that’s probably not going to work because xyz” and they trusted said PHDs.

It’s just science. It’s hard to predict.
So it took about 10 years to get into production. OP isn't claiming it's impossible, just that it's far from being practical. You could definitely say that about EUV 15y ago
Every time the US military or federal budgets are mentioned, people do complain about it. Many people wish it was spent elsewhere.
I am 100% against these activists. But I am also 100% for targeting private jet users.

Private jet users are exactly the people who push climate change policies but feel zero impact of their agenda. We have seen this over and over again from the private jet parks at climate change conferences and so on.

Them having to use commercial planes would be the first time they feel some inconvenience by the policies they shape and push forward. Let's see how fast the anti private jet topic dies off.
The US is spending around 1% of its national budget on science, and a minuscule part of that goes to quantum computing. That fraction of the pharaoh's treasury might have payed for one rather entertaining crackpot to build bird-like things, but it wouldn't put a dent in their other accomplishments.
You are not part of the conversation

And you can not become part of the conversation, which would not be the case if the language was the native one.

Very rude and exclusionary.
> The Water Integrator was an early analog computer built in the Soviet Union in 1936 by Vladimir Sergeevich Lukyanov. It functioned by careful manipulation of water through a room full of interconnected pipes and pumps. The water level in various chambers (with precision to fractions of a millimeter) represented stored numbers, and the rate of flow between them represented mathematical operations. This machine was capable of solving inhomogeneous differential equations.

https://www.techspot.com/trivia/97-1930s-which-countries-bui...

https://en.wikipedia.org/wiki/Water_integrator
It took 25 years to commercialize EUV. And that is from the point where a decision was made to industrialize it, not from the first scientific report about EUV radiation.

edit, see Zeiss page on EUV: https://www.zeiss.com/semiconductor-manufacturing-technology...
That should be understood wothout saying. Even with a plan I'm going to fix one at a time.
This seems to be powered mostly by Python libraries, but they made a custom language that looks like Mathematica. Why not just use Python?
Employers in the US love to ignore California laws. My brother got an $18k settlement because his company ignored that CA requires all employee compensation be given at separation. He notified them in writing and they replied in writing that they would not follow CA law and would follow their own procedures.

It would be $20k but he accepted $18k to avoid the hearing/trial the week before it was scheduled idk the exact legal terms.

They initially offered him .... $800 to ignore his rights. He stood his ground but my guess is most people accept that $800 and move on.
Two things;

1. There are multiple implementations, written by different teams outside Ethereum Foundation, and the use of different implementations is encouraged. So Ethereum Foundation can't unilaterally change the code. Changes happen by rough consensus among different teams agreeing what to implement

2. Users who run consensus nodes are the final decision makers. If enough users decided not to adopt some team's code, or decided to run forked code, that would determine what rules the network uses.

We are seeing 2 start to play out, as all the core implementation teams coordinated via the Ethereum Foundation are against applying the Tornado Cash sanctions filter in code, but a large minority of consensus nodes appear to be applying that filter by running forked code. This influences the statistics of how the network treats those transaction, though it is not currently enough to completely filter them. Those users are institutional so they are more organised and motivated to comply, but it shows the power is not entirely in the hands of upstream implementers.
There is a lot that is not clear about the Anglo-Saxon migration to Britain. The obvious archaeological evidence suggests a very abrupt shock that sees Roman Britain almost completely replaced by Anglo-Saxon migration in maybe a generation or two. This has traditionally been interpreted as effectively a complete population replacement, although this has been challenged in more recent archaeology.

Probably, I would say, the big reason for the lack of Celtic borrowings into English is the fact that, to whatever degree there was admixture between Celtic and Anglo-Saxon populations, English would have been the prestige language, and the prestige language tends to be little affected by borrowings compared to the non-prestige language. You see this with French borrowings: French was the prestige language of England for about 400 years or so, so English starts borrowing all sorts of things from French, but not vice versa. The existence of the Danelaw region--a part of England that was primarily Danish rather than English even when largely ruled by the English--provided a substantial contact region for Old English/Old Norse borrowing, which was helped by the very similar nature of the two languages.
Tesla devs at Twitter misunderstand Slack privacy; leak fire lists based on LOC
What about web archiving services? Do these sanitizing PR maneuvers take those down as well? That’d be an alarming revelation to me.
No worries, HN has a way of making me jump on the band wagon of criticizing things. Figured that's probably the case shortly after posting the comment. Best of luck w/ the project, looks awesome from the videos :)
> when the op just says that basic sanitation should be prioritised over military helicopters.

Why can't a country do both? Most countries in the world are investing in military, space or other national security related projects. They all have some internal issues they are facing. It doesn't make sense to prioritize only one thing over the many issues a country faces.
Ask HN: Microsoft Mathematics Replacement
I'm a big fan of Microsoft Mathematics. It's got an ideal combination of a command line and a skeumorphic interface that resembles the sort of calculator I used back in high school. Whenever I have any reasonable math question that needs answering, I can launch the program and quickly get an answer. I don't need to be internet connected either, it's locally downloaded and starts up instantaneously. It does what I need it to and gets out of the way.

Unfortunately the program is growing long in the tooth. The latest downloadable version, 4.0, released in 2011 and I don't even think it's available on Microsoft's website anymore. This leaves me really concerned as to the future accessibility of it and its ability to run on future operating systems. This is frustrating because Microsoft Mathematics is a really, really good program. Is there any replacement for it that's actively maintained? I've never seen anything else that's quite like it.

Alternatively, if anyone from Microsoft is reading this...please resurrect Mathematics as a simple downloadable program! It doesn't really need any enhancements. Just a promise of maintenance so it will continue to run in the future!
I’d take this further.

I was listening to the John Carmack episode of Lex Fridman from the summer, and he makes a comment about being frustrated that in the Valley there’s an almost religious opposition to IDEs, debuggers, and static analysis.

Some of those tools have only become more powerful over time and I’m perplexed as to the mindset that would make a person averse to automating the drudgiest parts of their job in a career that is almost entirely based around automating things.
I believe the point is that quantum computers allow you to manipulate a linear combination of bits, whereas simulating the weather would require non-linear combinations. It's unclear how a QC would help simulate something like that better than a classical computer.