skysight-inc/HackerNews huggingface dataset:
Since every positive even integer is the sum of two primes (at least, within the range of weights you're likely to be lifting), maybe [5, ...the list of primes times 5]?

So if the list of primes is 2, 3, 5, 7, 11, etc, you could have weights of 5, 25, 35, 55, 75, 11*5, etc. for 5, 10, 15, 25, 35, 55, etc.
How do you know something is true if you don't have a proof? It all depends on you views on the philosophy of mathematics. Are there "true" statements that don't have proofs? Some say yes, there are platonic ideas that are true, even if they aren't provable. Others say, "what does it even mean to say something is true, if there is no proof. What you really have is a conjecture."
> The SCIP solver is designed to run natively, so Poker Chipper bundles it for the browser by compiling SCIP to WebAssembly (WASM)

This is amazing. I wanted to do something similar for a web-based optimization. I ended up just putting a C++ Lambda up to serve the requests.

I wonder how the performance compares? I feel like optimization frameworks make use of a lot of CPU-based heuristics.
Is that in any way significant? Porsche offers 60 yeas of full service maintenance for its customers.
Also see:

https://news.ycombinator.com/item?id=40575404

https://news.ycombinator.com/item?id=40574912

https://news.ycombinator.com/item?id=40566424

https://news.ycombinator.com/item?id=40569808
Lots of tools available, best index I've found of the ecosystem is this: https://wiki.archiveteam.org/index.php/The_WARC_Ecosystem

Ultimately, this is the best viewer I've found so far: https://replayweb.page/
> The author of the post is Terence Tao that is the best live mathematician. If he says it's a "breakthrough", it's a breakthrough.

I think it's pretty silly to say that Tao is the best living mathematician, but even if he were I don't think that this would be a useful way to think about things.
nicwolff's comment isn't framed as intellectual curiosity. It comes across as condescending. $0.02.
Just curious if you've tried psychedelics?
I don't think the L0 is the "new" cache. It's still 48K like the old L1. The 9 cycle 192K cache about halfway between the old L1 and L2 is really the new cache level in size and latency. And that's now called L1.
Tvix aims to be a modulary implementation of Nix, which could create a bridge between Nix and Guix, according to a claim by its author:

"It should be possible to write an evaluator that plugs in the Guile language (for compatibility with GNU Guix), to use arbitrary builders, and to replace the store implementation."

https://tvix.dev/
Because they also had an incident overnight, and the resolution caused some cascading issues?

https://status.openai.com/incidents/rs49lmsh6xxw
I take the "professional value" to mean essentially putting it on your resume, gaining publicity by blogging about it, getting conference organizers to let you give a talk about it, etc., all of which may ultimately increase the money you can earn doing computer security.
Ask HN: Should Engineering Managers write code?
For engineering managers who started as engineers, the longing to return to coding is real. The satisfaction of solving bugs and writing code contrasts with the draining nature of meetings and managing team dynamics.

1. Yes! Only on non-critical work.

2. Yes! Even on critical work.

3. No! Focus on manager duties.

4. Depends (comment below)

Chhose and explain.
There is no known result that says RH being true breaks modern encryption; if there was, the cryptanalysts would assume RH and try to break it anyway.
There are six (maybe more, but I have six so far) factors in low nuptiality (marriage rates)[1] and consequently sub-replacement fertility, under the headings of religion, medicine, technology, geography, sociology, and ethics.

1. Secularism. Secular populations are less fertile than highly religious populations.

2. Infant survival (low infant mortality).

3. Mechanisation particularly of agriculture.

4. Urbanisation.

5. Credentialism, the social requirement for people to spend an increasing fraction of their fertile years in pre-employment education. Simple literacy is also pretty important in causing early fertility decline in developing countries.

6. Universalism together with a tolerance for inequality. Universalism is applying the same rules to everyone, so women can enter the workforce and make their own life decisions just as men do. Tolerance for inequality I hope I don't have to explain. (I am split whether this is one factor or two.)

There is some interlinkage in these, they are not all totally orthogonal, but they are all fairly distinct dimensions of the problem.

Japan (and South Korea, and China) max out on credentialism and tolerance for inequality but also score highly in all of the others.

Finally this is a great example of one of Iain Banks's "Outside Context Problems".

More than a black swan, it's a problem that governments are simply not equipped to understand or in some cases even see, so they can't do anything to solve it.

1. https://www.allendowney.com/blog/2020/10/21/millennials-are-...
Ironically, a failed recall issue. They forgot they needed to add newlines in between. :-)
I'm looking for opportunities to work with uncommon/obscure technologies/domains.

Location: Ho Chi Minh city

Remote: Yes

Willing to relocate: Yes

Technologies: Python {Deal, Hypothesis, pybind11, ctypes}, Nix (contributed several packages), Rust {nom, tokio, serde}, Erlang {Cowboy, PropEr}, Haskell {QuickCheck}

Résumé/CV: Available on request

Email: giang.nghg@gmail.com
Unfortunately America seems to not be able to get its shit together in how it handles larger cities. Mass transit sucks, life threatening noise pollution, rents are too high, and homelessness abounds while many enter some sort of Stockholm syndrome and think these problems are overstated and defend the status quo. I want to keep living in a walkable high density area but greed, complacency, and outright ignorance destroys what could work for more people.
This project is two weeks old!
Thanks, this something I'm also after. Want to self host a system like that, have the hardware but I'm yet to go through all options.
It's unbelievable that Cox offers no compensation or reward for incredible work like this.
WebAssembly JSPI has a new API
Four in five CISOs have been told to downplay a potential risk's severity
If you don’t want to be called out for saying things that are wrong, either learn something or keep quiet.

Complaining about it just makes you look worse.
> 'Save the webpage as I see it in my browser' remains a surprisingly annoying and fiddly problem

Is it really? I remember hacking around with with JavaScript's XMLSerializer (I think) like 5 years ago and solved that for ~90% of the websites I tried to archive. It'd save the DOM as-is when executed.

Internet Archive/ArchiveTeam also worked on that particular problem for a very long time, and are mostly successful as far as I can tell.
"USA" on its own seems like a poor answer. USA is very diverse. There's anything from strict religios communities who have a tonne of babies, to modern families which exclude having kids altogether as a lifestyle choice.
Congress wrestles with AI's boost to campaigns, potential misuse
I think they were asking for a tiny drop of cheer because they saw the dystopian demo. As in, "please tell me there are ways this will do good and not just make life worse"
It was mentioned by a sibling, but there are ways to connect without using one of AT&T's gateway devices. Different methods are catalogued on https://pon.wiki/
Giving this some more thought: I do know that Nike has a revolving door for developers. It seems that a framework like Koheesio allows Nike to essentially hire for scala from a pool of candidates that only have python experience. Once hired, as they use pyspark and koheesio daily, they don't even know they are scala developers. Much easier to hire/fire python developers these days.
Used it already to screenshare between a Mac and a Windows laptop - flawless.
Show HN: Dev Kubernetes cluster in 10 seconds – Docker is the only requirement
> BFT-style consensus such as Paxos and Raft

Raft cannot deal with byzantine failures, so it's not a BFT protocol. Neither is the original Paxos, unless extended to Byzantine Paxos. Both are CFT by default.

> So, we would not expect distributed state machine replication to get better by requiring permissionlessness.

Right, but the banking system isn't a 600LoC Raft implementation. By your own admission, the bulk of inefficiencies come from the other 99% of stuff banks do.

So the question is: how much regulatory burden can be reduced if we were to switch to a crypto-based infrastructure.

> just so you can circumvent the law.

I can pay taxes in crypto to my local government. We also have crypto ATMs in several places here. Blockchain companies are working very closely with financial regulators. Not sure what kind of laws I'm supposedly circumventing here.
People just don't want to pay for a subscription to the web services they use.

Web services constantly treat users poorly, further encouraging them not to pay.

Advertising is an established and "accepted" way to make tons of money.

We're just going to keep seeing this pattern of a new service being released, users adopting without paying, companies resorting to user hostile ways of making money, and users eventually abandoning the product for a new one.
For, you see, this island's ecosystem is artificial
_House of Leaves_, Mark Danielewski. This one has at least two layers of meta story. The body of the text is a long-form analysis written by a blind man of a fictional film. The extensive footnotes are of the guy who found the manuscript after the blind man died.
Here's a demo graphic for reversed Z in WebGPU; requires a capable browser.

https://webgpu.github.io/webgpu-samples/?sample=reversedZ
When I tell people the UI of paper books is in most ways superior to ebook readers, this is the kind of thing I mean.

They do take up a shitload less space, which is a pretty big advantage, though.
Even more bonus points when you realize that the feature is still in development and has NOT actually released.
Are these outages because each service is simply a facade to chatGPT? Or is it cascading failures due to chatGPT outage and other systems unable to handle the spikes in usage? Or government mandated lockdown?
Not according to constructivists.
There was a famous joke where someone pointed a subdomain to localhost and invited anyone to hack it.
So far, even on underpowered Android phones I've tested on, the performance has been really good. It's more of a testament to how fast SCIP is than anything else!

Specifically, I haven't been able to find a reasonable set of parameters that cause the optimization to take longer than ~20 seconds on the slowest device I tried.

To get things to be smooth, though, I had to do debouncing and also run optimization in a web worker (separate, non-blocking thread) so the UI doesn't hang. Doing that was its own challenge since web workers don't use the HTTP cache for security reasons (they're supposed to be an isolated context), and it was re-requesting the ~5MB WASM files every time any of the numbers was adjusted. To solve this I used a service worker with a local cache.

Slow performance of web-based Z3 for optimization was one of the main reasons I switched to SCIP. I originally had a version working using a WASM port of Z3, but it just wasn't fast enough to be usable.
My frustration at this type of interviews is more philosophical. In broad strokes, for some reason the employers desire and require a significant amount of effort and training from potential employees so that those could (in theory) then solve complex problems for the company; but at the same time, employer's management _usually_ absolutely refuses to invest any noticeable resource in researching, designing and maintaining the processes they should be accountable for, including the recruitment.

Which leads to the current state of IT/high-tech recruitment where things are, in most cases, so mismatched between ends and means, it's not even funny. It might be very entertaining to look at how people hiring for senior+ infrastructure roles (SRE, DevOps, what have you) try to use "leetcode" style stages - unless you are a desperate job seeker. (and no, I don't think an SRE or cloud infra engineer shouldn't be able to code, I just don't think leetcode-style tests are at all relevant as tests for that)

And at the end of the day you end up with an engineering org where in the intake funnel they ask you to [competitively] solve variants of the knapsack problem, but once in, you end up solving it in the form of "how do I slice and dice a set of tickets within a completely irrelevant, misaligned and misunderstood "Agile" model so that can best pack SPs into a sprint and also do some actually useful work".
https://archive.ph/nnvgy
Same as M3 then.
Haha: "Millions forced to use brain as OpenAI's ChatGPT takes morning off"

https://www.theregister.com/2024/06/04/openai_chatgpt_outage...
There is another possibility: it could be an arbitrary choice, as in the case of the parallel postulate, the axiom of choice, and non-standard models of the Peano axioms.
I think Claude is on AWS
When Disaster Tests the Strength of Human Cooperation
It also could be dark in the "unknown" sense, not literally.

Before getting pedantic with the dark side of the Moon, English academics should first fix why you can "drink a drink" but you can't "food a food", that's making my English lessons hard.
Huh, that sucks I'm sorry you've had a bad experience. I hadn't considered fan noise, the "Lenovo ThinkCentre M900 Tiny" I got is mostly silent... I probably don't stress it very much!
The article seems to (loosely?) imply that there's a connection between the outage and some sort of an internal employee protest, although I think it's incredibly shoddy journalism at best.
Elon Musk's AI predicts how Arne Slot's first season at Liverpool will go
Optimal in what sense? If you want to have each whole number using each number at most twice then sure.

If you want to get within x% using at most k weights the some kind of logarithmic distribution is also a good bet.

Both you and OP could benefit from being a bit clearer about what you find optimal.
Discussion [0] (91 points, 8 hours ago, 90 comments)

[0]: https://news.ycombinator.com/item?id=40572107
Why do electronic components have such odd values? (2021)
"getView command allows obtaining a textual view of a terminal window."
It shows me how much I used it to help rationalize my health anxiety. Now I need to decide whether I trust llama3’s answer enough; or if I should just get it over with and schedule an appointment with my doctor so she can confirm my fear that this twitch in my eye that’s turned into pain and irritation is a clear sign of a tumor.

=P
SEEKING WORK

I'm looking for opportunities to work with uncommon/obscure technologies/domains.

Location: Ho Chi Minh city

Remote: Yes

Willing to relocate: Yes

Technologies: Python {Deal, Hypothesis, pybind11, ctypes}, Nix (contributed several packages), Rust {nom, tokio, serde}, Erlang {Cowboy, PropEr}, Haskell {QuickCheck}

Résumé/CV: Available on request

Email: giang.nghg@gmail.com
Faulkner. Woolf, though more in some books than others.
Intel 3 is supposed to be shipping as of today.
Of course you do the copyright scrubbing. Tatooine/Force/Jedi becomes Batoone/Energy/Cyberist(or something similarly inexplicable).
The association between antidepressant exposure and DNA methylation
Low carb/"Keto" started as a fad, with low science behind it, as in other fad diet. In fact, as "Atkins" and such, it has grown like that for decades.

But people started noticing good mental and health results, that are not just due to the losing weight part, and as studies started piling in, we see good results for such aspects (conditions such as ADD, Bipolar disorder, depression and so on, but also degenerative stuff like Alzheimers).
Any type of transaction that "traditional finance" or the governments behind them don't approve of. Controlled substances, firearms, sex work, gambling, funding politically unpopular movements, etc.

The mindset that can't understand the valid use cases of cryptocurrencies is approximately the same mindset that believes the status quo is acceptable, and that smashing the boot of the State into the necks of private citizens' ability to transact is a moral good.

If world governments and traditional finance were far less oppressive and moralistic about the freedom to transact, then you'd have a solid point. (Although depending on the jurisdiction in question, I'd say money laundering may be a valid use case, as well).
Assuming that you don't offer a remote option, could you please add "Onsite" to the first line of the post, as requested in the main post at the top? Thank you.
"I am the shadow of the waxwing slain

By the false azure in the windowpane

I am the smudge of ashen fluff

And I lived on, flew on, in the reflected sky"

I am ashamed that I will never command my native language as well as a man for whom it was a second. I don't even know if whom is right there.
A framework with composable building blocks, allowing devs to unblock themselves by adding the functionality they need is a good solution.
Automata | Principal Engineer | Hybrid (UK) | Full-time | £110k-£140k + bonus + equity

Born from a world-leading research lab, Automata is transforming the way labs work with open, integrated automation. We work with labs across the world to understand their specific workflows and needs and develop personalised solutions that range from diagnostic, and drug discovery to synthetic biology.

https://careers.automata.tech/jobs/3203114-principal-softwar...

My email is in my bio if you want to reach out and ask questions!
I think that a lot of the underlying UX and technology is mature enough that we could pretty easily regulate these platforms like utilities.

How much would it cost to fund an open source alternative ecosystem? Much less than it costs to run Instagram/tiktok/Facebook...
4.Depends, on many things. How big is the team, is this an engineer transitioning into EM role or are they TLM. Generally managers should be enablers and multipliers. If coding is becoming an obstacle and they are bottleneck for the team, the answer is No!
> Over 99% of all values represented in [0,1] are in [0,0.5].

Is that true if you exclude denormals?
GPU-Puzzles: Solve puzzles. Learn CUDA.
there have been a few attempts at adding TDE to postgresql. I think the cybertec patches are probably the most notable https://github.com/cybertec-postgresql/postgresql/tree/15tde...
> Lots of tools available, best index I've found of the ecosystem is this: https://wiki.archiveteam.org/index.php/The_WARC_Ecosystem

It looks like there's a lot of tools for creating them, but not a a lot for viewing.

What they really need is browser support, or at least an extension so a browser can open the files directly.
I've been following projects like Hotwire and HTMX for awhile now, and I haven't seen anyone argue that scraping is a major reason to adopt this approach. I also don't see a lot of opposition to the idea of incorporating something like alpine to add some UI niceness.

What you see as a "terrifying" disregard for "two decades of advancements", others see as a liberating departure from two decades of unnecessary bloat. It's healthy to have more than one strategy available for building web applications.
> In its call to action, the group proposed CO2 as one of three key metrics, suggesting ventilation rates that would keep CO2 levels at 800 parts per million or below.

Pre-industrial CO2 levels were at 280ppm, currently we have 420ppm, rising & accelerating. Give it three or four decades and ventilation won't help anymore.

Edit: 420, not 480ppm
This will be awesome until the venture capitalists get involved and then it will. become more like traditional homes: completely unaffordable.
I use it to inspect various attributes of various packages.

When a build fails, I use the option to keep the output directory and inspect things. That's another main useful method.
How to Succeed on Substack
I've heard of Proxmox before, will definitely check it out! What is PBS? I have RAIDZ but have not explored backup options just yet.
If we knew that the extended Riemann hypothesis was true, we could use the Miller test for deterministic primality testing in log(n)^4; the AKS test, which doesn't depend on RH, is lg(n)^6.

Do we care? Not for most applications -- doing a bunch of randomized Miller-Rabin tests is fine for most practical purposes. But it would be really nice to have a faster deterministic algorithm around. AKS isn't practical for anything; miller... Miiiiiggghtt be.
So If I make a request from the python code, is the request executed in the browser ? or on the server ? Is the UI layer executing in the browser and use proxy rpc from the server ?
Didn’t Gödel show that in most useful logical systems there are true statements that cannot be proved?
Why would it suck/what would it change?

There are so many (largely metaphysical) theories for things that our universe might actually be a subjective emergent phenomenon of (a simulation, somebody's dream, a timeless static meta-universe, just to name a few) – but given that there is subjective consciousness in this universe, does it matter what substrate it's actually embedded in for our (or somebody else's, for that matter) ability to ascribe meaning to the emergent phenomenon itself?

In other words, somehow I wouldn't feel much worse about "time not being real" than I'd feel about matter, gravity etc. "not being real", being caused by the vibration of cold, unfeeling superstrings etc.
I would imagine the expectation comes from them being very well compensated, and supposedly very well educated and trained experts that people entrust their current and future wellbeing to, and who try very hard (often successfully) to minimize their own accountability.

One would expect a nurse to know less about which medication is likely to produce the best outcome in a given patient than a doctor, but the opposite is often the case due to some mix of the average doctor’s ego, and their investment and presence around patients over prolonged periods.

Many doctors appear frustrated that patients exist, they’d rather just look at a list of symptoms and write a prescription without acknowledging the individual.
an interesting field no doubt but incredibly dystopian to boot
Admittedly The Brothers Karamazov has a lot of characters, but, it does run linearly! And it's not so hard to refer to the Wikipedia article for a character list as necessary.

I think the problem is some people expect to not have to do any work when reading literary novels.
I haven't gotten to performance testing just yet, that should happen pretty soon. Thanks for the local-path-provisioner recommendation, I'll definitely give it a go!
Title seems misleading. It seems that they have results that elevated levels of CO2 in the air increase survivability of viral aerosol particles and infectiousness. Since CO2 is so low (400-1000ppm) this is surprising. Haven't had time to look through the paper closely but seems to be pH related which makes sense.

https://www.nature.com/articles/s41467-024-47777-5
"Ada or Ardor" is my favorite book that I didn't understand.
Servers don't have heterogeneous cores.
Apple's Big Conference Will Spotlight AI Privacy Issues
Pretty great news. I have some doubts whether liberating Crimea is possible, but I'm sure liberating France didn't seem likely until it happened.
I think it's simpler: these web services have zero tangible value and end users know it and aren't going to pay for it.
Yeah, I have tried several diets, and keto does give a boost in brain, let's say clarity, even when not losing weight (because I often overeat meat and butter and cream and cheese and such allowed foods) than none of the others do.