teraflop

22 ms·

361.
by teraflop 3y ago
It's not strange at all to me. The job is "transactional" in the sense that it depends on the transaction, and should be triggered iff the transaction commits. That doesn't mean it should run inside the transaction (
362.
by teraflop 3y ago
D'oh -- I meant {0,1}^N → {0,1}, but it's too late to edit my previous comment.
363.
by teraflop 3y ago
The example is a "majority function" that ignores one of its operands. That is, f(A,B,C,D) is true if at least 2 out of the 3 values B,C,D are true.
364.
by teraflop 3y ago
This discussion is about monotone Boolean functions. That is, functions from {0,1}^N → N, such that "flipping" any input from 0 to 1 never causes the output to go from 1 to 0. I can't think of any way to to write a prime-co
365.
by teraflop 3y ago
Space isn't "cold", it's a thermal insulator. Objects in space are still illuminated by sunlight whenever they're not in shadow, which heats them up, and the vacuum makes it difficult for them to get rid of that hea
366.
by teraflop 3y ago
I don't think the inventors actually thought they had samples of a superconductor for 24 years. My understanding is that they thought they'd detected signs that LK-99 would be superconducting, if they were able to come up with a
367.
by teraflop 3y ago
Commercially available RISC-V hardware is not more "free" than other types of CPUs, in any meaningful way. The openness of the RISC-V specification is great for chip designers, manufacturers, and researchers. But it has basically
368.
by teraflop 3y ago
GitHub has done exactly that for several years: https://docs.github.com/en/code-security/dependabot/dependab... However, that approach will only find vulnerable dependencies in Git repositories, not ones that
369.
by teraflop 3y ago
Yes, but unfortunately it's been discontinued. There will eventually be a "new" Bolt to replace it, but it will be built on a completely different platform, and there's no word on whether it will hit the same price point
370.
by teraflop 3y ago
Yeah, I just skimmed through the reference docs for Hubris and was very impressed with what I saw. No "rocket science", just (apparently) solid technical decisions that are extremely well justified and documented. https:/&#x
371.
by teraflop 3y ago
Matt Levine had a pretty entertaining explanation of a different incident earlier this year, involving futures contracts: > JPMorgan, which does not make batteries or cars, bought bags of abstract nickel years ago. It took delivery of th
372.
by teraflop 3y ago
That depends very much on how K and L are defined. The code to calculate whether any possible cross-section of K is greater than the corresponding cross-section of L is trivial if they are both (hyper)spheres. If they are polyhedra (polyt
373.
by teraflop 3y ago
It used to be that people recognized that one of the unintended, unfortunate limitations of natural-language interfaces was that it was hard for users to discover their range of capabilities. Now we're designing that flaw into them o
374.
by teraflop 3y ago
> For modern apps not using Wayland…. full gesture support, fractional scaling, etc doesn’t work. After fixing firefox, I noticed Slack was incredibly fuzzy…. it doesn’t use Wayland. Every time I read stuff like this I feel like a bit of
375.
by teraflop 3y ago
"We're hiring" ads from YC companies get special placement on the front page, and (AFAIK) they always have comments turned off. Nothing nefarious about that.
376.
by teraflop 3y ago
If you click the "Why LSP?" link in the first sentence of the article, or type "lsp" into Google, you'll get your answer: > The Language Server Protocol (LSP) defines the protocol used between an editor or IDE an
377.
by teraflop 3y ago
The back taxes add up to about 1.2% of Microsoft's current market cap, and it looks like the stock is down roughly 0.6% in after-hours trading. So I guess the market collectively estimates MS will end up owing about half of that amount
378.
by teraflop 3y ago
Cool project. But because this is a derivative work of the original shine library, it almost certainly isn't legal for you to relicense it from LGPL to MIT.
379.
by teraflop 3y ago
Of course, the details of how to actually implement something like this are way more complex than "just throw everything into a big neural net with images as the inputs and actuators as the output". You need to provide the right
380.
by teraflop 3y ago
I'm curious, are you seeing that on cloud instances, or what? My experience with bare-metal Kubernetes hasn't been that bad. On my home cluster with very underpowered J4105 CPUs, I get about 5% CPU usage on the master node at idle
381.
by teraflop 3y ago
If you can point me to a law that says it's legal to hide a content creator's identity from customers when the content is ink and paper, but illegal when it's distributed over the internet, I'd love to see it. As others
382.
by teraflop 3y ago
Do you think it was equally illegal for publishers and bookstores to sell novels written by Richard Bachman, without revealing that that was actually a pseudonym for Stephen King?
383.
by teraflop 3y ago
When you tell your customers that a particular number corresponds to something real (e.g. the amount of money in the insurance fund that protects their assets) but you know the number was actually chosen randomly with no connection to that
384.
by teraflop 3y ago
> I'm having a production problem at work right now in which some tasks just get stuck. I wish I could do the equivalent of `gdb; thread apply all bt` For all the hate that Java gets, this is something that has Just Worked(tm) for l
385.
by teraflop 3y ago
The article on SN 1054 (the supernova that formed the Crab Nebula) goes into a lot more detail about how the historical accounts were correlated. https://en.wikipedia.org/wiki/SN_1054
386.
by teraflop 3y ago
Or just use "|& less" to do the same thing more succinctly.
387.
by teraflop 3y ago
> Downside is customers have to maintain their own offsets (in some storage) Minor correction: you can maintain the offsets yourself if you want, but usually it's not necessary because Kafka can do it for you. The abstraction Kafk
388.
by teraflop 3y ago
Companies aren't allowed to choose whatever serving size they want. Serving sizes are governed by federal regulations drawn up by the FDA, which means they have the force of law. 21 CFR § 101.9(b) defines general procedures for deter
389.
by teraflop 3y ago
"Our position is that the license chosen overrides the disclaimer. We have approval to license this software under the Apache License, version 2, which allows others to do what they wish (even build commercial software on it). That sho
390.
by teraflop 3y ago
"Elementary" is a somewhat subjective term that roughly means "from first principles", i.e. not relying on a bunch of advanced theorems and concepts. It doesn't necessarily mean the explanation is simple or concise.

More ›