frectonz @frectonz.et · 31/08/2026Computing is crazy because we can interview the guy who created the hammer at the same time the industry is trying to build self replicating robots. 100
frectonz @frectonz.et · 30/08/2026pub type BoxStr = Box<str>; pub type BoxList<T> = Box<[T]>; Should be your defaults until you need to modify the data. 010
frectonz @frectonz.et · 29/08/2026Spending my Saturday playing around with Acadia. Feels like i'm doing a detox, no syntax highlighting, no LSPs, no LLMs. @acadia.engineering and @terezasokol.bsky.social cooked with this 👏 0134
frectonz @frectonz.et · 20/05/2025crazy that nix has built in support for building idris projects 050
frectonz @frectonz.et · 15/11/2024This is an example of envy usage taken from their readm, you can see that it doesn't handle error reporting for you 100
![From the quoted Cloudflare Blog
---
Using Box<[T]> solves both problems. It can’t grow after creation, so it doesn’t need a capacity field or reserve space for future elements. The same applies to String, which also carries a capacity field. Box<str> drops it.
Each cache entry stores 8 Vec and String fields. Replacing them with Box<[T]> and Box<str> saves 8 bytes per field, 64 bytes per entry. It also eliminates the excess heap memory that Vec reserves for future growth. The combined savings add up to over 15 terabytes with over 250 billion cache entries.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ithkhkqhgrpew6b4obhfdw4p/bafkreige7rohbqzvro6tkmvtkhbs7jdm7b4pxsmsq5n2uicnmpgnsy2yma)
![screenshot of helix edit with the ayu dark theme showing the text
parseNumberLine :: [Int] -> String -> [[Maybe Int]]
parseNumberLine indexes s = go [] s
where
isGroup :: String -> Bool
isGroup [] = True
isGroup [' '] = True
isGroup (' ' : tl) = (length s - length tl) `elem` indexes
isGroup _ = False
go :: [[Maybe Int]] -> String -> [[Maybe Int]]
go acc (' ' : ' ' : ' ' : d : tl) | isGroup tl && isAllDigits [d] = go' ([n , n , n , y d] : acc) tl
go acc (' ' : ' ' : c : d : tl) | isGroup tl && isAllDigits [c, d] = go' ([n , n , y c, y d] : acc) tl
go acc (' ' : b : c : d : tl) | isGroup tl && isAllDigits [b, c, d] = go' ([n , y b, y c, y d] : acc) tl
go acc (a : ' ' : ' ' : ' ' : tl) | isGroup tl && isAllDigits [a] = go' ([y a, n , n , n ] : acc) tl
go acc (a : b : ' ' : ' ' : tl) | isGroup tl && isAllDigits [a, b] = go' ([y a, y b, n , n ] : acc) tl
go acc (a : b : c : ' ' : tl) | isGroup tl && isAllDigits [a, b, c] = go' ([y a, y b, y c, n ] : acc) tl
go acc (a : b : c : d : tl) | isGroup tl && isAllDigits [a, b, c, d] = go' ([y a, y b, y c, y d] : acc) tl
go acc (' ' : ' ' : c : tl) | isGroup tl && isAllDigits [c] = go' ([n , n , y c] : acc) tl
go acc (a : ' ' : ' ' : tl) | isGroup tl && isAllDigits [a] = go' ([y a, n , n ] : acc) tl
go acc (' ' : b : c : tl) | isGroup tl && isAllDigits [b, c] = go' ([n , y b, y c] : acc) tl
go acc (a : b : ' ' : tl) | isGroup tl && isAllDigits [a, b] = go' ([y a, y b, n ] : acc) tl
go acc (a : b : c : tl) | isGroup tl && isAllDigits [a, b, c] = go' ([y a, y b, y c] : acc) tl
go acc (' ' : b : tl) | isGroup tl && isAllDigits [b] = go' ([n , y b] : acc) tl
go acc (a : ' ' : tl) | isGroup tl && isAllDigits [a] = go' ([y a, n ] : acc) tl
go acc (a : b : tl) | isGroup tl &&](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ithkhkqhgrpew6b4obhfdw4p/bafkreih7dphfnpuon4umkbfhxvg46epgdll3mveumpkbuocsvzgexsz2re)
