doing something
@doing_something
713 subscribers
912 photos
36 videos
36 files
1.94K links
@smlkw doing something, just my notes to keep updates
Download Telegram
About
Blog
Apps
Platform
Join
doing something
713 subscribers
doing something
Forwarded from Feed-Master
Should I choose Ada, SPARK, or Rust over C/C++?
AdaCore
Should I choose Ada, SPARK, or Rust over C/C++? | AdaCore
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming…
54 views
doing something
Forwarded from Feed-Master
Coral: a Rust-like Borrow Checker for C [pdf]
376 views
doing something
https://keras.io/api/optimizers/lion/

Keras 3 has LION already in the framework

#ai
keras.io
Keras documentation: Lion
53 views
doing something
doing something
https://github.com/iree-org/iree #ai #optimization
they have a yt channel where some videos present more info about the project

https://www.youtube.com/@iree4356
YouTube
IREE
IREE is an MLIR-based Machine Learning deployment framework from embedded to distributed model execution.
52 views
doing something
https://drew.silcock.dev/blog/everything-you-need-to-know-about-python-3-13/

#python
Drew's Dev Blog
Everything you need to know about Python 3.13 – JIT and GIL went up the hill | Drew's Dev Blog
All you need to know about the latest Python release including Global Interpreter Lock and Just-in-Time compilation.
57 views
doing something
https://discord.com/blog/how-discord-stores-trillions-of-messages
Discord
How Discord Stores Trillions of Messages
Engineer Bo Ingram shares insight into how Discord shoulders its traffic and provides a platform for our users to communicate.
59 viewsedited  
doing something
https://github.com/discord/lilliput

Discord org has many interesting projects
GitHub
GitHub - discord/lilliput: Resize images and animated GIFs in Go
Resize images and animated GIFs in Go. Contribute to discord/lilliput development by creating an account on GitHub.
53 views
doing something
https://discord.com/blog/meet-dave-e2ee-for-audio-video
Discord
Meet DAVE: Discord’s New End-to-End Encryption for Audio & Video
We’re rolling out end-to-end encryption for voice and video calls! We’d like to share why we’re bringing E2EE A/V to Discord, share our design and implementation goals, and provide a high-level technical overview of how it works.
55 views
doing something
Fish shell is written in Rust now

https://github.com/fish-shell/fish-shell
GitHub
GitHub - fish-shell/fish-shell: The user-friendly command line shell.
The user-friendly command line shell. Contribute to fish-shell/fish-shell development by creating an account on GitHub.
154 views
doing something
https://github.com/dtolnay/cxx

#rust
GitHub
GitHub - dtolnay/cxx: Safe interop between Rust and C++
Safe interop between Rust and C++. Contribute to dtolnay/cxx development by creating an account on GitHub.
58 views
doing something
Parallel unzipper from Google

https://github.com/google/ripunzip

Interesting to see a bench with ouch
GitHub
GitHub - google/ripunzip
Contribute to google/ripunzip development by creating an account on GitHub.
146 views
doing something
https://github.com/ml-explore/mlx/releases/tag/v0.18.0

#ai
GitHub
Release v0.18.0 · ml-explore/mlx
Highlights

Speed improvements:

Up to 2x faster I/O: benchmarks.
Faster transposed copies, unary, and binary ops

CPU benchmarks here.
GPU benchmarks here and here.




Transposed convolutions
Imp...
52 views
doing something
doing something
Parallel unzipper from Google https://github.com/google/ripunzip Interesting to see a bench with ouch
# test file: batch_1.zip - 715M

RAYON_NUM_THREADS=25 ./hyperfine --runs 10 './ripunzip unzip-file --output-directory ripunzip-files batch_1.zip'

Benchmark 1: ./ripunzip unzip-file --output-directory ripunzip-files batch_1.zip
Time (mean ± σ): 745.1 ms ± 40.3 ms [User: 5772.3 ms, System: 3017.6 ms]
Range (min … max): 688.1 ms … 809.7 ms 10 runs

ouch does not parallel unzipping, unfortunately
53 views
doing something
https://github.com/google/comprehensive-rust

#rust
GitHub
GitHub - google/comprehensive-rust: This is the Rust course used by the Android team at Google. It provides you the material to…
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust. - google/comprehensive-rust
53 views
doing something
https://github.com/google/magika

#ai
GitHub
GitHub - google/magika: Fast and accurate AI powered file content types detection
Fast and accurate AI powered file content types detection - google/magika
56 views
doing something
https://lib.rs

#rust
61 views
doing something
doing something
StreamReader in torchaudio using ffmpeg #ai #cv
you need this to convert to rgb if you use CUDA decoding
51 viewsedited  
doing something
Forwarded from Feed-Master
Nomicon: Mastering the Dark Arts of Advanced and Unsafe Rust Programming
GitHub
GitHub - rust-lang/nomicon: The Dark Arts of Advanced and Unsafe Rust Programming
The Dark Arts of Advanced and Unsafe Rust Programming - rust-lang/nomicon
54 views
doing something
https://huggingface.co/spaces/yonigozlan/omdet-turbo-open-vocabulary-live

#cv
52 views
doing something
New ffmpeg:

https://github.com/FFmpeg/FFmpeg/blob/master/Changelog
GitHub
FFmpeg/Changelog at master · FFmpeg/FFmpeg
Mirror of https://git.ffmpeg.org/ffmpeg.git. Contribute to FFmpeg/FFmpeg development by creating an account on GitHub.
51 views
doing something
https://www.youtube.com/shorts/U0eQg8jfAL8

#linguistics #ukr
YouTube
Військові прізвища - Вояк, Пушкар, Сагайдак, Куля, Довбиш, Джура, Сурмач, Рейтар, Жовнір...
Чимало українців носять прізвища, повязані з військовою службою: Вояк, Козак, Гетьман, Пушкар, Гармаш, Пластун, Сагайдак, Куля, Довбиш, Кошовий, Атаман, Джур...
59 views