tromp

44 ms·

901.
by tromp 2y ago
Poor guy wasn't even mentioned on Wikipedia's sherpa's list [1]. As of today he is... [1] https://en.wikipedia.org/wiki/Sherpa_people
902.
New capacitor with 19-times energy density(livescience.com)
106 points by tromp 2y ago|58 comments
903.
by tromp 2y ago
Or "Fool's Self Driving" to preserve the pronunciation:-)
904.
by tromp 2y ago
For a radix sort on the 8 digit USD serial numbers, it takes 8x more time (the 2 letters can be ignored). That could be halved by radix sorting on pairs of digits, but then keeping track of 100 piles instead of 10 probably negates most of t
905.
by tromp 2y ago
It would be awesome if the the entire bridge could slowly move as one while traffic keeps flowing over it. That would require far more and far bulkier wheels than the current ones designed to carry only one support segment. That will have
906.
by tromp 2y ago
Or like the pledges that university students have to fill out before each exam, promising not to cheat in any way. As if "you broke the pledge you signed" carries any more weight than "you cheated".
907.
by tromp 2y ago
> the system extracts heat from the air and stores it above ground for reuse. As the air goes underground, it displaces water from the cavern up a shaft into a reservoir. > When it’s time to discharge energy, the system releases water
908.
by tromp 2y ago
Some videos: https://www.youtube.com/watch?v=uqzQJNoNGmo https://www.youtube.com/watch?v=0t4EWBaR3EY&t=86s
909.
by tromp 2y ago
> As Allen approached the dark spot, he saw a makeshift door, painted to blend in with the wall. Inside, he discovered the lair. This story reminds me of the movie "Inside Man" [1], where a bank robber hides with the loot behin
910.
by tromp 2y ago
> we thought nobody had created such a general programming language before How is this more general than a language like Binary Lambda Calculus, which can bootstrap into any other language, like Brainfuck in 112 bytes of bootstrap, or ev
911.
by tromp 3y ago
Bitcoin was designed as an investment vehicle by its choice of capped supply. Use as a currency would have vastly benefitted from a fixed block subsidy, which also would have avoided much of its current wealth concentration [1]. [1] https:
912.
by tromp 3y ago
As a Dutch citizen, I can leave the Netherlands to live elsewhere and no longer have to file Dutch taxes. US citizens have an IRS filing requirement even when living abroad. What other countries behave like the US in this regard?
913.
by tromp 3y ago
The name is an acronym for "A Rust Tor Implementation" [1]. [1] https://gitlab.torproject.org/tpo/core/arti/-/blob/850a3c3b6...
914.
by tromp 3y ago
My 25 line obfuscated BLC interpreter [1] uses a bytecode VM, with the 9th and 10th lines containing a little bytecode Basic I/O System (each byte xor-ed with 46 to make it printable). [1] https://www.ioccc.org/2012&#x2
915.
by tromp 3y ago
It looks like only riscv64 support is discontinued. So riscv32 support should remain. This makes sense in that phones have less need for 64 bit address spaces [1]. [1] https://stackoverflow.com/questions/62807066/r
916.
by tromp 3y ago
One subtlety this video skips over, is that P and NP are defined as classes of decision problems, rather than arbitrary computational problems. So when they talk about the problem of finding the number of moves it takes to unscramble a Rubi
917.
by tromp 3y ago
Yes, in order to be decodable it must be an injective mapping.
918.
by tromp 3y ago
A Gödel numbering is simply a mapping to integers (that is easily decoded). If your programs are arbitrary binary strings, then you're basically already done, since bitstrings are in 1-1 correspondence with integers: empty 0 1
919.
by tromp 3y ago
You're right. I should have qualified it as "some concatenative languages".
920.
by tromp 3y ago
Concatenative languages [1] have the property that every token sequence is a valid program. For languages using single bits as tokens, every bit sequence is a valid program. One such language is Chris Barker's zot [2]. Inspired by zot,
921.
by tromp 3y ago
I find it satisfying to see a researcher called THORsten SchUMm devoting his research to THORiUM.
922.
by tromp 3y ago
Apple announced the M3 on October 30 last year, roughly 6 months ago. Have they ever announced successive chip designs in such a short time frame? Unless Mark Gurman has a record of making reliable predictions about Apple, I wouldn't g
923.
by tromp 3y ago
The milestones specify number of physical qubits, and error rate of logical qubits. Shouldn't they also specify how many physical qubits are needed to build one logical qubit with the given error rate? Milestone 6 reduces the error rat
924.
by tromp 3y ago
Train their successor. Once they absorb theorem provers, they will be able to do lots of math provably correctly. That does mean they should be unable to state "I have proved theorem A in Theory T with proof merkle root R" unless
925.
by tromp 3y ago
I fear the cost of telling the difference is going to increase substantially.
926.
by tromp 3y ago
It's still not clear if they will finish the Jeddah Tower [1], construction of which has been halted since 2018. Now consider that The Line has over 4000x as much floorspace (assuming 100 floors with 2x30m width) . I would be surprised
927.
by tromp 3y ago
https://archive.is/ftGO2
928.
by tromp 3y ago
The problem is not in having a new boss. He just inherits this problem from the previous boss. > “They’re very much afraid that in the end, when China won’t have access to ASML machines, they will be even more motivated to build their ow
929.
by tromp 3y ago
Part A: > provides check cashing, currency exchange, or money transmitting or remittance services says that Samourai is a money transmitting business iff they provide a money transmitting service. Part B: > accepting currency, funds,
930.
by tromp 3y ago
Simple counterexample: I've use crypto to pay out bounties to anonymous coders for doubling the performance of my open source software.

More ›