MichaelBurge

13 ms·

91.
by MichaelBurge 4y ago
In 2018, the entirety of all corporate income taxes collected was $200b, and the entire Medicaid program was $389b[1]. " In 2021, the solar industry generated more than $33 billion of private investment in the American economy": S
92.
by MichaelBurge 4y ago
I usually think of logics as search algorithms, since that's how the semantics for the meta-language describing them are defined. I guess you could call a Turing Machine implementing the search algorithm for proofs implied by a logic a
93.
by MichaelBurge 4y ago
Rice's Theorem makes the Ken Thompson hack impossible in general. He only executed his hack in a single short-term demonstration against a specific target, but it's not possible to make a "long-con" against an open-sourc
94.
by MichaelBurge 4y ago
I'm looking for one alternate implementation of a subset of Racket so that I can justify using the language for things. All of your links are someone implementing Scheme in Racket, not Racket in Scheme. So that would make Scheme "
95.
by MichaelBurge 4y ago
Are there any actual separate implementations of it? Could r7rs Scheme be used to write a library that allows running any racket/base program, for example?
96.
by MichaelBurge 4y ago
The penalty for sin is death.
97.
by MichaelBurge 4y ago
There's a paperclip next to the date and if you hover over it, a tooltip gives the name of the attached file. I don't think I've ever confused an attachment with an image anyways, but there at least seems to be a standardized
98.
by MichaelBurge 4y ago
Racket has a lot of fancy features that might have runtime support. Glancing through the reference: Contracts, threads, futures, custodians, impersonators, wills & executors, ephemerons, etc. How feasible is it to run an arbitrary Racke
99.
by MichaelBurge 4y ago
Harmful propaganda is good and informative if even it confirms the ship sunk. If Ukraine or some US news agency announced it, I wouldn't believe it. But now even Russia is admitting it - so it's as good as confirmed to me that Ukr
100.
by MichaelBurge 5y ago
That's the same possibility: "Employees are ineffective, because the product has no need for them".
101.
by MichaelBurge 5y ago
If everyone did this, recruiters would get no advantage over sending an email with the same information, since they wouldn't be able to "persuade" an assistant of anything. So using assistants would be one way to make using a
102.
by MichaelBurge 5y ago
The original paper in Section 6 looks at the case of a magnetic field: https://lamport.azurewebsites.net/pubs/buridan.pdf It's a practical issue that affects CPU design, which is also mentioned in the paper under
103.
by MichaelBurge 5y ago
A definition doesn't change: The prime numbers or Turing Machines are the same set regardless of who Putin invades next or what law Biden decides to veto. But the set of inputs that an oracle implicitly defines, could change if the ora
104.
by MichaelBurge 5y ago
That makes you a bread-oracle O, but doesn't define bread. Since there are some inputs x where O(x0) = False, some where O(x1) = True, and the laws of physics are continuous(yes, even in quantum mechanics), Buridan's Principle imp
105.
by MichaelBurge 5y ago
The hardware seems separate from the software interface. Projects like WINE can convert DirectX calls to OpenGL or Vulkan calls, so it seems like a driver update could support a newer interface if needed. For something that isn't suppo
106.
by MichaelBurge 5y ago
Not sure about him, but I notice 2 issues with external monitors: * Only 2 hardware-rendered displays maximum. I use 3, so the 3rd one has to be software-rendered. * There's a delay when switching my KVM to the Mac and it emitting a vi
107.
by MichaelBurge 5y ago
Peer review is just a heuristic people use to spend time more efficiently: You know that if a paper is peer reviewed, it's more likely to be worthwhile spending time actively engaging with it than if it weren't. But that's on
108.
by MichaelBurge 5y ago
Why don't they rezone everyone's land as commercial then? Not sure about California, but in most places that would double or triple the value of the land. If you did everyone all at once, it probably wouldn't be so extreme bu
109.
by MichaelBurge 5y ago
If some parent get hired for a really good job and has to leave for 2 years, you'd require that family to sell their house?
110.
by MichaelBurge 5y ago
I used to have a friend who worked at AMD, and he said they simulated one of their in-progress CPUs on five Virtex-5 FPGAs. Looking here: https://docs.xilinx.com/v/u/en-US/ds100 * I see a lot of LUTs, adders,
111.
by MichaelBurge 5y ago
> Imaginary co-ordinate results in quantum mechanics correspond to non-physical observations - they "exist" but are unobserved until something squares them into reality. This sounds wrong for three reasons: 1. You can multiply
112.
by MichaelBurge 5y ago
There's often a signing bonus. If there's a 10% chance of getting the job and a $50k signing bonus is common, then your EV is $5000 per interview. Even if there weren't, then 10% of the extra compensation vs. an easier-to-hir
113.
by MichaelBurge 5y ago
> you can’t enumerate all possible execute paths as they are infinite. How do you design a CPU that isn't a finite state machine?
114.
by MichaelBurge 5y ago
Have one person do nothing but estimate the difficulty of a case(and be tracked and judged for the quality of their estimates), and the surgeon be tracked and judged on the relative performance given the difficulty. Then you could make a ca
115.
by MichaelBurge 5y ago
They're only "obvious" frauds if I'm sitting here writing a paragraph describing it like one. There is a global feed of press releases that companies release into, and the average HN commenter is incapable of distinguish
116.
by MichaelBurge 5y ago
There are so many ways they could implement the same thing. K-mart could stop marking everything "on sale" 100% of the time and make the regular price the discounted price, so people don't feel like they're getting a goo
117.
by MichaelBurge 5y ago
If insider trading is legal, you could actively destroy a company from the inside and profit from its downfall. Like you could buy put options to set up a leveraged short position, take all the company's money, set it on fire in public
118.
by MichaelBurge 5y ago
The last time the federal government had a surplus was 2001. So it is historically not the plan to pay off debt with taxes: The debt is increasing, not decreasing. And if I Google "united states per capita debt", I see a box:
119.
by MichaelBurge 5y ago
I'll sometimes glance at the annual Steam awards lists for video games I didn't notice. Maybe someone would do the same for movies.
120.
by MichaelBurge 5y ago
Isn't the insurance payout the proceeds of crime? Since shooting at the FBI(a crime) is in the causal chain of events leading to his estate receiving a payout of money, the estate should forfeit that payout.

More ›