dhash

10 ms·

31.
by dhash 4y ago
For the silicon chip industry, the Linley Group’s Microprocessor Report [1] is amazing. I know of no better resource for high-end chip news. Here’s a bunch of cut down sample articles [2] and one actual one [3] [1] https://www.li
32.
by dhash 5y ago
There’s also my not alma mater (I didn’t graduate) the Olin college of Engineering
33.
by dhash 5y ago
This art style screams Paper by FiftyThree
34.
by dhash 5y ago
Academia, just like venture capital is made up of people I used to think that academia was up to merit, during my teaching days The only and I mean only reason I ever got a grant is because I called the asshole and asked him to craft it fo
35.
Opentrons Announces $200M Series C Round Led by SoftBank Vision Fund 2(businesswire.com)
1 points by dhash 5y ago|0 comments
36.
by dhash 6y ago
Kind of embarrassing, but I never actually learned bash well enough to use it even after a decade of programming. When there was only one pair of feet in the sand, that’s where xargs carried me. Everything from web scrapers, to kubernetes a
37.
Enzyme: Cross-language Automatic differentiation for LLVM IR(csail.mit.edu)
30 points by dhash 6y ago|3 comments
38.
by dhash 6y ago
Stainless [0] does this well for Scala. You augment function definitions and return statements with `require()` and `assert()` respectivley. [0] https://stainless.epfl.ch/
39.
Black-Box Isolation Checking with Elle (Kyle Kingsbury, Jepsen.io)(youtu.be)
1 points by dhash 6y ago|0 comments
40.
by dhash 6y ago
Iverson notation originated from APL, which was itself born out of the horror that Iverson saw when presented with "standard mathematical notation". Its use of strange, otherwise cryptic notation was influenced by two main themes:
41.
by dhash 6y ago
Switching off SBT to Bazel made writing scala so much more pleasant for this exact reason. Builds are 10x quicker, and the caching makes the initial build take 10 minutes, limited only by the speed of your internet connection!
42.
by dhash 6y ago
- Yes (Traefik, Fabio, consul connect/envoy) - Yes, just added CSI plugin support. Previously had ephemeral_disk and host_volume configuration options, as well as the ability to use docker storage plugins (portworx) - I haven’t persona
43.
by dhash 6y ago
Best part is the Oxford devices are _actually affordable_. Illumina has had such a stranglehold on the market - devices start at around 35k and go up into “this is a house now” territory. Meanwhile the Flongle [0] is $99 and the main Oxford
44.
by dhash 6y ago
Lihaoyi mostly authors scala libraries. I switched from python to scala and found many of the things that I love about scala ported to python with this library. Case classes (pretty .toString, structural equality, .copy, and destructuring),
45.
by dhash 6y ago
BioBot Analytics (listed authors of the paper) is a YC company
46.
by dhash 6y ago
This looks like what CVC4's SyGuS component is useful for, especially since their optimization criteria is "smallest program"
47.
by dhash 7y ago
There’s a YC company [0] already doing this. [0] https://www.biobot.io/covid19
48.
by dhash 7y ago
Oh man if I could efficiently enumerate algorithms across the Pareto front of anything I’d be a happy camper. Procedures that enumerate Turing machines are generally very easy, or nigh impossible
49.
by dhash 7y ago
Iron [1] definitely has the right idea. Code review comments really should live next to the code, and proper editor integration goes a really long way. Traditional review processes make “just fixing the code” have a very high inertia. [1]
50.
by dhash 7y ago
These are native instruction sets, not a VM. The parent seems to also mean runtimes, which LLVM does not provide
51.
by dhash 7y ago
Or Chisel (Scala), which has real, industrial users and a thriving commmunity. RISC-V is in Chisel. If you want to go really bonkers, there’s spatial-lang which allows easy interop with the Java memory model and heap
52.
by dhash 7y ago
Currently doing this for metabolite analysis. Takt time is at 6 hours, not a long way to go :)
53.
by dhash 7y ago
others say typestates, but Scala and Haskell have had IndexedStateT for the purpose of typelevel-state-machinery and it works really well with (somewhat lesser) boilerplate and semantics + FP. To me, it's particularly useful for anythi
54.
by dhash 7y ago
Scala/Haskell has the same thing, and it's an amazing feature. The proper type is that of trait IndexedStateT[A, B, C] Which signifies a typelevel state machine moving from state A to state B emitting a value of type C. I
55.
by dhash 7y ago
I have a Linux config I wrote for my desktop manager 8? Years ago. It took me about a week to write, and is themed to my hearts consent. I’ve barely touched it since then, once a couple years ago to add more workspaces, and another a couple
56.
by dhash 7y ago
I’m a full time scala developer and have had basically no problems taking longer than a day to in moving to the LTS releases of 9+. It’s probably pretty helpful that the scala ecosystem doesn’t depend much on non-well trodden parts of the J
57.
by dhash 7y ago
(Full disclosure, i run a YC startup selling to synbio + think that it's undervalued) The field really doesn't do blog posts, it's a shame. For some interesting stuff in synbio that's approachable to your prototypical HN
58.
by dhash 7y ago
The first gen ones are able to speak MQTT as well as integrate with AWS IoT core, so they could also fire off lambdas, hit SQS, etc. The new ones are strictly worse, only able to be bound to a Lambda
59.
by dhash 7y ago
Recursion schemes are the FP way of doing the Visitor Pattern. You can get annotations with (coelgot, zygo) which are super useful for tupecheckers, allow the fold to accumulate effects (gana, gcata), or even look into the future of the re
60.
by dhash 7y ago
https://www.ridecabin.com/# !

More ›