https://fxtwitter.com/iavins/status/1865746403072389612 好抽象

🧵 Thread • FxTwitter / FixupX

v (@iavins)

insane lore inside SQLite's source code

llama.cpp guide - Running LLMs locally, on any hardware, from scratch

Comments

via steelph0enix.github.io via hauleth

blog.steelph0enix.dev

llama.cpp guide - Running LLMs locally, on any hardware, from scratch

Psst, kid, want some cheap and small LLMs?

Compilation on the GPU? A feasibility study

Comments

via dl.acm.org via fanf

lobste.rs

Compilation on the GPU? A feasibility study

0 comments

DELETEs are difficult

Comments

via notso.boringsql.com via fanf

Boringsql

DELETEs are difficult | boringSQL

Deep dive into SQL & PostgreSQL to build reliable, rock-solid solutions with tips and tricks that keep business online. Data is everything. Explore, learn and innnovate to get them where you need faster and more efficiently.

Category Theory in Programming

Comments

via docs.racket-lang.org via veqq

lobste.rs

Category Theory in Programming

16 comments

RAII and the Rust/Linux Drama

Comments

via kristoff.it via ucirello

kristoff.it

RAII and the Rust/Linux Drama

Loris Cro's Blog

"There is one who could unite them, one who could reclaim the throne of Gondor." (Gandalf)

This is a joint work with @lancern to provide:

1. A MLIR-based GCCJIT frontend, such that user can use stable IR representation to manipulate GCCJIT
2. A GCCJIT-based MLIR backend, such that MLIR dialects can be compiled with GCC optimization and special targets
3. A new approach to do line-by-line debug of MLIR (WIP)

We made our first release today, covering almost all the features of GCCJIT as in GCC14. It is in an experimental stage without solid type checking and verification, but we will continue working on it!

Take a look and have fun!

https://github.com/Lancern/mlir-gccjit

GitHub

GitHub - Lancern/mlir-gccjit: MLIR dialect for libgccjit

MLIR dialect for libgccjit. Contribute to Lancern/mlir-gccjit development by creating an account on GitHub.

Cursed linear types in Rust

Comments

via geo-ant.github.io via jmillikin

geo-ant.github.io

Cursed Linear Types In Rust

Inspired by Jack Wrenn’s post on Undroppable Types
in Rust, I set out to see if it’s possible to create types that must be used exactly
once. From my understanding, those things are called linear types, but
don’t quote me on that1.




Unless…

Float Self-Tagging

Comments

via arxiv.org via laurenth

arXiv.org

Float Self-Tagging

Dynamic and polymorphic languages must attach information, such as types, to run time objects, and therefore adapt the memory layout of values to include space for this information. This is...

#今天又看了啥 #GitHub #tools #frontend #design
AppIcon Forge

An intuitive app icon generator that lets you customize colors, borders, gradient, shadows, text, local images and more to create unique app icons effortlessly.
一个直观的应用程序图标生成器，可自定义颜色、边框、阴影等，轻松创建独特的应用程序图标

GitHub Repo: https://github.com/zhangyu1818/appicon-forge
Online Demo: https://zhangyu1818.github.io/appicon-forge/

GitHub

GitHub - zhangyu1818/appicon-forge: An intuitive app icon generator that lets you customize colors, borders, shadows, and more…

An intuitive app icon generator that lets you customize colors, borders, shadows, and more to create unique app icons effortlessly. - zhangyu1818/appicon-forge

LLVM-powered devirtualization

Comments

via blog.thalium.re via jmillikin

THALIUM

LLVM-powered deobfuscation of virtualized binaries

Virtualization is a powerful technique for code obfuscation, and reversing it can be challenging. In this post, we cover the work done during an internship on developing an automated devirtualization tool. We explore a simplified taint-based approach and…

How I configure my Git identities https://www.benji.dog/articles/git-config/

benji

How I configure my Git identities

This may be overkill, but it works on my machine

今日被 C++20 创死

u8"hello" 在 C++17 中的类型是 const char[N]，在 C++20 中的类型是 const char8_t[N]

The Two Factions of C++ https://herecomesthemoon.net/2024/11/two-factions-of-cpp/

MOND←TECH MAGAZINE

The two factions of C++

The dream of a single dialect-free C++ has probably been dead for many years, anyway.