miniblog.

← Back to all posts
Nov 4, 2013 at 19:52
Really impressive 'literate programming for calculators' http://t.co/hBoSXGoz7Q

Related Posts

Jul 8, 2023 at 04:58
Today I learnt about Solargraph, an LSP for Ruby which includes an impressive amount of type inference and type checking! https://solargraph.org/guides/type-checking Type signatures are parsed from doc comments, similar to JSDoc with TypeScript.
Type Checking Ruby with Solargraph
Jul 5, 2023 at 18:37
Sweep is a really impressive demo of LLMs with coding: given your source code and an issue, it will generate a PR! Example: https://github.com/edreisMD/plugnplai/issues/65 I'd want to have a really thorough test suite if I was accepting LLM PRs though.
Only allow activating a maximum of 3 plugins · Issue #65 · edreisMD/plugnplai
Only allow activating a maximum of 3 plugins · Issue #65 · edreisMD/plugnplai
The description prompt becames too big as you add too many plugins. A max of 3 seems to be a good limit, and its the same number as OpenAI allows on ChatGPT.
May 9, 2023 at 01:33
It's really impressive to see hibernation support on RISC-V land in Linux, when you can't even buy RISC-V laptops yet!
RISC-V With Linux 6.4 Adds Hibernation / Suspend-To-Disk Support - Phoronix
One of the missing RISC-V features now in place for the in-development Linux 6.4 kernel is system hibernation / suspend-to-disk support.