skysight-inc/HackerNews huggingface dataset:
Hey, thanks for the feedback. A more comprehensive list of features is on our todo list, we’ll update the site shortly.

The memory violation one doesn’t include symbolica.h because we don’t need to symbolize any variables for that one. When we run the compiled code through our solver it adds additional constraints such as, “don’t access memory that’s out of bounds”, so we can detect that automatically.

On your final point, we’re working on the LLVM bitcode so we do have to compile the code, hence the print statement. You’re right in that this is similar to other symbolic executors. We built this one as we found others were quite difficult to get started with and were hard to extend with the features we personally wanted as well as not supporting the languages we wanted either. Obviously at this point in time we’ve not achieved these goals yet, but we think we’ve built the foundations to be able to do so.
No, I meant this: https://en.wikipedia.org/wiki/Battle_of_Blair_Mountain

I agree tho. In general the US is rather good at keeping down any kind of protests that pose an existential threat or undermines it's major goals.
The link you posted mentions "setting up offloads", and unifying the functionality of DSA and switchdev.

To me, DSA (as a "convenient" means to access/name/treat individual switch ports) is a prerequisite to enable usage of whatever Switch-Chip-Level-Offloads the switch chip supports. Without DSA, vendors had to use nasty hacks to make use of e.g. HWNAT, which is why there never was mainline support for these acceleration features.

HWNAT is a routing function, and many/most? switches of the last decade support that. But, OK, true, most of them will probably not be able to HWNAT "with proper QoS". But newer devices are not "just" a switch-chip, they contain a "Network processing engine", which is not a "fixed-function" device, but rather a "programmable" accelerator, that you could perhaps even "teach" how to do PPP, Encrption/VPN wrapping, and/or "offloading NAT/routing with proper QoS".

And now that DSA and eBPF are in mainline, using eBPF to generate a program/set_of_rules for the Ethernet acceleration device from your nftable-rules seems like the natural next step for me.

Or where do you see my reasoning go off the rails?
Well I guess bitcoin remains the most established. I guess they could switch to ether at some point if it goes well, but I remember something about ether not being fully decentralized? I'm not even a crypto nut but these are pretty interesting developments
You're regurgitating lies invented by the religious right, whether you realize it or not.

> No it isn’t. The movement is about denying parents the right to make medical decisions for their children.

This is absolutely, 100% false. There is no substantial, mainstream group advocating for this. This is the subject of conservative misinformation[1].

> There is public interest in protecting children from people who would encourage them to have irreversible surgery that renders them sterile when there is no evidence that this is medically necessary.

THIS DOES NOT HAPPEN[2]. Children cannot get irreversible surgery in the US. They may be given puberty blockers, which are completely reversible, and only until they're adults and able to make a decision for themselves.

And none of this happens without the consent of a board-certified physician who is under oath (and the threat of lawsuit and/or losing malpractice insurance) not to do anything to harm the patient.

> Why are doctors deciding that minors with healthy genitalia need to have them surgically altered?

What the actual fuck are you talking about? Do you also believe that there are thousands of partial birth abortions in this country? Doctors do not decide this or perform this surgery in the US.

Also, wait until you hear about circumcision. You're going to be really outraged at the surgical alteration of minors with healthy genitalia then!

1. https://www.reuters.com/article/uk-factcheck-rachel-levine-r...

2. https://www.politifact.com/factchecks/2021/mar/05/viral-imag....
Since the announcement a few months ago, almost all of my friends and groups migrated to Signal. Good riddance to WhatsApp. I even find Signal a better messaging client than WhatsApp.
Here, look: take case 11 from this study by Sargent and Lundy[1](PDF): an AP1000 fission reactor, 2.156GW, $6041/kW, swap out the fission reactor for fusion generation at $0, and show us how to get to $176/kW (a tenth the per-kW price of a small-scale PV plant with battery storage, case 25).

Also note the construction timetables: 72 months vs 18 months for PV.

1. EIA 2020, Capital Cost and Performance Estimates for Utility Scale Power Generating Technologies: https://www.eia.gov/analysis/studies/powerplants/capitalcost...
Cosmopolitan libc is fun as a toy but not something you can ship software on. Its design is just fundamentally disconnected from how operating systems work today.
Can you provide some resources about the lack of support for joins in sqlc? Because I wasn't able to find in official documentation and actually there's a discussion on github containing queries with join statements: https://github.com/kyleconroy/sqlc/issues/213
Indeed: https://bitcoinera.app/arewedecentralizedyet/
Lucid Emacs .. I hadn't heard that name in decades. Back in the day, in the sunny 1990s, it was XEmacs that I mostly used.
What often brings me joy is thinking about my life before birth, I like to think death will be just the same. If so life after death can't be so bad.
I am highly sceptical of Facebook's ethical stance on many issues.

But we have to admit that some of the decisions here are not trivial. The report is not about randomly monitoring messages, it's about messages that were reported by users.

The executive actually puts the dilemma pretty well:

> “WhatsApp is a lifeline for millions of people around the world,” the company said. “The decisions we make around how we build our app are focused around the privacy of our users, maintaining a high degree of reliability and preventing abuse.”

These platforms are helping a lot of people, and they can't fix all man-made problems (i.e. crime, hate speech etc.).

There is a lot of valid criticism against the way they are facilitating hidden discrimination, helping obscure political targeted influence and so on - but this issue is IMO not as contentious.
Palantir – a federal market lesson for VCs
This is Germany. I think the 20M is a legal requirement or derived from a legal requirement (by adding something on top).

This car insurance costs me around 40€/month, but there's a steep curve based on how many years you've been free of damages. A new driver would pay around 6 times as much, AFAIK.

The reasoning behind the high damage rate is indeed the risk to it injure a child for life. In that case the insurance will cover lifelong costs.
Only threat to Java is the success of the JVM, that Java could be replaced by another JVM language seamlessly, but the JVM itself will definitely be here and developed 50 years from now.
They'll develop robust natural immunity with negligible risk, then grow up and become adults with robust natural immunity.
> Global Diversity & Inclusion finds there is insufficient evidence that Boghossian violated PSU’s Prohibited Discrimination & Harassment policy. GDI recommends Boghossian receive coaching.

Global Diversity & Inclusion is looking for a thorough beating.
I believe the two of you are talking about different things.

The argument in the UCSD blog post linked above will apply to any finite system if you assume exponential growth in power use, and exponential beats cubic for expansion to other worlds (I’m assuming no FTL for a cubic limit to expansion).

Abundant power — be it from fusion or solar or quantum magic — does not actually need to guarantee eternal exponential growth of power use, but the absence of such growth would necessarily lead eventually to the absence of economic growth.

We can still have a SciFi future without that, it will just look different in a way our current society can’t properly envision (which I think is an unsurprising a claim to make even in the absence of the rest of this argument).
This story is FUD, pointing out that WhatsApp users can forward messages they received to WhatsApp’s abuse team, when reporting abuse…

I’m not a fan of FB, but the series of stories on this reporting tool which has been in the product for years is so bad, from journalists and publications that should know better, that I’m almost certain there’s some level of malice to it. Apple muddying the water with its billion dollar PR tentacles?
Recapturing the Spirit of the Apple I
It's not fake, it's just that it's been drowned out by a wave of people who are indifferent or ignorant.
At first I thought the bit about seeing user-reported content was a nothingburger, but this is far, far worse:

Artificial intelligence initiates a second set of queues – so-called proactive ones – by scanning unencrypted data that WhatsApp collects about its users and comparing it against suspicious account information and messaging patterns [...] as well as terms and images that have previously been deemed abusive. The unencrypted data available for scrutiny is extensive. It includes the names and profile images of a user’s WhatsApp groups as well as their phone number, profile photo, status message, phone battery level, language and time zone, unique mobile phone ID and IP address, wireless signal strength and phone operating system, as a list of their electronic devices, any related Facebook and Instagram accounts, the last time they used the app and any previous history of violations.

So the WhatsApp AI can arbitrarily decide to unencrypt your chats and send them for review. This makes the recent event where their CEO attacked Apple's CSAM detection algorithm almost funny in hindsight: takes one to know one, eh?

E: Upon looking into this further, the source from ProPublica makes it clear that the proactive queue cannot decrypt your messages. This was unclear in the linked article and only clarified separately in the ProPublica one. Despite that, I think the point still stands: WhatsApp gathers a ton of your personal data, and can reveal that to authorities on request.
Global windfarm installations expected to surge after Covid drop, says report
You keep making these assertions, failing to back them up with anything other than hand-waving in the direction of entirely unrelated programs. You then respond to requests for citations, or even just an elaboration, with the near-verbatim ‘do your own research.’

Chiefly, how does that further the conversation? More pointedly, why should we listen to you?

Credentialism in this arena is valid, and what I currently see are multiple subject matter experts, albeit with a bias/incentive towards believing in themselves, versus you. Please substantiate your claims, or word them more carefully as to reflect them being conjecture.
> you can detect that someone has already rejected you

I completely agree. I had that feeling. He made up his mind already.
> Maybe it's super secret agents or maybe it was a teenager from 4chan.

Actually Hillary was hacked by a lone wolf from Romania, and he received jail for this https://youtu.be/8gfzNyZ3trI
Most folks in the US are too poor to adopt and it doesn't matter how well they'd care for the child: It isn't exactly a free process just looking out for the needs of the child. (I'd argue that if we were just looking out for the child, the legal costs would be covered by taxes and eligibility wouldn't be put on finances at all. We'd have to use tax money to support the child without adoption, after all).

My parents looked into adopting from another country - it was a program they were introduced to through church. It cost $20,000 plus travel... in the 1990s.
This is sort of like asking what the lethal dose of neutrinos is.
I was under the impression that the default temporary GITHUB_TOKEN for forked repos (which is what happens with PRs) were read-only. Isn't that the case?

https://docs.github.com/en/actions/reference/authentication-...
Link should be replaced: https://www.propublica.org/article/how-facebook-undermines-p...
Well, I said, if you look close enough, you might find them to be much more alien and exotic, than one would expect.
I don't doubt it will produce plenty of of fast neutrons. Producing useful energy without destroying the most expensive parts of your reactor in the process is a whole other project. Doing it anywhere nearly as cheaply as overwhelmingly simpler systems whose costs are still in free fall is another, probably impossible project.
Should be the full title: "Introduction to OWASP Top 10 2021", because it's specifically about the new top 10 this year.
Where is that list of poor decisions?

I have some:

1. Clothing was inadequate. Scottish wool and leather riding boots. Looks like Scott realized that the crew was losings fingers too fast, and they made fur mittens and boots at sometime afterwards.

2. Horses instead of dogs. Scott was a Great Humanist, so forbid to eat those horses. Horses taste Good, better than reindeers, imho. -- Dogs eat themselves, solving part of the fodder problem.

3. All kinds of craziness with thoses tractors, as mentioned.
I found something on AliExpress that seems to send data over Bluetooth. I don't what kind of effort it would take to capture that data if I have a RaspBerry Pi with Bluetooth.

https://www.aliexpress.com/item/1005003019471995.html?spm=a2...
That blog is from 2021 - this was a couple of years ago so things may have changed.

But back then you'd still find quite a few paths back to the Gitlab issues - it never really went away, it just replaced a few issue links.
That article performs some sleight of hand, where nodes "control" the currency. Nodes sign transactions publicly, they don't control anything. They can't covertly pick the wrong transaction to sign, if they do it will be very visible.
This is obviously an anti-China propaganda piece. It's not that Xi is throwing TikTok-preloaded Xiaomis onto Amish villages from the sky. That "WAP" song was THE mainstream last year, and it's widely known that Snapchat, for example, shows ads/stories that are way beyond what would be considered normal to show to kids.
Temperature data manipulation by NOAA goes far beyond what people might imagine. They cool the past and warm the present by fabricating data for stations using a model that assumes the CO2 hypothesis.

https://www.youtube.com/watch?v=vzGPq9LSjEw
> So the WhatsApp AI can arbitrarily decide to unencrypt your chats and send them for review.

Where do you read the "decide to unencrypt your chats" part? I could only find that they have to decide based on the unencrypted parts of a WhatsApp profile plus other unencrypted data.
i'm still unable to tell if what they've implemented is some kind of automated copy/pasting from the recipient side (which can always be done by screenshotting the phone and sending it via email), or a server-side backdoor that lets one get cleartext copies of the messages.
But road usage by cars is not the problem, CO2 emissions is. By doing this kind of punishment-by-proxy the whole taxation becomes ideological (car too big, car too foreign) and loses legitimacy. Keep in mind that in a democracy you shouldn't aspire to force people to do "the right thing", you should aspire to create consensus. A high tax on gasoline is easy to understand and easy to argue for. Double payments, illogical taxation, and "nudging" just pisses people of into the arms of right-wing parties.
Like what? Fail miserably...LOL
It starts quickly on my laptops. What kind of hardware do you use ?
The real absurdity is why not append 00, or 000? If you care about the 10k bug, why wouldn’t you care about the Y100K or Y1000K bug?

Makes me think of Johnny Two Hats https://www.youtube.com/watch?v=Y8K1fTZaR7w who later comes back with four hats.
In countries with a good safety net (including parental leave and child care help), comprehensive sex education, free access to contraception and abortion and general health care, abortion rates are often lower.

I'm not sure it avoids the majority since a decent amount of folks have the knowledge and tools to simply avoid the pregnancy in the first place, but it does lower it.
i wonder what the solution here looks like — not being allowed to report spam etc? Them completely ignoring moderation and going down the instagram path, direct message style?
That's not completely true, while WSL doesn't help Windows GUI apps to be more cross-platform, it does help Linux GUI apps to work on Windows[0]

So to refer back to the top comment we could say that Microsoft is proposing WSL as a cross-platform API for GUI apps.

[0] https://docs.microsoft.com/en-us/windows/wsl/tutorials/gui-a...
> Can you list any claims that fell apart?

On home page, the very first claim:

> No null

However V has `nil` or any reference can be initialized to `0`. How is then claiming `no null` not false?
You could look at Cranelift, which I believe uses integer indices, and several datastructures for control-flow vs dataflow.

There is no SSA IR in rustc itself (MIR, regrettably, only lowers control-flow, but uses variables instead of representing dataflow).
Probably failing miserably...LOL...just dumb
Ethereum is right now in the process of migrating to proof-of-stake.

https://ethereum.org/en/eth2/

Miners are already staking using the more energy-efficient validation.
Yes, I was about to reply to myself with a link to this issue as I couldn't see anything in official docs unless looking at the github issues.

https://github.com/kyleconroy/sqlc/issues/1157
No they can’t arbitrarily decrypt messages. This process happens AFTER a user has complained and forwarded the unencrypted messages to WhatsApps abuse team.

You’re first instinct is correct this is a BS nothing burger by journalist that should know better. It’s a stain on Propublica’s reputation.
pretty sure its neither but manual reports by a user and probably account rating based on how many chats a user has and their phonenumber to prevent large campaigns
There is a huge desire to funnel money towards retrofitting very expensive air circulation systems and pushing for government funding/subsidy thereof.

So if you have an investment angle on that you might want to take it
>4,000 tons of CO2 per year

That is not impressive, just building that thing wasted probably 10 times more than that.
Twitter trials ‘soft block’ feature to let users remove followers – Twitter
I’ve not used Hypothesis, but says it’s inspired by QuickCheck and I’m a regular user of FsCheck which is the F# equivalent. Those tools have a similar goal in mind that we do, but whereas they generate randomised test data (I think FsCheck creates 100 test cases IIRC), we effectively solve the equation so we can actually say that it holds for all inputs. The key difference is that we don’t actually invoke the code with concrete values, but rather treat it like a set of constraints that should always be satisfied. We then check these constraints and if they fail we can reverse engineer a concrete value that would cause the violation. So we effectively run it for all inputs, without actually running it for any inputs.
Finally some news. They've been talking about the solid state battery for a few years now.
Very cool, but I can't help wondering what this would look like if it ran on an ARM development board (like the Raspberry Pi, which has a massive third-party touchscreen ecosystem).
When I went through my US naturalization process, I was surprised to note that while they still ask whether you were a Communist or a member of a terrorist organization, they no longer explicitly ask if you were ever a Nazi. Then again, this was under Trump.
Great journalism eh?!
Tip: you can use ctrl+shift+n to reopen the lost window.
Ah right yeah that makes sense. We built the website using NextJS so we kinda got this for free with their Image component.
It's disappointing to see so many people here read maybe the first 10% of the article and decide it's nothing, when there's so much damning about WhatsApp's business model in here. WhatsApp revealed complete metdata that led to a whistleblower getting indicted, they harvest reams of personal data about you, and their AI can decide to unencrypt your information if it feels like it. Even the bit about moderating user-reported content isn't entirely "nothing" either, because WhatsApp's messaging clearly says nobody, including WhatsApp, can read your messages, which is incorrect. This is bad and not holding WhatsApp to account for this, when this very community spent weeks raging at Apple, as weird.
Yes I was more thinking about development. Faster and cheaper development is the key. Development teams can focus more on the user experience and the features.

You also get a good application on all platforms, GNU/Linux, Windows, and Mac which is nice and used to not be the case.
"Fusion is in theory something that could give us true energy abundance."

What does fusion give us that existing nuclear power plant tech doesn't?
> Corrosive compared to what? You can put it in a rubber balloon and hand it to a kid.

I've never heard of hydrogen-filled balloons (at least not the kind of balloon you can hand to a kid) - we're you thinking of helium?
But how should that gain in energy output be possible without making the whole system huge, too? The heat generating part of a nuclear power station only makes up a small fraction, most of the material is for transforming the heat to electricity and to shield off radiation. If you want to process more heat, you need more infrastructure to do so.
And the sand dune mishap: why aren’t the wheels near the corners?
As usual it is shared by most vacinations. Similar observed in Pfizer

https://www.gov.uk/government/publications/covid-19-vaccinat...
>>> a novel gene therapy

>> these are not in any way "gene therapy."

> "Currently, mRNA is considered a gene therapy product by the FDA."

Are we reading the same thing? The misinformation and dishonest strawman argument came from the second poster. One might take other issues with kook_throwaway's comment, but what's wrong with that?
This back and forth was fantastic to read, though I understand basically none of it.
They can’t decrypt your messages. You would first need to send them your unencrypted messages before they can read them… please correct your comment. There’s enough misinformation in the world.
I'm not sure these attacks have anything to do with NAT - all of the stuff under "DHCP methods to control routes" sounds like it would work just the same if the router was handing out public IPs to the internal network. Or even if the internal network is statically-assigned for that matter. The only requirement seems to be a DHCP client on the WAN interface that's overly permissive in what it accepts.
Guillain-Barré syndrome aka GBS is listed also in annualized influenza shot as possible vaccine injury. Triggering auto-immune disease is one of those things one can expect to happen with vaccines.

The question is not if, but how frequently. In most vaccines GBS happens so rarely that it makes no difference. Natural influenza is much bigger risk than very rare vaccine injury.
Ask HN: How do you get better technically?
I can do my job, I feel like I'm stagnating. I don't work with anyone who pushes me or teaches me. I've tried to contribute to Open Source projects but struggle to get into it from a technically perspective.

Is there any resource or technique you use to technically get better?
The article clearly mentions that the AI initiates the proactive queue:

Artificial intelligence initiates a second set of queues [...] by scanning unencrypted data.

Initiates pretty clearly signals that no user reported the users in this queue. Also, the article mentions before this that the workers have to look at two queues of tickets which have unencrypted content for the moderators to judge. I agree that this is somewhat unclear, but I think it's certainly talking about two different things.

E: the ProPublica article clarified that this is incorrect: https://www.propublica.org/article/how-facebook-undermines-p...