Viewing profile — jxy

> No support for first class continuations I'm not sure about how people would feel about this. I have mixed feelings. It feels like a loss of many things. What are the gains from …

https://en.wikipedia.org/wiki/List_of_non-rectangular_flags

The HTML version is quite nice. Do you know how they did the LaTeX to html conversion?

https://en.wikipedia.org/wiki/Wubi_method https://en.wikipedia.org/wiki/Bopomofo

mouse or keyboard is really just a preference. you could do mouse 1 sweep-select 2-3 in one window, and move to another mouse 1-3, and move to another do mouse 1-3, ... Or you coul…

Nature's evolution algorithm took millions of years to find the architecture and the base model, which then takes decades to be fine tuned to be able to form this opinion.

from OED: the modern sense of "meme" > 2. An image, video, piece of text, etc., typically humorous in nature, that is copied and spread rapidly by internet users, often with slight…

interesting % /usr/bin/jq --version jq-1.6-159-apple-gcff5336-dirty

so it wouldn't require a shell that supports job control?

How does taskwarrior deal with recurring tasks now? Like tasks that have a due date recur every two weeks, or tasks that have a due date always two weeks after done.

If you like to read Feynman: https://www.feynmanlectures.caltech.edu/II_35.html#Ch35-S2

We chose a random direction as a convention, just as we chose a random charge as positive.

I don't trust any kind of generalization like this, which only serves further disinformation and misinformation. There are bad journalists (if they can be called journalists at all…

https://github.com/ollama/ollama/issues/5881 https://github.com/ggerganov/llama.cpp/issues/8650

You are a maintainer of a software that depends on ollama, so you should know that ollama depends on llama.cpp. And as of now, llama.cpp doesn't support the new ROPE: https://githu…

https://github.com/Zettlr/Zettlr/issues/1966

I was trying this for a while, but the inability of labeling and refering to specific math equations became a deal breaker.

Yeah. That's how rio's text windows [0] look like in hold mode, except that it has a much simpler design and better support of mouse. [0] https://p9f.org/magic/man2html/1/rio

THE PLACEBO EFFECT: It works even when you know it's a placebo.

For equations and flowcharts, I would argue that the rendering is more important than the textual "code", so a "preview block" with rendered output would be very useful already. A …

This is slick. Are there plans for rendering LaTeX equations and/or diagrams/flowcharts, such as mathjax and/or mermaid.js?

When an email drops, do some squats; when you start to stray, pushups all the way.

> One of the essential characteristics of general intelligence is “sentience,” the ability to have subjective experiences—to feel what it’s like, say, to experience hunger, to tast…

Does LMSys even claim to be using the public API? What API endpoint is "Gemini-Advanced-0514"? Is LMSys "Gemini-1.5-Flash-API-0514" the same as what the public API endpoint "gemini…

It's fun stuff of translating C declarations to English, given English uses its special order for possessive and verb object order. If you use Japanese, you can write the Japanese …