taktoa

7 ms·

1.
by taktoa 6mo ago
In section 4.4 it discusses the effect of the technique on Cadence Genus, which is a PD/synthesis tool. My point is that you have to flatten the graph at some point, and most of the benefit of flattening it later (keeping/making t
2.
by taktoa 6mo ago
Regarding synthesis, I think approaches like this often seem promising to software engineers but ignore the realities of physical design. Hierarchical physical design tends to be worse than flat PD because there are many variables to optimi
3.
by taktoa 11mo ago
I think what you're describing is SPMD, which is a compilation strategy, not a hardware architecture. I am not sure but I think SIMT is SIMD but with multiple program counters (1 per N lanes) to enable some limited control flow diverge
4.
by taktoa 1y ago
Rust and C++ implement generics with monomorphization rather than boxing, so there is a potential performance hit associated with a type like this in Java that is guaranteed not to exist in Rust. In practice, the JVM may still monomorphize
5.
by taktoa 1y ago
Not just when the codomain is a field, but more generally when the codomain is itself a vector space. The former is a special case of the latter where you construct a 1D vector space from a field.
6.
by taktoa 2y ago
Definitely not an ARM situation.
7.
by taktoa 2y ago
> In a clocked design the clock signal needs to be routed to every element on the chip which requires a lot of power, the more so the higher the frequency is. Clock only needs to be distributed to sequential components like flip flops or
8.
by taktoa 3y ago
I git cloned the repo and then ran sloccount after checking out various commits (just did `git log | grep -C3 'Jan 1 [0-9:]* 2017'` or similar to find the relevant commits)
9.
by taktoa 3y ago
The open source release of XLA predates Lattner's tenure at Google by 7 months, and it definitely existed before that -- the codebase was already 66k SLOC at that point. During his tenure it went from 100k SLOC to 250k SLOC. It's
10.
by taktoa 4y ago
I'm pretty sure those numbers are for training, not inference. I've run it on _CPU_ and gotten ~1 token per second.
11.
by taktoa 4y ago
Spanish flu is an orthomyxovirus, not a coronavirus. There are some cold-causing coronaviruses though.
12.
by taktoa 4y ago
The heat emitted by burning fossil fuels is completely irrelevant compared to the greenhouse impact. We burn about 11.7 gigatons of oil equivalent a year, which over 200 years would be 2.7 * 10^16 kWh. The greenhouse effect increase over th
13.
by taktoa 4y ago
I feel like something important here that's been overlooked is how easy it is to get the driver into the socket. This places a very real limit on how fast a large number of screws can be driven. Torx has fairly small tolerances and can
14.
by taktoa 4y ago
Torx wood screws are common (albeit less common than Phillips, and more expensive) in US hardware stores
15.
by taktoa 4y ago
Monorepos are not mutually exclusive with binary dependencies.
16.
by taktoa 4y ago
Agda
17.
by taktoa 4y ago
Nix syntax has braces and semicolons... the only similarity to haskell is in using juxtaposition for function application (though this is technically optional; nothing is stopping you from typing f(x))
18.
by taktoa 4y ago
I always learned/used the CLRS definition, despite having never read that book.
19.
by taktoa 4y ago
This seems pretty innumerate to me. Just off the top of my head: ordinary people use over an order of magnitude more water in showers and toilets and lawn sprinklers than they drink (let alone the amount of _bottled_ water they drink), and
20.
by taktoa 5y ago
different guy
21.
by taktoa 5y ago
Stratospheric sulfur dioxide injection is one option
22.
by taktoa 5y ago
The reason that there's no race condition is that you're not "repointing ~/.nix-profile/bin/npm", instead, .nix-profile itself is a symlink, so the entire PATH is changed atomically.
23.
by taktoa 5y ago
you're probably mistakenly using nix-env -i, rather than nix-env -iA
24.
by taktoa 6y ago
It's not "linear" as in linear algebra (well, it is technically, but only in the abstruse sense that the category of the vector spaces and linear maps is a model of linear logic).
25.
by taktoa 6y ago
The lazyio package is not what people are talking about when they say "lazy IO".
26.
by taktoa 6y ago
They use log-uniform and log-normal distributions, see page 10.
27.
by taktoa 6y ago
That is uniquely not the case for LVT, because the supply of land is fixed, whereas the demand for housing is variable. EDIT: to be clear, I meant the "passing on to renters" part, not the "property may become more expensive&
28.
Show HN: A screencast about my BDD-based Datalog compiler in Haskell(youtu.be)
3 points by taktoa 6y ago|0 comments
29.
by taktoa 7y ago
You shouldn't be writing literal HashMaps in your code very often anyway; you should use a function that pattern matches on a string for the day-of-week-to-number example (returning Option of course). Most other cases where you might w
30.
by taktoa 7y ago
That's actually just a command line infelicity; the advice to use `nix-env -i foobar` is really misguided, and you can avoid excessive memory usage by doing `nix-env -iA nixos.foobar` (or `nixpkgs.foobar` if you are using it on a non-N

More ›