Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
Will superintelligent AGI even care about OCaml?
Every now and then I think of this guy that used to post solutions to the weekly Project Euler problems first.
-
Why is std::function slower than a function pointer?
Introduction The other day I came across some code that passes a function to std::sort.
-
Static analysis of the DeepSeek Android App
Introduction I conducted a static analysis of DeepSeek, a Chinese LLM chatbot, using version 1.8.0 from the Google Play Store.
-
DeepSeek and the AI arms race
The release of the DeepSeek-r1 model by the Chinese AI lab DeepSeek, along with its availability on the App Store, marks a pivotal moment in the AI arms race between the US and China.
-
The New York Times Test
One code of conduct professionals follow is “The New York Times Test”: you must never put anything in writing that you could be embarrassed to see printed on the front page of the New York Times.
-
Binding C libraries in OCaml with the dune ctypes stanza
The OCaml ctypes library along with new support for ctypes stanzas in the dune build system make it a snap to bind C libraries.
-
Linux on the laptop, forever 10 years behind
It was the year 2003.
-
Mirage Minimum Viable GCE with valid TLS certificate!
In a previous installment we went over deploying a static TLS web-site to Google Compute Engine.
-
Tutorial: minimum viable Mirage unikernel web server on GCE
If tens of millions of lines of C code in your application stack keeps you from sleeping easily at night, as it does me, you may be interested in changing your web services to all-OCaml based Mirage unikernels.
-
Parler may still be hosted in the US
Parler was recently kicked off of Amazon AWS for TOS violations.