Viewing profile — let_rec

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…

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. Pas…

> 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 an…

Why do people assume that MeeGo would have been a big success?

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 B…

Let's not forget the cryptocurrency play (Libra)

> 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? Valv…

Probably? Other clouds implement the S3 API

Does Homebrew have good support for exact (and older) versions of packages now?

This seems like a great idea. What reassurance can you offer devs that are hesitant to try a new data-store?

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 m…

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.

On the other hand, the JVM spec may prohibit some optimizations you are after. It's very dynamic after all!

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 mara…

> 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-suggestion…

Is there Gemini support?