Berichten uit RSS-feeds van het Parool. Onofficieel, niet geautoriseerd. Blijft hier tot de krant zelf gaat posten.
Het botje rust van middernacht tot 's ochtends 6 uur.
Broertje van @at5RSSbot.
[+]: Plus-artikel, abonnement vaak vereist.

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht/~carnotweat/morning-rust

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

Articles, projects and tutorials about #RustLang.

Weekly newsletter: https://discu.eu/weekly/rust

Automated bot posting trending Rust repositories on GitHub.

Made by @pbzweihander, but not curated by.

Source code: https://github.com/pbzweihander/rust-trending

Software developer currently building things with Ruby, Rails, Rust and Redis

Hamburg, Beach

API, Web & Cloud Experts. API Platform creators. Symfony core contributors and maintainers.

Devs PHP/JS/Python/Go/Rust.

Self-managed and egalitarian company (Scop/co-op).

Something kernel, something rust, sometimes embedded.

I really like xkcd, so I post them here as soon as they are released. Feel free to boost or favorite my toots if you enjoy them. – Made by @lx in #Rust

Official account for Bevy Engine: a refreshingly simple data-driven game engine built in Rust. Follow for Bevy news and curated #bevyengine content.

Dutch #NonProfit foundation proudly serving the Internet community since 1999 with #OpenSource software for #DNS and #BGP. Applied research, open standards advocates, bridging technology and policy.

#Clang origins, now #rustlang aficionados. The people behind Unbound, NSD, Routinator, domain and much more...

Account maintained by @alexband, @benno, @maarten, @jasper, @partim and @terts.

Militant à Generation.s et Solidaires Informatique
Dev Python (un jour Go/Rust) et Data Scientist

Curated #RustGameDev feed - everything about #gameDev'elopment using the #RustLang programming language. Used to be run mostly by @ozkriff.

Believer in the power of open-source & community-driven innovation.

Former AS20621 NetOp that loves FreeBSD & illumos. Currently mostly in DevOps & developing (Python, Rust). Contributes to #Ansible & #GradenLinux. Evaluating and production usage of #RISCV hardware/software.

Projects:
* BoxyBSD.com - A free VM hosting service to provide some value back to the community.
* manpageblog.org - A static blog generator in manpage design.
* QualvoSec - A security patch management tool.

L'entraide un facteur de l'évolution 😉

Nerd sniping target. Maintainer of https://kube.rs
Slowly Rewriting #Kubernetes in #Rust.
Timeline is mostly #pixelart, puns, and procrastination.

Python, Rust, Golang and more.
With same username on matrix (matrix.org), lemmy (lemm.ee) and telegram

Posting random programming BLOBs and hashes

root@rttf:~


#programming #opensource #cpp #rustlang #java #scala #linux #embedded #webdev

🇵🇱

🦀 The international conference about #RustLang in Italy.