remexre

11 ms·

121.
A Minimal TTL Processor for Architecture Exploration (1994)(bradrodriguez.com)
2 points by remexre 2y ago|0 comments
122.
by remexre 2y ago
Isn't this just taking advantage of "log(x) + log(y) = log(xy)"? The IEEE754 floating-point representation stores floats as sign, mantissa, and exponent -- ignore the first two (you quantitized anyway, right?), and the expone
123.
by remexre 2y ago
As it turns out, the eggs covered in chicken excrement are those that haven't been power washed, so the actual edible part of the egg is safer...
124.
by remexre 2y ago
That could be because there's not another reliable way to do async reads and writes to disk files?
125.
by remexre 2y ago
What makes it ill-defined is that it computes infinitely -- that's why you need a totality checker (or a total language).
126.
by remexre 2y ago
The infinite loop case is: loopType : Int -> Type loopType x = loopType x foo : List (loopType 3) -> Int foo _ = 42 bar : List (loopType 4) bar = [] baz : Int baz = foo bar Determining if baz ty
127.
by remexre 2y ago
How is this DRM-like? It seems to me that this is putting control in the hands of the application developer instead of the library developer, not moving it to Oracle or anyone else...
128.
by remexre 2y ago
Possibly of note, pkgs.nix on nixpkgs (stable and unstable) is from the 2.18 series, and so not vulnerable to this.
129.
by remexre 2y ago
For a comparison on the scale of harm from the monoculture, recall that SourceForge was bundling malware with downloads, and still has a full page of ads when you download from it. If I recall correctly, SVN was also more popular than Git a
130.
by remexre 2y ago
$ ./result/bin/llama-cli -m models/Meta-Llama-3-8B-Instruct/ggml-model-q8_0.gguf -f <(printf 'User: Summarize the following:\n\n'; w3m -dump https://www.jeremykun.com/2024/09&
131.
by remexre 2y ago
Maybe more importantly for performance, are those helpers inlinable into wasm?
132.
by remexre 2y ago
> it has got the right top eight instructions that you actually need to optimize for I wonder which ones he considers those to be -- the interview doesn't say, sadly...
133.
by remexre 2y ago
Automattic, the developers of Wordpress, currently own Tumblr.
134.
by remexre 2y ago
Send and Sync are the keywords to search for.
135.
by remexre 2y ago
CHERI is insufficient for unsafe Rust to be fully safe, and I suspect Fil-C plus C's restrict is insufficient as well (if restrict isn't treated as a no-op, of course). For unsafe Rust code to be sound, it has to uphold the invari
136.
by remexre 2y ago
Which one(s) are you thinking of? The JVM's appear to be in C++, GHC's and SBCL's are in C, Go's is in Go, and I'm not familiar with other high-performance garbage-collected platforms.
137.
by remexre 2y ago
Use-cases like "implementing a garbage-collected language."
138.
by remexre 2y ago
For example, not telling people to eat glue just because Reddit suggests eating glue could be considered a safety measure...
139.
by remexre 2y ago
https://research.microsoft.com/en-us/um/people/simonpj/paper...
140.
by remexre 2y ago
ZFS is the mechanism by which I implement local (via snapshots) and remote (via zfs send) backups on my user-facing machines. - It can do 4x 15-minute snapshots, 24x hourly snapshots, 7x daily snapshots, 4x weekly snapshots, and 12x monthly
141.
by remexre 2y ago
snapshots every 15 minutes are a big selling point of ZFS for me; losing a file to a tired $ grep bar foo.txt | tr A-Z a-z > foo.txt is much more common than losing a disk
142.
by remexre 2y ago
Templates already provide that useful polymorphism; template<typename T> T callWithState(auto f) { auto old = globalState; globalState = whatever(); T out = f(); globalState = old; ret
143.
by remexre 2y ago
Kinda funny, given that the Haskell iterator solution is "convert your data to be a list, and the optimizer and RTS will do the right thing as if it were an iterator."
144.
by remexre 2y ago
At 1:27, "So then, you can ask, why didn't [Apple and AWS] choose Coq, Lean or Agda [instead of Isabelle/HOL]?" My understanding (having only used dependent-types -family interactive theorem provers) is that if your prop
145.
by remexre 2y ago
Yeah, I won't argue that there aren't some domains where you have soft real-time requirements, and need the language to allow you to do things like that. Reddit's app server isn't that, though. Separately, my gut feeling
146.
by remexre 2y ago
Common Lisp's string support certainly feels like it comes from a world where allocating memory is expensive, and something the programmer should be aware of, and have the option to reuse buffers instead of allocating additional memory
147.
by remexre 2y ago
It has 201 direct dependencies, making it the 9th most directly-depended-on system in Quicklisp, one spot ahead of UIOP. Methodology (yes, I could've stayed in Lisp, but I started by awking systems.txt...): (with-open-file (*stan
148.
by remexre 2y ago
In what sense is iterate a fad that was gone? I see 1161 systems in Quicklisp (out of 5499 total) that transitively depend on iterate; so about a fifth of the open-source ecosystem.
149.
by remexre 3y ago
Most flakes make it a pain to cross-compile, too, especially to platforms other than the "big four" ({aarch64,x86_64}-{linux,macos}), as compared to overlays. (That said, the tooling around flakes is so much nicer that I still use
150.
by remexre 3y ago
Are you sure they're not talking about code size? Not sure what limiting instantiations would have to do with heap size... (I also find it surprising that avoiding floats helps anything; maybe just in avoiding more instantiations? Beca

More ›