skysight-inc/HackerNews huggingface dataset:
Yeah, as I said to teitoklien one has to do that at the time, trouble is I usually don't. :-)
But zig lacks the intrinsics support, and not ever single simd spec is exposed on the abstraction.
Assembled | Software Engineer, Product Manager | San Francisco or New York | Full-time

Assembled helps customer support teams resolve issues with the right agent, providing the right answer, at the right time. Over 300 industry leaders, including Etsy, Stripe, and Georgia's Department of Human Services, use Assembled’s workforce management and GenAI-powered automation products to make optimal staffing decisions, improve productivity, and reduce wait times.

Our co-founder & CTO wrote a post recently on how we're using RAG with Reciprocal Rank Fusion to automate support responses: https://news.ycombinator.com/item?id=40524759

Our open roles include:

- Software Engineer: https://boards.greenhouse.io/assembled/jobs/4957681004

- Product Manager: https://boards.greenhouse.io/assembled/jobs/5175807004

- And more: https://www.assembled.com/careers-at-assembled#openings
But it gets quite cold in US and Canada too.
404 page not found, have you received many requests? The project is very interesting, I like the interface. Congratulations
Having retired in 2018 in part because I couldn't learn React (about my 15th web framework in 20 years) this is ironic.
“The difference” in brain damage? Between two things he suggests doing?
"get too greedy for the market to bear"

Was that intentional?
Why 4 weeks? The mice were followed for 8 weeks in total and after 8 weeks there was no regression after the gene therapy.
Well the good thing they went forward back then and invented the modern helmet to protect people in trenches from overhead explosions.

And incredibly it seems that the Adrian helmet still outperforms modern helmet designs in the blast protection quality. [1] It can't stop a bullet sure, but I suspect that chances of being hit by an overhead blast are higher than that a of a headshot in a typical warfare scenario.

[1] https://journals.plos.org/plosone/article?id=10.1371/journal...
You're very kind, thank you. :)
Throwing the towel (Stopping to work on Apache PLC4X in my free time)
As I wrote in 2022, in my article Your free trial of open-source has expired, I have stopped providing free community support for Apache PLC4X in my free time.

I didn’t stop working on features, new drivers, doing the house-keeping and mentoring possible new contributors.

However, I had to do this in my free time, and I am feeling how it’s burning me out. So, I’ve decided to stop working on PLC4X completely in my free time.

My current employer grants be 4 hours per week, and I will use that time to continue working on PLC4X, but this will limit my involvement to Friday afternoons.

If the industry needs help or wants anything to happen, they can either do it themselves, find someone who’s able and willing to do it for them or hire me via Timecho and pay for development. For small things you can drop me a donation (See list of links at the end of the article).

Long version with loads of background infos in the link.
You can, if you abuse C++ enough. I needed this very thing for a custom DSL.

struct PolyReturn {
const int value;
operator int() const { return value; }
operator bool() const { return value > 0; }
};

https://cppinsights.io/s/f0b9976f
Datadog popularity is due the fact that you can throw logs in it and it just works and the dashboard is quite nice same cannot be said about competitors.
How do you properly investigate a performance, stability or security issue in your production environment in that scenario? Perhaps logs are enough for some things, but unless you have massive replay infrastructure and a complete duplicate of all data running live, you'll have some serious challenges there, and investigating a security issue with that sort of setup sounds like a nightmare to me. "DB got dumped last week and we just wiped all the evidence with this mornings deployment".
I saw this on Reddit eink sub
https://www.reddit.com/r/eink/comments/1bswoi0/lineageos_20_...
I browse HN from https://hckrnews.com/

It's chronological.
Wow, really? Thanks!

The point is that both wield executive power, yet one person in the executive can be prosecuted only by Congress and the rest not. Illogical.
> the cause

Not at all. It might be a cause, but tons of PTSD has nothing to do with concussive trauma, so much so that the other cases overwhelmed the correlating cases when they investigated the causation.
Physical damage to the brain can easily cause phycological problem. It wouldn't make psychological problems any less real, merely help to prevent them better.
https://geonet.shodan.io/api/geodns/ycombinator.com?rtype=A
> What do you think the mechanism behind this is

Estrogen in the brain is neuro-protective and neuro-trophic. The primary source of estrogen in the brain for men is testosterone converted via aromatase.

However, that's speculative. I found no significant studies on point, notwithstanding physician interest. Because some men seek out testosterone, some doctors might be quick to offer it off-label for other conditions.
You Do Your Best Thinking in the Shower
Is that a meaningful distinction? If so, why?
Usually class action funds max out if like 5-10% of the class claim their benefit. If more people make claims, the total payout stays the same and just gets split between more people. So Apple will pay exactly the same amount regardless if 10% or 90% of the class make claims.
Hydrogen and electric are often seen as a zero-sum game. But they're not. Since hydrogen can be made with clean energy, it's really "just another kind of battery".

I imagine in the future one or other approach will "win". Or maybe both will survive (just like we have petrol and diesel now.)

Meanwhile, while oil proponents keep telling us its impossible to wean ourselves off of gas, small things (like this) keep happening anyway. While coal keep telling us solar doesn't work, we're on track to pass a thousand gigawatts of installed solar power towards the end of this year. (As a reference, a power station is typically in the 1gw to 10gw range, with the median on the lower side).

So go on, keep telling us its impossible, we'll just keep doing it anyway.
So America needs to re-legalize duels then?
You still need access, but surely putting SSH behind WireGuard or Tailscale is a better way.
The US is a large country and for its lack of health care I reckon it would be worse. Canada is obviously colder.

But Britain is positively grim.
I think I'm missing something... isn't there an error in the proof when applying the theorem of the principle of infinite descent?

The theorem requires proving the following premise/antecedent (to deduce the consequent):

∀x ∈ X. Φ(x) ⟹ ∃y ∈ X. y ⊏ x ∧ (...)

... but I don't see how this can be proved when x=0. By substituting `x` for `0` (and using Z as the set X and |<| as the well-founded relation) you get:

Φ(0) ⟹ ∃y ∈ Z. y |<| 0

Unfolding Φ:

(∃b ∈ Z. 0^2 = 2 b^2) ⟹ ∃y ∈ Z. y |<| 0

The antecedent of this implication is true (when b = 0), so now you have to prove:

∃y ∈ Z. y |<| 0

However, this can't be proved because no `y` satisfies the |<| well-founded relation when applied to zero.

Therefore, this article's sentence doesn't seem to be true:

> Having satisfied the premises of the principle, we use it to deduce that no `a` satisfies the property

... which in fact cannot be true, because `a=0` does satisfy the property `∃b ∈ Z. a^2 = 2 b^2`, does it not? Consider `b=0`.

So what am I missing?

Edit: in fact, if the theorem could be applied in this case, then the conclusion of the theorem would be:

∀x ∈ Z. ¬(∃b ∈ Z. x^2 = 2 b^2)

Which is equivalent to:

∀x ∀y ∈ Z. ¬(x^2 = 2 y^2)

... which is clearly false when x=0 and y=0. So it seems like the theorem of infinite descent cannot be used to reach this conclusion. Some kind of false assumption would have to exist, but no false assumption was used to instantiate this theorem.
Location: Sydney, Australia

Remote: yes, or in-office

Willing to relocate: no

Technologies: web: HTML, SVG, CSS, JS, PHP, SQLite, ...

Résumé/CV: https://www.virtualgeoff.com/portfolio/

Email: geoff@virtualgeoff.com

25 years experience in front-end web dev. 17 years at ABC Australia. Currently working on my own projects ( https://sunclock.net/ , https://degreeswhat.com/ , http://www.timepasses.net/ ) but looking for work.
Alternatively it is great news for you - you can now get one for a bargain price.
Please, people need to stop recommending eloquent JavaScript. It’s fine for 6 chapters then it becomes absolute garbage, with the worst explanation for promises and async that I have ever seen in my life. “Crow networks” wtf! Stupid contrived example, I own the bloody book and it’s one of the only programming books I own that I NEVER RECOMMEND TO ANYONE
Symbols don't have to be human readable either. You can easily write completely inscrutible function names in source code.

I don't see how this point really matters. Sure you can name your functions and selectors stupidly all the same. There are also probably obfuscators for it (Proguard-like?). But that's not really relevant to my point.
Britain is sliding down on all rankings and measures, and the fact that these people voted for Brexit to make "Britain great again" (which a sizeable portion of the people still support) just shows that for now they are also incapable of dragging them out of the mud.

Probably Britain will be like in a few decades what now are the third-world countries...
I’m only going to engage with you once, because I think you’re being deliberately obtuse in your comments. The following is in case you’re being genuine, and for other’s benefit:

There are several orders of magnitude difference between a 9mm handgun and a small artillery round. The difference is in terms of concussive force.

If you shoot a handgun with earplugs in, you hear a pop that sounds kind of like dropping a small ball bearing on a wood floor. You feel a shock in your wrists and a bit in your elbows, like high-fiving someone.

Now, you stand a few yards from artillery - and I’m talking Korean war artillery, not modern stuff. Also not talking about reenactment stuff; they usually just put a bit of black powder in there. I’m talking about small tow-behind artillery that you’d see at the Big Sandy Shoot (Google it).

You _feel_ the sound before you hear it. You’ll look for some shooting muffs to put on _over_ your earplugs. The concussive force comes through the ground, through the air, moves through your head and stimulates your eardrums from the backside. You feel your guts vibrate a bit. It feels like the ground moved under you, like you’re landing after jumping in the air.

And _that_ is an order of magnitude or so below what we’re talking about with SEALs here - those guys are placing explosive with a sticky backing on doors, and torching it off from not very far away. There’s stories from them of not being able to get physically “far enough” from a charge, and having to detonate it anyway because you’re in a freaking war zone. When a SEAL says “oh, this is going to fucking suck” before pushing a button, you know it’s real.
Heh, I'd recommend replacing dead links on the blog with https://web.archive.org/ ones.

Based on how broken the site's external links were I incorrectly concluded the whole blog was created by genAI. Then I thought to check web.archive.org and found they're legitimate links & it's just internet bit rot.
The 2014 version now redirects here.. so 2014? (173 points, 66 comments) https://news.ycombinator.com/item?id=13503643

That it's from 2014 is mentioned in the article, but not why/what the changes were. Possibly related:

We are at our most creative just before we fall asleep, scientists say (2022) (68 points, 49 comments) https://news.ycombinator.com/item?id=40851530
I am (slowly) working on a TUI: https://github.com/Cretezy/lazyjj
Is it safe to let your password manager autofill your password?
Ah yes, but it's a static site, shouldn't be 404ing. Most probably you're hitting `/docs`. I've not setup the redirect of trailing slash. Will do that.

Meanwhile, the docs link is https://doggo.mrkaran.dev/docs/
With the war in Ukraine, I have a newfound appreciation for defense spending and intelligence gathering(We know Russia was going to invade), while at the same time I am able to view Afghanistan and Iraq as disastrous and unnecessary as well questioning indiscriminate surveillance and other immoral activities done under our name.

I don't know exactly what our military budget should be. It is probably undoubtedly bloated and perhaps full of white elephants, while we're underspending in some area. It seems that the peace dividend is over.
The Enigma of the Roman Dodecahedron Is Revealed
> What's important is reliability of the output given a distribution of inputs, and that's where LLMs are unreliable.

Nailed it! Thank you for stating this better than I did. Maybe I should have used the word "trustworthy" instead of "predictable".

If I'm using an LLM as a calculator to solve math problems for my users, I may be able to say with certainty that my model is 99% accurate, but I'm not able to know ahead of time which questions it's going to miss, and which ones it's going to get correct. It's a near-infinite input space, so it's difficult to prove correctness via induction. The attention mechanism is (thus far) fairly inscrutable, and thus proving the correctness via deduction is (currently) not possible either.

It would feel weird to use an LLM for a calculator, just as it feels weird to use an LLM as a compiler. I want something that uses an algorithm that is provably and predictably correct -- not one that is "almost always" correct.

That unpredictability of accuracy isn't connected to the temperature used when sampling, so much as the inscrutable nature of the attention mechanism when verifying the trustworthiness over the range of all possible inputs.
Early Development; Your Trust and Safety HQ
Location:India

Remote:Yes(Preferably in office)

Willing to relocate:Yes

Technologies:Go,React,Java,SpringBoot,TypeScript,Postgres,C,C++

Resume:https://suv-900.github.io/core/

Email:paulsuvham36@gmail.com

I am a self motivated,passionate engineer with 2YOE writing backend applications.I love digging into low level code closer to hardware.Willing to go beyond my tech stack to develop algorithms write code for hardware for efficiency etc.

Currently in my final year of my college(2025 passout) looking to work and build stuff.
Looking to work in a challenging environment where i can leverage my skills and make good software.
The example I like to use is the confusion around COVID statistics, and how people mis-interpreted them.

For example, the rate of infections (or deaths) per day that was reported regularly in the news is actually: rate of infections * measurement accuracy * rate of measurement.

I.e.:

If more people turn up to be tested, the "rate" would go up.

If the PCR tests improved, the "rate" would go up.

A similar thing applies with hospitalisations and deaths. It might go up because a strain is more lethal than another strain, or because more people are infected with the same strain, or because more deaths are attributed to COVID instead of something else.

It doesn't help that different countries have different reporting standards, or that reporting standards changed over time due to the circumstances!

Etc...

It's complicated!
I love using ipinfo.com for the extra details it provides like hostname, ISP, ASN, etc.

$ curl ipinfo.io/json

or you can look up these details for any other IP:

$ curl ipinfo.io/18.18.18.18
To be clear I make time to meet if the submitter wants to talk through things. I don’t require meeting on every PR. I meet as needed on PRs, pretty infrequently as people get up to speed
Mike Tyson and Paul Holdengräber: Undisputed Truth
Ukraine doesn’t have 350 million citizens and the world’s 1st, 2nd, 4th, and 7th largest air forces, ten times more aircraft carriers than the next country, the worlds most effective military training, and a total military budget of more than the next 15 or 20 countries. If we sent troops to Ukraine, Russia would be out within weeks, and we’d have less casualties than Iraq and Afghanistan, assuming Putin didn’t start nuking.
How would they know?

The whole twitter thing around the bots was just a theatre.
There is a limit, but it is rather high. The big constraint is the steel cladding of the shafts --- those nearly vertical tunnels are all "armored", because normal rock would not resist the pressure. The company I work for has plants with 800m ~ 2400 feet height difference running, I know of slightly higher ones in the French/Swiss Alps. Up to 1km is doable with current engineering.
This is my opinion is a great way to read HackerNews, more like a newspaper organised by dates which makes it easy to catch up on the news when you’re away on vacation or for a work trip.

Dark mode is a feature request, but these days Dark Reader makes it possible on most browsers, HyperWeb for Safari on iOS can do it for iPhone users
> how is assassination an official act?

In the majority's opinion they stated that any act carved out by the constitution for the president is an official one.

The constitution establishes the president as the commander in chief of the armed forces. If the president orders a member of the military to assassinate an individual, he's exercising his role as the commander in chief, an official act, and is thus criminally immune.

The slightly longer form also includes that the majority held that for official acts, a president's motives can't be probed by the courts, so whether the president ordered Seal Team 6 to murder a political rival for self-interested reasons, that it was an official act is the only thing that need be considered.
bathroomsAreUnisex || (bathroomTypesWithTable % 2 == 0)
Yes, the secret sauce of hn is not the ui, it's dang.
They are just different animals.

Compared to MediaWiki, DokuWiki is "simpler" all around and more lightweight.
Simpler in visual design, simpler in how data is stored, simpler in most regards.

But in practical use, they are actually pretty close in many ways. DokuWiki is almost like a thoughtfully pared-down (from the start) MediaWiki-like wiki system.

DokuWiki still sticks pretty closely to normative wiki conventions about how a wiki "should" (is expected to) work (a la MediaWiki or maybe even as far back as WikiWikiWeb). Visit a non-existing address allows to create a new page; pages use some succinct syntax (which maybe can be replaced for Markdown using some plugin); pages look just fine on web or mobile; etc.

Also, the stored data of MediaWiki is arguably more immediately portable (and perhaps more immediately accessible just after a disaster, so long as there was a backup), since it is just a hierarchy of text files. There is no database to administrate in DokuWiki.

Granted, MediaWiki is a de facto standard. But this does not make it the only sane choice.

If you spin up and make some content in 2 or 3 different wikis, you will see that they have different strengths and weaknesses. There are a lot of interesting and great wiki systems. MediaWiki and DokuWiki are among the greats. There are obviously others, too, and people love different ones, which is wonderful. The more the better.

Some a fair-ish comparisons seem to be at https://www.wikimatrix.org/compare/dokuwiki+mediawiki and https://en.wikipedia.org/wiki/Comparison_of_wiki_software
That was a fun book
I don’t think this is a helpful comparison. A citizen in the service of an enemy engaged in war against his country does not enjoy the protections of an arbitrary citizen. We can rightly argue whether that theory wholly fits the facts of al-Awlaki, but it’s a very, very long bridge from that case to Sotomayor’s hypo
When I run that:

$ doggo google.com A AAAA AFSDB APL CAA CDNSKEY CDS CERT CNAME CSYNC DHCID DLV DNAME DNSKEY DS EUI48 EUI64 HINFO HIP HTTPS IPSECKEY KEY KX LOC MX NAPTR NS NSEC NSEC3 NSEC3PARAM OPENPGPKEY RRSIG RP SIG SMIMEA SOA SRV SSHFP SVCB TLSA TSIG TXT URI ZONEMD

It takes 5+ seconds to get a response.

Classic `dig` though takes 50ms.
While one can't refute the existence of the mentioned warts, they are not a big concern practically. We use gRPC in our Partner SDK[0] and Connector SDK[1].

[0] https://fivetran.com/docs/partner-built-program
[1] https://fivetran.com/docs/connectors/connector-sdk
Does anyone know if or where they are available in Europe?
See Also:

Apache PLC4X announcing end of community support due to missing funding https://github.com/chrisdutz/blog/blob/main/plc4x/free-trial...

290 points by schlotzisk on Jan 12, 2022 | 157 comments https://news.ycombinator.com/item?id=29904261
Look-- prosecution and liability of people holding office is tricky.

We neither want a world where every politician faces investigation for misdeeds after leaving office, nor one where apparently the president can act with impunity with no clear limits at all.

We need a middle path, where prosecution is rare and exceptional but true misdeeds can be punished (and deterred).

I feel like we left behind where we were slightly over-investigating and made a massive overcorrection to the other side for blatantly political reasons.
If every past, present, and future legal scenario was explicitly and unambiguously addressed by the constitution, we wouldnt need the Supreme Court.

In reality it is an imperfect document that can never possibly be complete.
Reading through paper cited by the popular magazines and news articles is like looking at the prev night's escapade with sober eyes in morning light!
> Performance

I what is SSH going to allow you to do here that’s not covered by logs + APM? I’m honestly not sure I’ve debugged 1 performance issue in 10 years over SSH.

> Stability

Ditto.

> Security

This one I understand slightly better, but I think syslogs and network (application) logs have you pretty well-covered here.

> massive replay infrastructure and a complete duplicate of all data running live

… assuming you had this, and could SSH into it, you’re going to do what over SSH?

> "DB got dumped last week and we just wiped all the evidence with this mornings deployment".

SSH doesn’t help you here. If doing this release pattern is problematic for the reasons discussed already I suggest this points to a deep flaw in your performance, stability, and security strategy.
Booting Linux off of Google Drive
> In an unprecedented exodus, about 500,000 mostly young educated Greeks are estimated to have emigrated since the near decade-long debt crisis erupted in late 2009.

I'm sure this reform will make them come right back!
By this same logic, Russia should also surrender.
There are products that people like, products that people really enjoy, and there are products that owners evangelize. I'm not certain what pushes some goods over that final threshold — these things are in existing categories, the shortcomings are often as apparent as the strengths, etc. — but there's a certain je ne sais quoi that all the evangelized products have. In the US, the kei truck has that level of appreciation.
dabest
Please no AdTech and Crypto, thank you!
> they'd have to convince neurotypical people how weaving is different from how neurotypical (?) people frequently engage in extended riffs. Whose Line is it Anyways?, improv comedy, the work of Stewart Lee and other stand-up comedians

Do neurotypical people enjoy the work of Stewart Lee?!
You’re thinking about news.ycombinator.com, run on a single server from M5, which is not the same as ycombinator.com.

> dig +short news.ycombinator.com
209.216.230.207
> ipinfo 209.216.230.207
{
"ip": "209.216.230.207",
"hostname": "news.ycombinator.com",
"city": "San Diego",
"region": "California",
"country": "US",
"loc": "32.7157,-117.1647",
"org": "AS21581 M5 Computer Security",
"postal": "92101",
"timezone": "America/Los_Angeles",
"readme": "https://ipinfo.io/missingauth"
}

It was moved to AWS temporarily the last time the servers failed: https://news.ycombinator.com/item?id=32031136
I implemented a sorting network in C# with AVX2 intrinsics.
https://github.com/zvrba/SortingNetworks