dandotway

7 ms·

1.
by dandotway 5y ago
> The most philosophically and mathematically consistent interpretation of Quantum Mechanics is that there are "many worlds". Why is "many worlds" the most mathematically consistent? (I won't bother asking for th
2.
by dandotway 5y ago
Atheists: "We have faith natural selection at a cosmic level makes life way more likely." Christians: "We have faith supernatural selection at a cosmic level makes afterlife way more likely."
3.
by dandotway 5y ago
Question for JIT experts: JS and Python are extremely hard to optimize because they both allow redefining anything at any time, yet V8 crushes Python by an order of magnitude in many benchmarks[1]: All times in seconds (lower is
4.
by dandotway 5y ago
Big Endian POWER isn't bug-for-bug compatible with buggy Javascript usage of typed arrays that assumes little endianness, and thus browsers/nodejs/deno on POWER will be exposed to bugs that don't affect little endian x86
5.
by dandotway 5y ago
> [15] Richard Waters (1979) developed a program that automatically analyzes traditional Fortran programs Anyone have a PDF link to a paper about this Fortran analyzer?
6.
by dandotway 5y ago
While faster-than-light (FTL) travel is impossible through spacetime as PhD physicists know it (i.e. as "Relativity-confirming experiments reveal it"), there are forms of apparent FTL that have mainstream PhD acceptance, because t
7.
by dandotway 5y ago
Individuals and small business owners don't have time to learn patent law, nor do they have money to have dedicated legal departments like rich corporations. If I was sued I would not listen to some anonymous stranger on HN. I would ge
8.
by dandotway 5y ago
- never talk to cops - never read a patent - never read proprietary source code I need a nice printable version of this to post on my wall.
9.
by dandotway 5y ago
Clearly you've never been sued by a patent troll. The patent system only benefits (1.) rich corporations that can afford the millions of dollars in lawyer fees to litigate patent claims, (2.) the lawyers that receive said fees.
10.
by dandotway 5y ago
+NaN For comments that make me laugh out loud for duration T>2.0 seconds, I wish HN provided a way to transmute/sacrifice one's past karma points into additional +1 mod points.
11.
by dandotway 5y ago
So whenever I have to study someone else's 'dynamic' python I encounter this sort of thing: def foo(bar, baz): bar(baz) ... What the heck is 'bar' and 'baz'? I deduce no more than '
12.
by dandotway 5y ago
https://archive.ph/uEt1V
13.
How do you handle a plutonium-powered pacemaker?(wsj.com)
4 points by dandotway 5y ago|1 comments
14.
by dandotway 5y ago
> I like the idea of a small, performant language So the earliest C compilers were under 5000 lines of C+asm: https://github.com/mortdeus/legacy-cc If you want a minimal "standard committee approved"
15.
by dandotway 5y ago
"Another programming language" cannot even meaningfully exist if all programming languages are forced to have the same feature set. Should Python get C-like low-level pointer manipulation so that Python users don't need to &q
16.
by dandotway 5y ago
Features that seem like a good idea at the time often don't stand the test of time 20-30 years in the future. In the mid-90s Object-Oriented Programming was super-hyped so a bunch of other languages bolted on OO, such as Fortran and Ad
17.
by dandotway 5y ago
> The two reactors at Torness have a combined electricity output of 1200 MW If they bumped 1200 MW to 1210 MW they'd have the 1.21 GW they need to operate a Flux Capacitor. https://www.youtube.com/watch?v=f-77xulkB_U
18.
by dandotway 5y ago
As long as Apple gets its 30% cut, why is Apple incentivized to hire a bunch more staff with healthcare, vacation, and pension benefits who are paid to crack down on this? "Dear AAPL Shareholders, rejoice! We reduced our 30% cut of $10
19.
by dandotway 5y ago
If you have a second, I'm curious to learn more about your head scratching experiences with JVM. I want to make a program that I can trust will still run the exact same (bug-for-bug compatible) many years in the future without maintena
20.
by dandotway 5y ago
Having learned a number of Lisp systems in the past, I wouldn't necessarily recommend ANSI Common Lisp as a first choice for a Lisp unless your needs are very particular, because it is an enormous design-by-committee language having a
21.
by dandotway 5y ago
> I said that multiple cursors are a gimmick which is less efficient My Dear Dude, you are surely aware that computer editors are Religion among programmers, that vi vs. emacs, tabs vs. spaces, etc., have been fiercely debated for decade
22.
by dandotway 5y ago
In my undergrad computer science program, I implemented the rudiments of a very simple CPU using AND, OR, and NOT logic gates. I learned how to program microprocessors in assembly language. I learned how to implement a programming language
23.
by dandotway 5y ago
> In reality, you would think about and act upon each in turn Here's a real example from real coding I was doing, then: color.r = 42; color.g = 42; color.b = 42; I want to bump the 'r' and 'b' from 42
24.
by dandotway 5y ago
Ancient FORTRAN, as opposed to complicated modern Fortran/C++/Rust, has a huge advantage if you ever crash your spaceship on a resource rich alien world and have to build a programmable computer from scratch from first principles
25.
by dandotway 5y ago
> Please do look into vim's regular expressions So here's an editing task. Given the following in your editing buffer, signed char foo; /* ... 10 more lines ... */ unsigned short bar; /* ... 10 more lin
26.
by dandotway 5y ago
The Acme editor, used by C creator Dennis Ritchie, converted me to the Rodent Religion. The mouse is the fastest way to point to something on your computer screen, especially a quality gaming mouse with mouse acceleration disabled. Pointing
27.
by dandotway 5y ago
I tried to make vim work like VSCodium (VSCode on telemetry diet), but found it too hard and gave up. 1. How well do you handle the mouse in xterm? Vim actually has fantastic mouse support in xterm (:set mouse=a), e.g. you can use focus-fol
28.
by dandotway 5y ago
For my use cases thus far, the usual C portability pitfalls haven't applied: whether char is signed or unsigned, the range of 'int', little vs. big endian, etc.
29.
by dandotway 5y ago
I've used SPARK with GNAT Studio, I've used Frama-C, and I'm also experimenting with CBMC. Frama-C is way more powerful than SPARK, but also consequently has a much deeper learning curve. SPARK does not allow doubly linked li
30.
by dandotway 5y ago
Yes, a compiler written in C could be verified with Frama-C, but "verifying in Frama-C" for something that hard (i.e. has many proof steps that cannot be automated) really means verifying in a proof assistant that can interact wit

More ›