skysight-inc/HackerNews huggingface dataset:
Retired and former intelligence officers have opinions which cannot, in the US, be silenced (unless they are breaking an oath | NDA related to secrets).

~50 (out of how many tens of thousands?) former intelligence officers expressed the opinion that emails on Huneters laptop could not be trusted as absolute sources of truth.

https://www.politico.com/news/2020/10/19/hunter-biden-story-...

50 former senior intelligence officials have signed on to a letter outlining their belief that the recent disclosure of emails allegedly belonging to Joe Biden’s son “has all the classic earmarks of a Russian information operation.”

Director of National Intelligence John Ratcliffe said on Monday that the information on Biden’s laptop “is not part of some Russian disinformation campaign,”

These opinions, whether true or false, are insufficient to stop the laptop being admitted as evidence for a jury to consider - and the fact of that admission doesn't make the laptop "fake" or "not fact" ... liars give testimony in trials all the time and juries often hear and see conflicting "evidence", the reason for juries and lengthy jury discussions is for independant people to weigh up evidence and judge what they each believe to be true.
No. An FBI agent and president are two different things.
In absence of federal bill – Florida, Oregon, and Texas have new privacy laws
But that is usually the only "asset" worth anything to anyone for it to be just released.

And any debts will be covered by whatever assets can return.

Now, ideally, I agree, but then again, I am a free software proponent, and I'd like my car to come with open source code even while it's still supported. It's ok if you lose warranty when you modify your engine parameters.
Haha I interviewed at one of those. Big corp, wanted to become bigger than Google. They took out all the old boring furniture and cubicles, replaced them with beanbags and uncomfortable tables and chairs. Drab walls were replaced with colorful offices. Suits were replaced with t-shirts and sneakers. Benefits of the lowest level was set equal to the highest (this was probably what increased productivity).

I asked them if they offered a company laptop, they thought the idea was absurd. Some are still writing blogs on how Agile worked for them.

I didn't get a second interview; the first wasn't even technical. I guess I wasn't a cultural fit, compensation fit, or they didn't know what to make of my CV at the time.
It's certainly true that all we can do today is speculate about how this new immunity will be abused, but I suspect we'll find out a lot sooner than we'd like.
> What about overthrowing the government?

Overthrowing....the government he was in charge of?
> The low-value, high-margin industry disappears

We have a registry in New Zealand: we don't need title insurance (I haven't heard of it but presume it is available). Unfortunately there are still plenty of other silly costs that remain: the lawyer conveyancing is still approx $1000, you must purchase a LIM in your own name if you wish to be able to contest certain failures of your local government, mortgages require property insurance, property insurers require a variety of expensive work (often pointless shit), you can't get the government cover except indirectly via property insurance, ... Fortunately we mostly don't use sellers agents but vendors agents still take 2 or 3 percent and agents require certification so it has aspects like a monopoly with little competitive pressure.

And the registry can be interrogated so privacy is a problem. Mortgage information also shows in credit reports so there's even less privacy with that sensitive information.
Uhh no... desktop isn't pointless unless you're wildly optimistic about the app website remaining online indefinitely into the future.

Whereas if I have an installer or an electron app, I can copy it to a thumb drive and install it years later on a totally different machine even if your website is long gone.

I personally dislike PWAs because they gave the deceptive illusion that you're installing an actual application as opposed to just a bunch of ephemeral stuff that's thrown inside the user data folder of the respective browser.
Of course not. We must involve 10 layers of templates that mere mortals cannot read and compilers cannot process in reasonable time so the academics at the committee will be happy.

Addressing real problems with simple solutions isn't allowed.
The temporary accomodation looks like a brutal existence. Often a B&B room, with no cooking facilities. A recall a documentary looking at kids living in these spaces, who were often 'cooking' a tin of baked beans down the back of a radiator - that's all they had access to.
Then the former governor of New York is wrong.

https://www.justsecurity.org/85605/survey-of-past-new-york-f...
Great! Go ahead and bring the case!

Is your objection satisfied though? Do you recognize that dems don’t have an issue with prosecuting people fairly?

Or is there another objection.
Do you mean to argue that the social media websites were legally required to allow links to that article? I don't think that's how the First Amendment works.
That 1/3rd is often the difference between life and death.
The Courts are dumb and often change their minds on appeal. All of this ends up at the Supreme Court where the clerics now rule.
> I have is finding an article again at a later time. Even if one remembers the item or list number at the time of viewing (which I don't unless I take special note) that number will change almost immediately

There is a button below every post labelled ‘favourite’, once you’ve marked a post as favourite you can access the list of such bookmarked posts under your profile settings called favourited posts

Here’s a link to your one :
https://news.ycombinator.com/favorites?id=hilbert42

> Then there's the problem of remembering the story's title so one can search for it.
> There's also a similar problem with comments.

There’s tool at https://hn.algolia.com to help you search for posts via both title and comments

> There's also a similar problem with comments, if I want to revisit a comment I read several days earlier, it's often almost impossible to find—unless I've noted the handle of the poster.

You can quickly search for all comments on hn.algolia.com

Its a YC 2014 batch company.
It is jarring and since you brought it up there are very few good analogies in other cultures.

e.g. I know a few people go off about lions in European heraldry but lions were at one point spread across Eurasia-Africa. It’s just not a good analogy for how quintessentially Australian some things are.

It goes both ways. Businesses do it all the time. I could name many Australian examples going the other way.

So, my guess is that it says more about us than it does about other peoples and just how we get worked up about it.
I think you're underestimating how many chairs a single person can have. And cars and houses and services. And obviously some businesses will grow or shrink relative to others based on how elastic the demand is. Also it's a bigger range than just the executives.
Note that Wingo is the one that re-architected Guile Scheme to its current setup, which is a vm with JIT. Hoot is Guile Scheme compiled to WASM.
GLP-1 gene therapy reduces weight by 22% & positive results of long-term therapy
And what's the consequence of that? Presidents who are extra careful to obey the law because they know they will be highly scrutinized?

All this seems so rooted in "what do we owe the President?" while my questions here are more assuming the President is a servant of the people and is thus making a sacrifice to serve the nation and is willing to accept the risks that comes from making hard choices while being subject to the law.
Just don't let grow up and eat http://ipchicken.com.
In 1962, "Starfish Prime" space nuke destroyed 1/3rd of LEO satellites
if you use curl it'll do user agent detection and just give you your ip

curl ifconfig.me
It's hosted here: https://viper-ide.org/

I'm actually using it, right now, already. I happened to have a RP2040 board right here I was just writing some micropython for.

I think this is a good way to quick-start with the boards moreso than using the Thonny IDE. It handles the filesystem access perfectly.
I think zig generally gives you more options than other languages. The idea of having to bring your own allocator for every function that might allocate is great idea not only from the perspective where you can choose the most efficient allocation strategy, but also because it makes you conscious about the cost of the function immediately.

Zig is very productive language and feels like the true evolution of C to me.
> because not enough people were using the products... because they couldn't.

I don't think this is off topic at all. I think is is explicitly on topic, at least the the underlying one. Not just statistics are hard, but it's hard to measure things and even harder to determine causality. Which is often the underlying goal of statistics and data science. To find out why things happen. Measurements are incredibly difficult and people often think they are simple. The problem is that whatever you're measuring is actually always a proxy and has uncertainty. Often uncertainty you won't know about if you don't have a good understanding of what the metric means. You'll always reap the rewards when putting in the hard work to do this, but unfortunately if you don't it can take time before the seams start to crack. I think this asymmetry is often why people get sloppy.
Sounds like it's using event.keyCode (deprecated) or event.code (key button number) instead of event.key (the character that the button represents).
Yep, peak hypocrisy.
You're right of course - I realized my mistake several hours later, but much too late to edit...

→ Uruguayan singer-songwriter Jorge Drexler, who grew up around some other glaciers
Ok, i gave too much credit. Here's your citation: https://prod-i.a.dj.com/public/resources/documents/SCOTUSTRU...

Read the ruling itself.

Roe v Wade was an easy overturn from a legal perspective. Pro choice folks with half a brain knew it stood on nonsense. Obama said in 2007 he wanted to codify it because he knew it was standing on shaky logic.
Sounds like what makes military service a good path is that 1. enlisting puts you in a better place than the previous day or 2. the time in the service enables a step up of some kind afterwards.
https://lobste.rs exists and is open https://github.com/lobsters/lobsters

Now you need to have a better UI than both places and get the interest of people who are not satisfied with all of HN, lobsters and Reddit. It's going to be a really hard thing to achieve.
This is what I don’t fully grasp about p hacking myself. Say you test variable abc and so on all the way to z. Variable z were found to be significant. Now imagine you had the same data set and just happened to test Z and stopped there, finding it significant.

According to the p hacking concept the former would be potentially unethical while the latter would be great science, however nothing about the underlying data or its association between variables has changed.
I thought New York had a pretty good subway system, as well as decent commuter rail
True, but we've got better protective equipment as well.
Seems a little hyperbolic?
If the president is a crook and the senate is full of crooks, that's the foundation. This is a minor fixture.
Hey, thanks for sharing!
Yeah I don't like disappearing articles. I've missed some very interesting articles only to stumble upon them by chance in https://hn.algolia.com

A quick tip though which helped me: you can favorite posts and comments. You need to open each to see the favorite link.
Backwards.

If there weren't lawyers, law would be oh, so much simpler..
Security Implications of AI-Generated Code
they're not "elite" they just have more government rectangles than us
Honestly, I personally feel that “better” is a lazy and un-imaginative term (in general, not against your thoughts) when one lacks a definite goal to achieve. Perhaps, “A better alternate User Experience for HackerNews.” Better, better, be better with an improvement/enhancement against the comparison value.

As for the “UI lacking”, I have added some minimal custom styling catering to my personal preference - some subtle smooth corners, paddings/spacings, author highlights, width constraint, etc. Even that, I’m tempted to nick it and get used to whatever it is.

Not the best nor optimized but here are the styles

https://www.dropbox.com/scl/fi/tdkzn5zhm218lvggl91l5/browser...
I find it amazing that we both wrote a comment about HN favorite and https://hn.algolia.com within 5 minutes. You're is more complete though.
How does infinite descent work using a proof assistant? It's been quite a while, so I may be remembering incorrectly, but this is my understanding:

Coq uses an inductive type like "N = 0 : N | S : N → N", and a first-order theory with integers axiomatized this way admits nonstandard models (whose prefixes are isomorphic to the naturals but have elements not reachable by repeated application of S, defeating infinite descent). But universal quantification in system F (inherited by the calculus of inductive constructions) corresponds to a fragment of second-order logic, where there is only one model (– the theory is categorical).

Is that right?
I bit my html teeth on dreamweaver back when it was a macromedia piece of software. I thought today it was abandonware.

My problem back then was it was hard to understand what features were server side and required a special host (e.g., your all important visitor counter) what was generated by dreamweaver and what was handled client side.
I often wonder whether compilers are becoming ever more complex attempting to infer the programmer's intentions when faced with ever more complex architectures, instruction sets and features. Do we need to drop down to assembly language to fine-tune the implementation of our algorithms to suit the target environment?
Haven't interviewed in a while, but it's crazy to hire without a technical evaluation.

Just do fizzbuzz if you want a broad filter. If you're feeling a little more adventurous, ask them to reverse a linked list. Many applicants will fail it. Some will fail because you'll find them pasting the exact same C solution as the other applicants despite it being a JS interview.
Man. Nothing is wrong with the voters.

There is just a lot more power invested in republican elites than democrat elites than we realized.

There are organized efforts, decades long to skew courts, remove laws, increase dysfunction to prove the point that government fails.

Medicare was based on Romney’s model, and he was forced to disown it because the party would rather be partisan than give democrats a win.

Partisanship, divisive politics get you here. It gets you Fox News, and infowars. It gets you the idea that everything is a liberal conspiracy, like evolution.

Hell, people heard “build a wall” and were cool with it.

I believe the term that was coined by republicans for people whose feelings are hurt was snowflakes.
the
That's totally shows how fast things are changing.

Great thank you.
It's because the SaaS offerings are free and good quality. Reddit, Slack, Medium, Etsy, etc are better experiences than self hosting for most use cases.

This isn't permanent, though - these services are getting enshittified and the FOSS alternatives are gradually improving. I think you're right that it takes time and a tipping point will eventually be reached just as it was in the 2010s.
The people complaining and the people asking for features need not be overlapping sets.
There are a lot of changes happening each release and the results of those changes are often not well documented. For instance, these days most Zig projects include this "build.zig.zon" file, but if you look for any info on the website, you'll find nothing [1][1b]. The build system in general is a bit hard to grok and not very well documented imho.

The developers are very open about Zig's immaturity [2]. I feel like keeping up with Zig it still requires a lot of hanging out on chat rooms and forums, finding "the right blog post", and digging into the source code.

--

1: https://www.google.com/search?q=%22build.zig.zon%22+site%3Az...

1b: I guess the release notes of 0.11 are the best documentation for zuild.zig.zon right now? Although you would expect to see that better documented elsewhere.

2: https://ziglang.org/download/0.13.0/release-notes.html#This-...
You’re repeating emanations from penumbras because it sounds ridiculous - but unnumerated rights is what’s actually being discussed.
The Abandoned Scranton Lace Factory – Abandoned America
In short, the answer is no.

Generating a zero-knowledge proof requires a set of values known as a witness. If a witness exists for your statement, you would not need anything more than brute force and a lot of time to find it.

Also, zero-knowledge proofs can be forged with a nonzero probability, so the existence of a zero-knowledge proof of a statement does not necessarily imply the statement's truth. For example, interactive proving systems are constructed by exponentially reducing this probability.
Windows 11 has so much bloatware, ads, unwanted ai “features”, constant resetting of defaults, and forced use of an MS account that I reinstalled win10 a few months ago.

Very happy with my decision (as happy as one can be with Windows). I am missing absolutely nothing from the latest windows. I can’t say the general performance is much different between the two, but the rest of the complaints hold true
The only downsides to HN are that it is addictive and you miss interesting articles and conversations that you'd wished you'd seen earlier due to time zone effects.
The number of ads I have to click away or ignore while trying to piece together the paragraphs of this article - it’s like a parody.
The main issue seems to be that the current signup doesn't offer targeted job alerts. Consider allowing users to filter jobs first, then offer a "Save this search". This way, users know they'll get relevant jobs instead of everything.
And Lua's bytecode loader, recently discussed here: https://news.ycombinator.com/item?id=40830005
Got to smoke them out, I wonder if AI will be great at auditing.
Next time do one with Bayesian networks or another Probabilistic graphical model.
And that’s not a crime?
One could argue that template metaprogramming is a kludge DSL of its own.
> surely it doesn't touch any global (or per-thread) state

Not necessarily. An implementation might choose to e.g. use some kind of cache similar to what the JVM does with interned strings, and then a function like strcmp() might behave badly if it happened to run while that cache was halfway through being rebuilt.
As a Canadian who keeps up on the news but has no skin in the game, from up here it does look petty when after seemingly hundreds of unsuccessful attempts to prosecute Trump, their “we got him now” case amounts to “he expensed an invoice from his lawyer to a business instead of paying it personally”.
Firther, Obama's AG argued successfully that due process was done; where the definition of due process became what the Executive Branch did.

I wouldn't have bought that; but alas, no one asked me.
After Dark ScreenSaver
Never realized this was a debated topic. Are there smart people who believe in not having code reviews? What's the best argument against code reviews?
You can make a better UI, but you cant get a better u/dang like HN has :)
It’s weird that in this entire article, it doesn’t actually say which nation launched Starfish Prime.
A simple counter example here is instinctual behaviour. A sea turtle is born, and with little to no guidance, experimentation, or exploration heads to the sea. That knowledge is embedded at birth.

I think the analogy of the brain as hardware devices ("neural processor", "I/0 devices", etc) is misleading. I think I understand the very strict mind-matter dualism you're alluding to here. But so far attempts at using actual computer hardware to reproduce human-like cognition has gotten nowhere close, despite consuming order of magnitude more energy and data.
Publicly displaying symbols identifying one’s affiliation with very specific and unprotected groups is not comparable to political speech. This is a fallacious argument at best and smells of bad faith engagement.
Usually yes, but here it's the same target as for the Ozempic drug which is already widely used by people. As far as I understand, there's no reason to suspect that it wouldn't work the same.
I'm curious - did the people testing space nuclear weapons predict the intense effects? AKA killing 7 satellites and more impressively to me, causing an aurora seen from New Zealand to Hawaii (!!!).
NREL - National Renewable Energy Lab - interactive Pumped storage hydropower visualizer:
https://maps.nrel.gov/psh

"Provides an effective way to view the national closed-loop Pumped Storage Hydropower (PSH) resource assessment and identify potential PSH sites while considering a wide array of possible technical and environmental specifications."
The Linux user space API byte swap functions:

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...

https://github.com/torvalds/linux/blob/master/include/uapi/l...

https://github.com/torvalds/linux/blob/master/include/uapi/l...

https://github.com/torvalds/linux/blob/master/include/uapi/l...

They are quite similar if not equivalent to the code presented in this article. I assume people far smarter than me have run these things under sanitizers and found no issues. I mean, it's Linux.

#include <asm/byteorder.h>
A personal preference, but Quora is likely one of the worst UIs. I really dislike how it mixes answers to different questions into one page. You google something, see it's discussed on Quora, but maybe 1 out of 10 answers there are actually about your question.
Livid? About a meeting to discuss work? Some comments in slack etc sound worse than intended, and people are aware of that and sometimes go out of their way to say it in a way to it's received as intended.
You've been posting quite a few submissions with rewritten/editorialized titles. Can you please not do that? It's against this site guideline:

"Please use the original title, unless it is misleading or linkbait; don't editorialize." - https://news.ycombinator.com/newsguidelines.html

Of course, when a title is misleading or linkbait, then you should rewrite it (preferably using a representative phrase from the article itself, such as a subtitle).

But in a case like this, for example, the original title "A global assessment of atoll island planform changes over the past decades" is perfectly fine, neither misleading nor clickbait, so that's what the guideline would ask you to use.

I hope that makes sense!
People still use SSH these days?

I kid, but really you probably shouldn't on Production. You should be exporting your logs and everything else. The host or VM bootstrapped golden images with everything as needed.

It is okay to start that way and figure out your enternals but that isn't for Production. Production is a locked down closed environment.
In almost every way imaginable, I think this is counter-productive. This is just shallow thinking of the policymakers. Do they think human productivity works like machines in a factory? Good luck!
Big in 2023

(154 points, August, 37 comments) https://news.ycombinator.com/item?id=37106550

(555 points, March, 107 comments) https://news.ycombinator.com/item?id=35031545

And 2021

(155 points, 27 comments) https://news.ycombinator.com/item?id=28806699

(461 points, 149 comments) https://news.ycombinator.com/item?id=28006679
They also say their patches use only consist of a few instructions. I hope that is enough to cover all possible system configurations.