Viewing profile — burakemir

Maybe this here helps (I have not tried yet): https://github.com/virtkit-dev/virtkit

Looks like Addy Osmani is leaving, too.

Since nobody mentioned it, there was a lovely children's book called the clanker. It was about some creature that made metallic noises unlike the other creatures. The moral of the …

Take this with a grain of salt as I am new to this but IMHO for establishing memory hierarchy once and for all, it would be more helpful to present some abstract theory that * Expl…

Yeah, passing by value or "Value semantics" can prevent many programming errors. Passing references to immutable data can serve a similar purpose. In low-level languages where memo…

Say you have a Car, Engine and Dashboard object. Let's not have dashboard access the temperature by doing `GetSurroundingCar().engine.temperature` If the dashboard needs to get the…

A proof object in dependent type theory is just the term that inhabits a type. So are you saying the Lean implementation can construct proofs without constructing such a term?

This article is full of gross mistakes. For example it claims that Caml is "Cambridge ML" which is ridiculously false. Fact check every sentence. Really sad.

You could build something like this using Mangle datalog. The go implementation supports extension predicates that you can use for "federated querying", with filter pushdown. Or yo…

I believe the technique described is similar to what I published here (this is not about all matches, but left-longest/shortest) "Compiling regular expressions to sequential machin…

Looks mildly interesting, but what's up with the license? MIT plus a condition that designates OpenAI and Anthropic as restricted parties that are not permitted to use or else?

A programming language is a medium to communicate programs to something that can execute them. That isn't exactly the same thing as a tool. A tool in my book is a metaphor for a pr…

Thanks for sharing.

The approach described here - model things as graph - can really be applied to model any domains. If you are into this type of modelling, you may find value in Mangle, a datalog-ba…

You're absolutely right.

My trouble with separate categories "memory safety technology" and "sandboxing technology" is that something like WASM execution is both: * Depending on how WASM is used, one gets …

"A Polymorphic λ-calculus with Type:Type"

I remember a Luca Cardelli paper that explores a language with "type:type" and it contains a sentence roughly expressing: "even if the type system is not satisfying as a logic, it …

Learn Datalog Now!

Did you read what I wrote up there? There is art and there is science. What both have in common is that their protagonists do not intend to become obstacles of progress. I'm afraid…

This is a false dichotomy. Language design choices are the causes of security and software vulnerabilites. It is possible to recognize the value of GC languages and have precise te…

This is a good article. Small nit: As someone curious about a definition of memory safety, I had come across Michael Hicks' post. He does not use the list of errors as definition, …

Finally a good use case for decentralized technology? From https://www.eid.admin.ch/en/technology "The e-ID architecture is based on a decentralised identity model that gives users…

There is a place for informal, prose specs, and I can easily agree that more people are nowadays describing their programs in English. The context here is formal specs though - ade…

I will quote (approximately) Simon Peyton Jones: "writing programs is not hard. Specifying what a program should do is hard." Prove what? The author is well versed in the problem o…