GitHub - creusot-rs/creusot: Creusot helps you prove your Rust code is correct.
Creusot helps you prove your Rust code is correct. - creusot-rs/creusot
Source feed
1959 items
A computing-focused community centered around link aggregation and discussion.
Creusot helps you prove your Rust code is correct. - creusot-rs/creusot
I started using Vim in 2011. Not because I was trying to make a point, and definitely not because I knew what I was doing. I was probably following some blog post, copying a .vimrc, and wondering why pressing j moved the cursor instead of typing a letter.
Entities: Cursor
I recently jailbroke my 7th generation Kindle Paperwhite. While my motivation probably should have been "breaking free from Amazon's clammy and tightening grip", the truth is I wanted a way to use it as a clock on my nightstand. I found this project and...
A course on the past, present, and future of software for augmenting intelligence at Brown University.
While most new applications use the GPU for rendering to achieve better performance and battery life, there are some new applications and a lot of older applications that still use CPU rendering. More specifically relevant for KDE, while QtQuick is GPU...
There are a bunch of JavaScript animation libraries out there, and you might have wondered whether there’s a performance cost compared to traditional CSS transitions and keyframe animations. In this blog post, we’ll compare the same animation across several...
Comments
I found GitHub repositories that were spreading malware. I asked AI what to do about it, but it gave me nothing useful. So I opened a discussion on GitHub. Someone replied. It was the exact same text the AI had given me. I called it out and the comment was
We recently landed a new register allocator in ZJIT. Learn about lifetimes, interference graphs, and linear scan — and why a global allocator unlocks features like method inlining.
35.8% of CVEs published by the Erlang Ecosystem Foundation CNA fall into the category of uncontrolled resource consumption. In the BEAM ecosystem, a large share of those are caused by one recurring issue: atom exhaustion. You can find the current...
A modern web browser for Classic Mac OS 9 PowerPC. Real CSS3, ES5 JavaScript, native HTTPS — built with CodeWarrior on the Carbon API. - mplsllc/macsurf
Common Lisp is renowned for its excellent object system CLOS. Its implementation is often accompanied by the Metaobject Protocol that, while it is not part of the standard, allows programmers to customize the system underpinnings in numerous interesting...
Topics: Programming
Entities: Programming