Skip to content

Ivan Enderlin's thoughts

Swapped memory of a hacker

Twitter
Github

Home
Computer Science
Life
Trips
My Résumé

Tag: proof

RustProof

https://www.youtube.com/watch?v=-8uVD24xU5s PDXRust: PSU Capstone team shares progress on static analysis using MIR.

Ivan Enderlin Computer Science, Talks Leave a comment October 7, 2016June 16, 2017 1 Minute

Search for:

Archives

Subjects

Computer Science (59)
Life (6)
Projects (19)
- atoum (3)
- Hoa (3)
- Tagua VM (2)
- wasmer (5)
Talks (36)
Trips (5)
Uncategorized (1)
Work (16)

Tags

asmjs automattic bindings browser c++ caldav carddav cbindgen challenge-one-conference-per-day compiler console coroutine cpp css data dav documentation elm emacs event evil-mode extension ffi finite-state machine from-rust-to-beyond functional-reactive-programming generation graphic gutenberg haskell Hoa intermediate-representation iterator java javascript jetbrains just-in-time-compilation linux llvm nom operating-system parallelism parser peg performance php pijul proof quickcheck regular-expression rfc rust servo shell signal ssl string swift Tagua VM teamcity terminal test text-editor tls type variance version-control vim virtual-machine vulkan wasm wasmer webassembly webdav whatsapp

(no title)
Apple has released a new linker, and it's pretty fast, https://twitter.com/davidecci/status/1665835119331135488 and https://twitter.com/rui314/status/1665929739155177472.They claim it's 5x faster than ld64.Image showing a benchmark from Rui (mold's author).It's a good time to continue my work on `weld`, https://fosstodon.org/@hywan/109783158363196851 and https://github.com/Hywan/weld.#apple #linker #performance
(no title)
Photographies of the day.Since a week, the same common buzzard (Buteo buteo) relaxes in our garden, beside the pond. I tried to take a photography. Which one do you prefer?The first one could be titled: The Art of Timing. I reckon it’s my best wildlife photography.#photography #wildlife #bird #timing
(no title)
My 5yo daughter: “Daddy, I’m soooooo lucky!”Me: “Haha, and why?”She: “Because I was born exactly the day of my birthday!!”She is super happy.
(no title)
Rio, https://raphamorim.io/rio/.A hardware-accelerated GPU terminal emulator powered by WebGPU, focusing to run in desktops and browsers.Written in Rust, it’s still under heavy development, but it looks neat.#terminal #RustLang #gpu #WebGPU
(no title)
RTIC, https://github.com/rtic-rs/rtic.Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers:> A common question is whether RTIC is an RTOS or not, and depending on your background the answer may vary. From RTIC's developers point of view; RTIC is a hardware accelerated RTOS that utilizes the hardware such as the NVIC on Cortex-M MCUs, CLIC on […]
(no title)
The RustConf Keynote Fiasco, explained, https://fasterthanli.me/articles/the-rustconf-keynote-fiasco-explained.#RustLang
(no title)
iamb, https://github.com/ulyssa/iamb.A Matrix client, in the terminal, for Vim addicts.It's even written in Rust. And it's even using the Matrix Rust SDK (https://github.com/matrix-org/matrix-rust-sdk).#matrix #client #tui #RustLang
(no title)
Codeberg, https://codeberg.org/.Codeberg is a collaboration platform and Git hosting for free and open source software, content and projects.#git #scm #free #OpenSource
(no title)
`async-hal`, https://github.com/matthunz/async-hal.Async hardware abstraction layer for embedded devices, in Rust.#RustLang #embedded #hal #async
(no title)
The RFC _Return position `impl Trait` in traits_ is now entering its final comment period, https://github.com/rust-lang/rfcs/pull/3425.Great!#RustLang
(no title)
On the RustConf keynote, https://blog.rust-lang.org/2023/05/29/RustConf.html.> We wish to […] reiterat[e] our apology to JeanHeyd, but also the wider Rust community. You deserved better than you got from us.#RustLang
(no title)
Crab, https://crablang.org/.> A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!> The Crab community fork was created as a lighthearted yet measured response to the growing concerns within the community about the influence of corporations and the restrictive trademark policy proposed […]
(no title)
12 millions users on Mastodon, https://mastodon.social/@mastodonusercount/110450443726915005.#mastodon
(no title)
Yummy.
(no title)
yank, https://github.com/mptre/yank.Yank terminal output to clipboard:> The yank(1) utility reads input from stdin and display a selection interface that allows a field to be selected and copied to the clipboard. Fields are either recognized by a regular expression using the -g option or by splitting the input on a delimiter sequence using the -d option.Looks […]

Website Powered by WordPress.com.

Follow Following
- Ivan Enderlin's thoughts
- Already have a WordPress.com account? Log in now.