glittershark

7 ms·

1.
A new C++ back end for ocamlc(github.com)
237 points by glittershark 6mo ago|20 comments
2.
Hyperoperations in C++(khz.ac)
3 points by glittershark 9mo ago|0 comments
3.
by glittershark 2y ago
it looks like there's a recording linked at the end of the post
4.
The Ribbon Microphone(khz.ac)
207 points by glittershark 2y ago|65 comments
5.
by glittershark 2y ago
there are plenty of people with commit bits (me included) who don't reside in Russia, and would (I hope) be pretty alert to the Russian state coercing tazjin (the only committer currently residing in Russia) into introducing some form
6.
by glittershark 4y ago
The benchmarking harness that the post uses is based on criterion
7.
by glittershark 4y ago
a 10% drop in performance with bounds checks removed , mind you - so if anything the bounds checks are improving performance.
8.
by glittershark 4y ago
there's a cheeky link to idris's vector type in the second paragraph: https://www.idris-lang.org/docs/idris2/current/base_docs/doc... which accomplishes just that
9.
How much does Rust's bounds checking cost?(blog.readyset.io)
204 points by glittershark 4y ago|186 comments
10.
by glittershark 4y ago
We've thought about that, actually! We have an experimental mode where multiple copies of the same query can be created (actually just multiple copies of the leaf node in the dataflow graph, so intermediate state is reused) with differ
11.
by glittershark 4y ago
the remaining 10% of the 90%-off free lunch is pretty much just eventual consistency - it can occasionally be the case that you write something to the DB, and an immediate subsequent write doesn't see it. That said, there are escape-ha
12.
by glittershark 6y ago
yeah, I picked Box mostly as a pedagogical instance of the identity functor that already exists in the stdlib - in the real world you'd definitely want `struct Identity<F>(F)` instead.
13.
by glittershark 6y ago
that seems like something that would only really work with a type system that's as structural as TS (vs rust, which is very nominal)
14.
by glittershark 6y ago
yes! once you use it you start wanting it everywhere, which is a big part of why I wish I could do it in Rust
15.
by glittershark 6y ago
I think it probably falls more into the category of removing a restriction rather than a new feature, but I'm still waiting on HKTs - not for traits (as a former die-hard haskeller, I have been gradually converted to the side of "
16.
by glittershark 6y ago
Pretty sure this paper describes what they're doing now: https://research.fb.com/publications/flighttracker-consisten...
17.
Deciphering Lens error messages, part 1(medium.com)
1 points by glittershark 8y ago|0 comments
18.
by glittershark 9y ago
Not a lawyer (ironically) but afaik there are all sorts of laws governing an attorney-client relationship, and it's possible to implicitly enter into such a relationship by giving something resembling legal advice.
19.
by glittershark 9y ago
Or you could just call it what it is: a monad
20.
by glittershark 10y ago
Having a custom plugin architecture for this is a total dealbreaker. We already have statsd, why not just use that?
21.
by glittershark 10y ago
They really have been on a roll with the new features since the Dear Github letter happened
22.
by glittershark 11y ago
That's exactly how Haskell's IO monad works (albeit a little simplified)
23.
by glittershark 11y ago
Haskell does this.
24.
by glittershark 11y ago
Even beyond that is: var foo *bar foo.Baz() Accidentally dereferencing a null pointer in Go is dangerously easy
25.
by glittershark 11y ago
Maybe I'm mistaken about this, but from the screencast it looks like this gives you a single text prompt for editing commit messages, rather than a proper text editor. Not only is that a deal breaker for me, it really concerns me that
26.
by glittershark 11y ago
The refrain that music in its entirety has done the same cut and paste thing as pop music in the last 25 years is really frustrating to me. There's tons of absolutely brilliant, innovative musicians out there. Sure it's not on t
27.
by glittershark 11y ago
For those of us outside the Bay and not looking to relocate, the ability to explicitly filter by location would be nice.
28.
Manipulate Clojure source code like the DOM(github.com)
61 points by glittershark 11y ago|6 comments
29.
by glittershark 11y ago
I bet this is an absolute nightmare to step through with gdb
30.
by glittershark 11y ago
I've got - ridiculous.website - ideafora.website

More ›