sparkie

92 ms·

211.
by sparkie 2y ago
It doesn't solve the referential transparency problem. To be referentially transparent, the buffer would need to be fixed in size, and have all of its data input prior to being used the first time. Essentially, it would akin to passing
212.
by sparkie 2y ago
The "getting bigger" actually happens in reverse. `main` has god-mode privileges, and it can selectively grant smaller or equivalent privileges to the functions it calls, which in turn, grant smaller or equivalent privileges to th
213.
by sparkie 2y ago
> The effects of methods that are called by other methods will be concealed, so at the calling site, you'll have no idea that the high-level API `do_stuff` is going to utilize `io`. The point is to make the caller aware of any side-
214.
by sparkie 2y ago
> 4. External resources (files, I/O): this would be a very difficult topic if not for our simple question. Only writing to a file or outputting to an I/O stream is considered an effect, as only the process of writing mutates ex
215.
by sparkie 2y ago
I recall you have written in favour of structured concurrency before. I'd be interested in your thoughts about how we can combine this with a GUI framework for something better than the status-quo. Most of the other frameworks out ther
216.
by sparkie 2y ago
> I somewhat wonder about trying to release those games on FOSS licenses (still with asking for “paying” for them to support the creators), that would be “purer” from anarchist perspective than using proprietary license but this is not s
217.
by sparkie 2y ago
Green Software: 217KiB html & 377KiB js to display <4 Kib of text.
218.
by sparkie 2y ago
Yikes! Doesn't seem like there's anything that can be done to solve that then. I guess the only way to tackle it would be to target the popular software or libraries for producing PDFs to begin with and try to upstream parallel en
219.
by sparkie 2y ago
> The worst offender (so far) is the JBIG2 format (several major libraries, including jbig2dec), a very popular format that gets EXTREMELY high compression ratios on bilevel images of types typical to scanned pdfs. But: it's also a
220.
by sparkie 2y ago
Manually with: gcc -c -O0 -no-pie main.c Probably also be worth throwing in -nostdlib while learning to keep it bare-bones, otherwise will need to link the c runtime. Assemble the emitted .S file: as -o main.o main.S Link
221.
by sparkie 3y ago
You could build a POSIX system on seL4, but it won't take advantage of the capabilities that seL4 provides, because capabilities are absent from the POSIX APIs. Consider for example: FILE *fopen(const char *filename, const char *
222.
by sparkie 3y ago
My favourite Kate feature is sessions . Whatever your working on, you can save the session - including all open files and editor layouts, and restore it later on.
223.
by sparkie 3y ago
You don't even need to do that. Just stick a single ' before any number/date and it will be treated as text. The problems are when importing/exporting though. Even quoted numbers will lose the quote when exported to say,
224.
by sparkie 3y ago
It's difficult to optimize because evaluation of expressions depends on the dynamic environment, which you don't have ahead-of-time. You can't even assume `+` means "add the arguments", because `+` may have been b
225.
by sparkie 3y ago
In Kernel, we could argue that operatives are the more fundamental type of combiner, and applicatives (aka functions) are the sole special-form, constructed by calling `wrap` on another combiner.
226.
by sparkie 3y ago
if(and(or(cond1, cond2), cond3), effect1(), effect2()) In most languages, if `cond1` evaluates to true, you would not evaluate `cond2`. If `cond1` and `cond2` evaluate to false, you would not evaluate `cond3`. If all conds evaluat
227.
by sparkie 3y ago
Scheme has Guardians for this. They're available in Guile[1], and have recently been submitted as an SRFI[2] for standardization. Original proposal is from Kent Dybvig et al in 1993[3] [1]: https://www.gnu.org/software&#
228.
by sparkie 3y ago
But most people will turn on the radio or hit play on Spotify and listen to the same few hundred songs on an infinite loop, with maybe a couple of new songs (which sound very much like the old songs (or in many cases, are the old songs resu
229.
by sparkie 3y ago
See: Liberty Dollar. https://en.wikipedia.org/wiki/Liberty_dollar_(private_curren...
230.
by sparkie 3y ago
Add GNU jitter to the list: https://www.gnu.org/software/jitter/
231.
by sparkie 3y ago
Would strongly recommend watching the SICP video lectures: https://ocw.mit.edu/courses/6-001-structure-and-interpretati...
232.
by sparkie 3y ago
Kernel[1] has the ability to make scoping more abstract, but in a clean way which doesn't introduce the "spooky action at distance" of full dynamic scoping. It's an improvement on the older fexprs. Essentially, you have
233.
by sparkie 3y ago
Menus used to have at least some consistency across programs. If you knew where an option was in one program, it was usually in the same place in another, or at least similar options were in similar places. The UI designers of the past unde
234.
by sparkie 3y ago
Menus with lots of options, properly labelled and organized, and displaying keyboard shortcuts next to them, like pretty much any software written in the 90s. Tooltips when you hover over things. Actual documentation built into the software
235.
by sparkie 3y ago
Instead of the cons proposal, should just make the `(:)` operator work on ListLike[1] instead of only built in lists. [1]: https://hackage.haskell.org/package/ListLike-4.7.8/docs/Data...
236.
by sparkie 3y ago
Some crimes can be avoided with Orientational Analysis. Nobody teaches it though.
237.
by sparkie 3y ago
LLMs don't just regurgitate examples, but the have some internal model of the world and can learn new things. See this example: https://szopa.medium.com/teaching-chatgpt-to-speak-my-sons-i... . A sophisticated enough LL
238.
by sparkie 3y ago
The standard does not actually specify what sequence of instructions to use for the load pseudo-instruction, so it is left up to the assembler to decide. A 32-bit load still requires 2 instructions (The purpose of the lui instruction is to
239.
by sparkie 3y ago
With proper capabilities (the correct way to do security), this is just normal. If you don't have the capability, the object does not exist. Capabilities can be revoked at any time too.
240.
by sparkie 3y ago
On footnote #4. The change from two shifts to movabs/and is only possible for unsigned. If the size was signed this wouldn't be the correct behavior (Requires sar instead of shr). It's not surprising that RISC-V sticks to usi

More ›