skysight-inc/HackerNews huggingface dataset:
> Another interesting application would be "zoom" meetings where everyone is shown around the table or in the audience and it processes their emotive state in real time. That could help speakers engage with the audience in a better way.

See Permutation City[0]. Another application is actually masking reactions selectively. There's some interesting aspects that play out with respect to this and some other interesting aspects tech that people will now view as near Sci-Fi. The VR identity cloning is a common Sci-Fi plot, not specifically a Permutation City thing. Great book, highly recommend.

[0] https://en.wikipedia.org/wiki/Permutation_City
There are many examples of catastrophic bugs in real life.

New bridges collapses, dams overflow s, planes crashes, vaccines kills, food kills, leaning towers and skyscrapers, capsized ships - catastrophic flaws are everywhere.
Direct experience? Learning from their parents? Typical young person reaction to perceived injustice? Dangerous to have a differing opinion?

They have internet, but unfortunately it's not a force for moderation.
Make sure you mention the tubes!
+1. Unfortunately political articles, even with a heavy and highly relevant tech slant, tend to produce toxic conversations and don't reach anywhere near their potential with regard to curious conversations (as per @dang, this is the stated goal of HN).
Well, to be fair, wasn't this always going to be the end state? I wouldn't be surprised if the choice of subscription plan was mostly because it makes "total value-time received" a really easy calculation. It worked for 2 months, you're not getting your 4$ back.

Surprised it only lasted this long though, I'm sure they weren't betting on that. I still wouldn't expect a refund for the 1,50$ of 3 weeks this payment cycle that you didn't use.
Comments moved to https://news.ycombinator.com/item?id=38574888, which was posted earlier and is also on the front page.
>This doesn't make sense. What is the "paranoid" model in which PGP provides (1) better cryptographic guarantees and (2) metadata isn't your primary concern? PGP cannot provide forward secrecy, provides all-around weaker cryptographic primitives, and is significantly harder to use correctly. It isn't a rational choice for a paranoid actor to make.

I think you must have misunderstood me. By "PGP over Signal" I meant PGP-encrypting messages and pasting the ASCII-armored ciphertext into the Signal client. The idea being that even if the NSA can break Signal's crypto, they might fail to also break whatever crypto you select with PGP. I should have said "both PGP and Signal", sorry for the poor communication.

I acknowledge PGP's flaws, but I like it as a ubiquitous DIY tool. I'm hoping that niche gets filled with something better. Though to be honest, I think for the "ubiquitous DIY tool" niche, forward secrecy might just be impractical.
Egypt has a tight border because Israel has a history of launching retalitory strikes against neighboring nations from which terrorist cells originated.
That might hurt game sales fundamentally if they can be completed within that time frame.

If there’s gonna be a short timer it should start the moment the app is first opened instead of the purchase time.
Many times, Decidable assumptions are added simply because they appear in the terms in a theorem statement, and doing so makes applying such a theorem easier. There's the technical annoyance that Decidable instances are equal but not necessarily defeq, so if the wrong instances are present (such as the classical ones) then you need simp-like automation to rewrite instances before unifying. Maybe this is what you're seeing?

There have also been attempts to make polynomials computable, which peppers everything with decidability, but it's not a good data type for real large-scale computations, so it's not clear what the future is there. Maybe the defeqs are worth it, I don't know.

Re constructibility, this is all at too high of a level to really know what you're talking about, or why it's beneficial to write proofs themselves in a certain way. I'm not really even sure what you mean by "constructive". To me, I see no problem with writing a recursive definition that requires a non-constructive proof of termination by well-founded recursion -- is that constructive to you?
Thanks for the link! Better than the articles I came across before. It has a kind of GEB vibe to it which is nice.
The comparison is not really correct, because the "hp" was defined as the power that a horse could sustain for a very long time, like when being used to power a pump or a mill, which was the right equivalence for the replacement of a horse with a steam engine.

Like humans or any other animals, horses can sustain much higher powers for short times, than for long times. Few horses, if any, could sustain a power of "1 hp" for hours.
time for walled gardens to be killed by EU's DMA
And IIRC it used some old OSX binaries to do so? Just terminating the access might be a lucky outcome if that's the case, considring the money involved.
ShareX: Open-source Screen capture and file sharing tool for Windows
OK, let's try how it goes:

Hey Czesław, I cannot leave it flexible, because it's a train that can run over 100km/h with 500 passengers inside, so I need to know the details to perform the required safety analysis. All in all, my name will be in the commit log if someone runs... git blame.
TAF15 amyloid filaments in frontotemporal lobar degeneration
To be bug free we must be able to define what a bug is. So, what is a bug?

The reason for that quote is from what you have said a bug would be anything you didn't expect, even if it is consistent or not with the specification as that merely affects if we classify it as functional or not (a classification I profoundly disagree with, obviously). It is simply a negative rephrasing of what the marketing guy said and laughable in the same way.
TIL, if sufficiently motivated (nice and hot laptop?), cats are also excellent at fuzzing input...
I think it’s been clear to most of us from the early days that the media is the second front in this war in way it’s never been.

“Success”, whatever that looks like, lies in getting the rest of the world to care more about your side and/or be too apathetic or paralyzed to side when your enemies.

That’s always been the case to some degree, but this conflict is dropping on a hyper-connected video world that is new.

It’d be foolish for the heads of either camp to not try to manipulate popular opinion. Sadly that makes it harder—though not impossible—to grok the truth, but practically I don’t see it ever changing for the simpler.
Like with all things quality is proven through practice and measures, which means quality can only be guessed at before a product is built.

Like in all things here is how you do it:

1. Build a first version that works and accomplishes all initial business requirements.

2. Build test automation or inspection criteria.

3. Reflect upon what you built and watch how it’s actually used in production.

4. Measure it. Measure performance. Count user steps. Count development steps. Determine real cost of ownership.

5. Take stuff out without breaking business requirements.

6. Repeat steps 2-6.

That is how you build quality whether it’s software, manufacturing, labor, management, whatever.

In my own software I devised a new model to solve for this that I call Single Source of Truth. It’s like DRY but hyper aggressive and based upon empathy instead of micro-artifacts.
My personal recommendation would be Folding@Home[1]. Protein folding is an insanely complex thing life does and they use distributed computing to try to solve the large problems.

1. https://foldingathome.org/?lng=en
> Why is America so fixated on Israel?

1. It's a Western-style democracy in an Eastern anti-democratic location.

2. It doesn't hurt that there have been plenty of ethnic Jews in foreign policy positions.

3. The military industrial complex doesn't see costs as costs.
rep_lodsb: Do you know what various undocumented things are in the 286 patent? In particular, the block diagram shows PHAM and LCM signals from the microcode, but they don't explain what these are. Maybe PHAM is physical memory? COREQ is coprocessor request?
(I don't know if you're still following this comment thread; maybe you can email me.)
I think a lot of people get “turn the other cheek” wrong, much like “a few bad apples”, and “blood is thicker than water”.

Here’s the passage from Matthew 5:38-39 KJV:

“38 Ye have heard that it hath been said, An eye for an eye, and a tooth for a tooth:

39 But I say unto you, That ye resist not evil: but whosoever shall smite thee on thy right cheek, turn to him the other also.”

What Jesus is advocating is nonviolent resistance, not walking away. MLK Jr. understood this passage well.
Beeper Mini starts as a 7 day trial and its been 24 hours so I imagine they'll be fine.
Language Models trained at the size and data they tested are pretty terrible to begin with, translation or not.

Like I said, the crucial thing is that it looks to be a diminishing gap. I'm not saying parallel corpora is doing nothing or is unimportant but that's a clue that monolingual competency of the languages in question is the biggest factor here. The extreme positive transfer language models exhibit in terms of multilingual competency is another clue.
https://arxiv.org/abs/2108.13349

Parallel corpora may be a crutch with fading relevance.
> A better experience would be writing your own message delivery solution, superior to iMessage.

May be infeasible, due to network effects
Can you imagine that all it took for her to lose her job was "“Freedom for Palestine”.

That's the insanity about this whole thing. The Zionists don't believe Palestine nor the Palestinians deserve a homeland while many Jews believe they do.
Zionism is an incredibly powerful entity that even brought Musk to his knees.

That's the real story here.....

Just saying....
One may wonder if the real goal was to create an antitrust case rather than a working app.
Is it really worth fighting over a piece of land for generations?

It's just dirt, there's nothing special about it. Almost all borders are the results of war and conquest throughout history, it's better to accept that and move on.
So an essential solution hasn't worked everywhere every time. Should we abandon it? Should the founders of the US quit after the Articles of Confederation didn't work out? Later after the Civil War?
This was the way with GAIM and Adium and stuff back in the old days. It'll be back.
This status page is for their cloud offering, Beeper Cloud. Given how Beeper Mini works I don't think they could even make a status page for it?
In addition to what was said, if its anything like DPO you don't need a lot of data, just a good set. For instance, DPO requires "good" and "bad" responses for each given prompt.
And then you remember stories like that about Boeing. How their 737 Max has been tested by cheap contractor from India.

There are tons of software without continuous delivery.
The headline sounds like the final end of the experiments but to me it sounds more like a setback, e.g. eventually they hope to get a transgenic blight-resistant tree they can distribute.
E.U. Agrees on Artificial Intelligence Rules with Landmark New Law
I'm pretty sure everyone predicted it. It was exceptionally clear to anyone that Apple would block this and patch the hole that allows it to work.
Greed I’d argue, there are many that aren’t greedy but enough to ruin many things.
Powerline is very bad. It generates huge amounts of RF interference and I’m surprised to see it keeps getting recommended here. MoCa is far better as long as coax is available.
This is not surprising at all.

I feel like we had this war's WMD moment and its just not being covered!

The Al-Shifa hospital is a pretty interesting place: https://en.wikipedia.org/wiki/Al-Shifa_Hospital

In 2014 it was called "...a de facto headquarters for Hamas leaders, who can be seen in the hallways and offices." From: https://www.washingtonpost.com/world/middle_east/while-israe...

The US and Israel claim that the hospital is again being used by Hammas: https://web.archive.org/web/20231205215049/http://www.reuter...

"Hamas is using bunkers built by Israel under Al-Shifa Hospital, former Israeli prime minister says" From: https://edition.cnn.com/middleeast/live-news/israel-hamas-wa...

Israel takes the hospital: https://www.bbc.com/news/world-middle-east-67436154 and this is one of the few reports from the time. I find it odd that there is more coverage on getting there then on everything they found (or did not find).

It takes almost a week to get footage of the "tunnel" that they found: https://www.theguardian.com/world/2023/nov/19/idf-israel-arm...

I have yet to see a diagram, or some solid on the ground reporting. I hear mixed messages that the tunnel is on the "hospital compound" or was found "Under a wall" that the tunnel is under the hospital or to a pharmacy next door. I get that there is a fog of war, but the BBC and CNN and all our other normal news sources just quit covering or explaining at that point.

Israel has a history of bombing hospitals (2014): https://www.theguardian.com/world/2014/jul/21/gaza-crisis-un... so not exactly the first time this sort of thing has gone on.

I would love for someone to COVER this, to explain what happened, what went right and what went wrong. To put all the peices in one place and paint a more accurate picture, because right now there isn't one, and I think that's indicative of this entire war.
but, if you read the comment, he points out why/how, which other commenters seemed confused about.
As of right now there are likely hundreds or thousands of Palestinians trapped under the rubble of their houses slowly suffocating or dying of dehydration. A process that takes days or weeks.
My college uses this. It redirects to their login system when you put your school email in on gmail.
> people are jumping at the opportunity to contradict you and actually adding some new data points that you're actually right.

This argument is called a double-bind.
OpenAI leaders warned of abusive behavior before Sam Altman's ouster
This has zero to do with "western ruling class"

This is about authoritarians starting and driving a global war on democracy. Russia => Iran => Qatar =>Hamas. Why do you think Hamas leaders and Iranian leaders met in Moscow in mid-October? Gaza is opening a 2nd front on the Ukranian war. Putin & Russian officials have repeatedly stated that they think it is their right to rule at least the entire Soviet and Iron Curtain territory. Russian media is openly cheering the Republicans for blocking Ukraine aid.

But you can go right on believing the shrill propaganda, as if Hamas was some kind of organic protest movement (they are not, they are terrorist occupiers of Palestine). Just be sure you enjoy it when you no longer have a vote that counts after autocrats take over in your country, as they already have in Iran, Gaza, Hungary, etc.
Where does your militant data come from? And does it differentiate between fighters active before the invasion and those after?

Because large numbers of formerly peaceful men will now be engaged in the fight, either from grief at losing their families, or the natural instinct to resist an invader.
I think the purpose of the switch is the same as the write-protect notches on old floppy disks: it's not really a security measure, it's meant to prevent the owner from accidentally formatting/erasing/overwriting things.
I think developing high quality software is more art than engineering.

The most useful pieces of code typically have to deal with some of the most ridiculous constraints. Determining a way to integrate these such that the UX doesn't suffer is the real talent.

The only pedagogical model that makes sense for me anymore is the apprenticeship. You can definitely learn it on your own, but it's a hell of a lot faster to observe someone with 20k+ hours XP and skip some of the initial lava pits. Perhaps some of those lessons are important, but learning and knowledge are not linear things.
> today we have no architecture or training methodology which would allow it to be possible.

We clearly see that Mistral-7B is in some important, representative respects (eg coding) superior to Falcon-180B, and superior across the board to stuff like OPT-175B or Bloom-175B.

"Well trained" is relative. Models are, overwhelmingly, functions of their data, not just scale and architecture. Better data allows for yet-unknown performance jumps, and data curation techniques are a closely-guarded secret. I have no doubt that a 7B beating our best 60-70Bs is possible already, eg using something like Phi methods for data and more powerful architectures like some variation of universal transformer.
I'm gonna complain here because I see gitlab employees commenting.

It's a pretty bad look to claim that you offer a free version for individuals when there's not actually any way to get it from gitlab.com. Your only option is an email capture for a free trial of enterprise. Even the install docs redirect you to an email capture.

Of course there is a way to install enterprise for free, and it's full of nags and enterprise-only features that prompt you to upgrade.

You have to already know what CE means and you have to find it through a search engine. Even the install docs barely mention it. I got all the way through the install process and configuration before I realized I'd installed the enterprise version. I only found CE by searching for ways to hide the enterprise upgrade nags.

It's an extremely bad look, and people like me who care about privacy and open source are gonna be turned away. I explicitly decided against gitlab for this reason. I only came back because the other options are worse.

I get wanting to promote the paid offering, but completely burying the actually-free version and only offering an enterprise trial behind an email capture is pretty hostile. It's against the spirit of FOSS and I'm very disappointed.
Looks pretty sweet but what differentiates it from Semrush?
Not quite what you're asking for, but the Joint Strike Fighter C++ Coding Standards document is freely available. [0] It's 141 pages.

It's specific to the complex and unsafe C++ language though, rather than addressing broader software development methodology.

[0] [PDF] https://www.stroustrup.com/JSF-AV-rules.pdf
Wow, yeah I'd be even more worried now.
In 1947 there was a British rule. Before that the region was ruled by the Ottomans for some 400 years. Palestinians weren't self-governing at any point before the Oslo accords in the early 90s.
The "outrage of the week" is attention going to a current event. Our attention and hours are limited so for the majority you choose what's top of mind. There are 1000s of things we should all be addressing collectively but the conflict du jour usually wins our attention.

In my country (US) we've had ~200k deaths from opioid prescriptions. It gets attention but it's really not enough when the perpetrators should be in prison for life.

None of this is a good thing but "outrage of the week" is simply attention and attention span. We're all limited.
That's very likely. They don't actually say anywhere what that status page is for. I do feel like they could be and should be collecting stats on whether or not messages are sending properly or not in app, especially since this ways always the most likely scenario eventually.
International "Support" should be clear that settlements in the West Bank are a deal breaker, and that a sovereign West Bank should be recognized internationally. I can only hope Israel ousts Bibi after this, as it's clear evidence that occasional violence in Gaza is NOT a workable system, and the settlements in the West Bank by groups of people that are largely considered extreme right and have not a lot of sympathy from most other Israel citizens aren't helping either.
As I never knowingly listen to music on 48V, is it reall so much better than 12V?
It is the same as you learn about backup and restore process. And then you learn hard way that you should have been testing your backups, if they can be used to restore data.
What was the board's financial stake?
How is this a demonstration of "antitrust"? Apple does not unfairly prevent competition for messaging apps, as evidenced by a plethora of competition for messaging apps, plenty of which are far more popular on iPhone outside of the US.

Apple faces the heat of this competition - it frequently adds features to iMessage to make it equal or better than it's competition. Voice notes through iMessage was a direct reaction to popularity of that feature in other platforms.
Economic welfare is a subset of national security so in that sense he's right. Kinda funny headline though.
Does it also work with CUDA memory?
Crazy that the CEO even tried to create an entire company based on something that they absolutely cannot control. Was this an acquisition play?
The scientific groundwork for excellent testing, anyway, has already been done-- but not in the realm of computer science. This is because computer scientists are singularly ill equipped to study what computer scientists do. In other words, if you want to understand testing, you have to watch testers at work, and that is social science research. CS does not take social science seriously.

An example of such research done well can be found in Exploring Science, by Klahr. The author and his colleagues look very closely at how people interact with a system and experiment with it, leading to wonderful insights about testing processes. I've incorporated those lessons into my classes on software testing, for instance.
How would this be used for an anti-trust case?
If you can’t come up with at least a specious argument as to why your [insert thing] should be locked down, you should expect EU Antitrust at your door in the near future.
In fact yes! https://punchng.com/value-of-ivf-in-elimination-of-sickle-ce...

But practically, it'd be a huge challenge. Nigeria's one of the main victims of malaria and, not by coincidence, one of the main victims of sickle cell. There are IVF clinics in Nigeria, but they're very expensive even before you consider sickle cell testing. It likely wouldn't scale to all of the births per day, and something like a quarter of the country would need it.

But it's not IMPOSSIBLE. You'd need to do maybe 75 or so per day to cover the 25% or so of the country that have the gene and would need it. Hard and expensive and impractical, but perhaps possible?
GPT-4 gives me the correct answer:

> The result of subtracting 5614 from 28104, dividing that result by 65, and then multiplying by 3 is 1038.

Q* gives me an incorrect answer: 1035.

The reverse you expected.
This person sounds quite disgruntled and should find somewhere else to work for their own well being.
They are competing against another business (not google), and through AI generation of content (based information gathered from the competitors site map) they were able to capture web traffic from Google that would previously have gone to their competitor.