let_rec

7 ms·

1.
by let_rec 5d ago
No, VC investment is rarely a loan. It's typically a purchase of stock.
2.
by let_rec 29d ago
It seems like this is a few things: 1. An Elm-like programming language that lives in .db files 2. A compiler from this language to strongly-typed database procedures in a target backend language This has more in common with a semantic laye
3.
by let_rec 1mo ago
HN is likely a better source than GH status...
4.
The Vietnam of Computer Science (2006)(web.archive.org)
3 points by let_rec 1mo ago|0 comments
5.
by let_rec 2mo ago
Agree about global warming. However, Fontainebleau forest has many pine trees. In fact there is an invasive caterpillar there that lives in pine trees https://en.wikipedia.org/wiki/Pine_processionary The caterpillars a
6.
by let_rec 2mo ago
To someone completely outside the field: why is creating a formal verification of an existing proof so hard? 1. Convert the natural language proof steps into formal language 2. Pass it to the solver to verify the steps Genuinely curious!
7.
by let_rec 2mo ago
> Nokia had active developer relations; at WhatsApp we were planning to build for the N9, but ended up not doing it, because the platform was cancelled before the retail release and the retail release was limited. WhatsApp was on Windows
8.
Logic 2010(logiclx.humnet.ucla.edu)
2 points by let_rec 2mo ago|0 comments
9.
by let_rec 2mo ago
Why do people assume that MeeGo would have been a big success?
10.
by let_rec 2mo ago
The post reads like someone who is quite upset but trying to maintain professionalism. The mask slips throughout. The points seem valid, however, and I will likely steer clear of Bun.
11.
by let_rec 3mo ago
Let's not forget the cryptocurrency play (Libra)
12.
by let_rec 3mo ago
> Yes, Steam Machine is optimized for gaming, but it's still your PC. Install your own apps, or even another operating system. Who are we to tell you how to use your computer? Valve gets it
13.
by let_rec 3mo ago
Probably? Other clouds implement the S3 API
14.
Immutability Changes Everything (2016) [pdf](cidrdb.org)
4 points by let_rec 3mo ago|0 comments
15.
by let_rec 3mo ago
Does Homebrew have good support for exact (and older) versions of packages now?
16.
by let_rec 3mo ago
This seems like a great idea. What reassurance can you offer devs that are hesitant to try a new data-store?
17.
by let_rec 3mo ago
Hang on... What if this happens? 1. User makes a mutation 2. UI updates instantly 3. User closes the app before sync happens 4. User comes back and is surprised to see that their mutation did not actually happen The loading / error &#x
18.
by let_rec 4mo ago
If I use Google Search to do a search and I get an AI answer that I scroll past, do I count an AI user? The numbers are not reliable.
19.
by let_rec 4mo ago
On the other hand, the JVM spec may prohibit some optimizations you are after. It's very dynamic after all!
20.
by let_rec 5mo ago
But if you could only achieve it by adding the shoe isn't that a bit hollow? If you are a 3:02 marathoner in normal shoes then run a 3:00 in a super shoe, you are still a 3:02 marathoner in normal shoes.
21.
by let_rec 5mo ago
> ad-hoc unions (on the fly from existing types) that are possible in F# Are you sure? This is a feature of OCaml but not F# IIUIR Edit: https://github.com/fsharp/fslang-suggestions/issues/538
22.
by let_rec 6mo ago
Is there Gemini support?