burakemir

6 ms·

1.
by burakemir 6d ago
It would be possible for me to give a more nuanced take, but the upshot is: none of that shit is going to work 100%. One may get local maxima like an unsafe bonanza, or something that introduces a custom runtime memory management discipline
2.
by burakemir 6d ago
Congrats to the folks involved! Having previously led Rust at Google, I remember several great cross-company discussions with Microsoft engineers on interop. Companies with massive C++ codebases use Rust as a pragmatic hedge. C++ as we know
3.
by burakemir 24d ago
I would be genuinely curious what the OP other and folks here think of Mangle Datalog in this context. The go implementation is here: https://codeberg.org/TauCeti/mangle-go and the Rust implementation is here: https:&
4.
Programming Language Semantics and Memory Safety(burakemir.ch)
3 points by burakemir 26d ago|0 comments
5.
by burakemir 2mo ago
Maybe this here helps (I have not tried yet): https://github.com/virtkit-dev/virtkit
6.
by burakemir 3mo ago
Looks like Addy Osmani is leaving, too.
7.
by burakemir 4mo ago
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 story was one of diversity and inclusion, making space
8.
by burakemir 4mo ago
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 * Explains prefill (time to first token TTFT) vs decode (time betw
9.
by burakemir 5mo ago
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 memory layout and calling convention map to target har
10.
by burakemir 5mo ago
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 temperature from a sensor in the engine, it should be
11.
by burakemir 5mo ago
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?
12.
by burakemir 5mo ago
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.
13.
by burakemir 6mo ago
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 you could model your dependency graph and then query
14.
by burakemir 6mo ago
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 machines" (2005) ACM Symposium of Applied Computing
15.
by burakemir 7mo ago
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?
16.
by burakemir 7mo ago
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 program that helps achieve some well-defined task. Even i
17.
by burakemir 7mo ago
Thanks for sharing.
18.
by burakemir 7mo ago
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-based logic programming language and deductive database libra
19.
by burakemir 8mo ago
You're absolutely right.
20.
by burakemir 9mo ago
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 safety guarantees. For example, memory i
21.
by burakemir 10mo ago
"A Polymorphic λ-calculus with Type:Type"
22.
by burakemir 10mo ago
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 offers interesting possibilities for program
23.
by burakemir 10mo ago
Learn Datalog Now!
24.
by burakemir 10mo ago
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 GC'd languages have been around for a very long t
25.
by burakemir 10mo ago
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 technical terminology at the same time. We can invent new word
26.
by burakemir 10mo ago
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, and argues that such a definition is lacking rigor and
27.
by burakemir 1y ago
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 full control over their identity
28.
by burakemir 1y ago
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 - adequately and precisely capturing the intended meaning (semant
29.
by burakemir 1y ago
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 of specifications as the aliens-demand-gcc-correctn
30.
by burakemir 1y ago
There is an old definition of language safety which means "no untrapped execution errors". It is not the only way to define safety, but it is a good way that you can adapt to various kinds of x-safety, such as memory safety. I hav

More ›