Papers Using Agda
2023-09-01
Nissan is reusing batteries from old Leaf EVs to make portable power sources
2023-08-31
Ask HN: Is it be feasible to automate answers to RFP using GenAI?
2023-08-31
Tell HN: UC Berkeley's CS61A/B/C are the best courses to learn CS and coding
2023-08-31
Ask HN: Suggestion for “Portable” JavaScript Framework
2023-08-30
Porting Rust to GNU Hurd
2023-08-30
ObjFW 1.0 was just released, an portable Objective-C framework
2023-08-29
Btrfs for Linux 6.6: Fixes, Partially Recovers from Performance Scrub Regression
2023-08-29
somFree — A portable clean-room implementation of IBM's SOM/DSOM
2023-08-29
Sipeed unveils RISC-V tablet, portable Linux console, and cluster
2023-08-28