Posts by oantolin@mathstodon.xyz
(DIR) Post #At6eCHBOA624r7bnAe by oantolin@mathstodon.xyz
2025-04-15T04:24:41Z
0 likes, 0 repeats
@dougmerritt @screwtape @glitzersachen @mark I don't think it's that easy to compile Common Lisp, but that hasn't stopped people from writing great native code compilers like SBCL.
(DIR) Post #At6eCICUNUVU0p8BWa by oantolin@mathstodon.xyz
2025-04-15T05:45:43Z
0 likes, 1 repeats
@hajovonta I agree. Thanks to SBCL, Common Lisp is my go to language when I need raw speed (life seems too short to write in low level languages).@dougmerritt @screwtape @glitzersachen @mark
(DIR) Post #AuQniFqOTw7tv4Gpkm by oantolin@mathstodon.xyz
2025-05-24T16:56:35Z
1 likes, 0 repeats
@johndcook Some of these are function spaces and some are individual functions? @dpiponi
(DIR) Post #AwLTfgi1n0qy50wP8S by oantolin@mathstodon.xyz
2025-07-21T02:33:44Z
2 likes, 2 repeats
You know how people advise you not to use mathematical formulas in section titles in LaTeX? Listen to them!
(DIR) Post #AwW8ODDKEobVNextXU by oantolin@mathstodon.xyz
2025-07-26T06:49:15Z
0 likes, 0 repeats
@rms This quote from the article is sad and terrifying:> “Being able to write well and think coherently were basic requirements in most graduate jobs 10, 15 years ago,” said a senior recruitment professional at a large consultancy firm from London, speaking anonymously. “Now, they are emerging as basically elite skills. Almost nobody can do it. We see all the time that people with top degrees cannot summarise the contents of a document, cannot problem solve. Coupled with what AI can offer now, there are few reasons left to hire graduates for many positions, which is reflected in recent [labour market] reports.”
(DIR) Post #AxzsliWITkBMPZ9mtc by oantolin@mathstodon.xyz
2025-09-08T13:05:39Z
1 likes, 0 repeats
I know that in #Emacs both C-x C-= and C-x C-+ increase the font size, and I know that C-x C-= is easier to type (at least on my keyboard) because it does not require shift, but = for increasing just feels wrong and I use C-x C-+ every time!
(DIR) Post #AycRRMNMviiFzOy1c8 by oantolin@mathstodon.xyz
2025-09-27T03:35:14Z
0 likes, 0 repeats
@futurebird I chose "could be both", because even though I don't believe it could be *both*, I do believe it could be *either*.
(DIR) Post #AyqM137Y7OL1BRdpgm by oantolin@mathstodon.xyz
2025-10-03T20:39:53Z
0 likes, 0 repeats
@futurebird @aethernaut Well, they are at least from the south (of Canada)...
(DIR) Post #Az76JqtDWQeLAjCU4W by oantolin@mathstodon.xyz
2025-10-11T22:34:37Z
0 likes, 0 repeats
@publicvoit I'm reading this article to see whether they have any testimony from Spanish speakers confirming that the boy actually spoke Spanish, or whether it's just a bunch of monolingual English speakers speculating that the sounds he made were fluent Spanish. :D
(DIR) Post #AzV8cXnPbBaV9sZ24O by oantolin@mathstodon.xyz
2025-10-23T12:53:27Z
0 likes, 0 repeats
@publicvoit I think the name might be holding the idea back? I don't feel down about Org not do I want to take Org down. It seems negative to me. Markdown has "down" in its name because of a pun: it's in opposition to markup. Without that context I don't see why you'd want "down" in the name. I think "Orgmark" would have been clearer, or "OrgML" (for markup language), which also had the advantage that someone might mistake it for machine learning and give you money.
(DIR) Post #AzVjrcNuW78e2OgepM by oantolin@mathstodon.xyz
2025-10-23T19:50:46Z
0 likes, 0 repeats
@publicvoit «Nobody I've came across ever said that "Markdown" is negative because of"down".» It isn't negative in the word "Markdown"! As I explained, in that case it is a play on words. I don't think you can make the same argument without the "mark" there.
(DIR) Post #B1sjX4wi85jZ7ynmVc by oantolin@mathstodon.xyz
2026-01-02T17:49:42Z
0 likes, 0 repeats
@tusharhero I've often wondered if people who want this feature somehow grew up reading scrolls rather than books, and it suddenly dawned me: I'm just old, they grew up reading on screens, scrolling through documents!
(DIR) Post #B1srdxhsF6skKsegc4 by oantolin@mathstodon.xyz
2026-01-02T19:20:12Z
0 likes, 0 repeats
@tusharhero When I commented on reddit I think I hadn't realized yet that I'm probably just older than people that want scrolling.
(DIR) Post #B1srfB4U2SX04ioIlc by oantolin@mathstodon.xyz
2026-01-02T19:20:50Z
0 likes, 0 repeats
@tusharhero The usual term is "pagination".
(DIR) Post #B2iFZw5ajrDCEFjM5g by oantolin@mathstodon.xyz
2026-01-25T17:19:35Z
2 likes, 1 repeats
There is much truth to this post about about #math textbooks.
(DIR) Post #B2mWvTlvB5Fed1ECMy by oantolin@mathstodon.xyz
2026-01-29T15:52:13Z
0 likes, 0 repeats
@futurebird It's only called Polish because people can't spell or pronounce Łukasiewicz.
(DIR) Post #B2r0DI7cuAzJ0p496O by oantolin@mathstodon.xyz
2026-01-31T19:39:14Z
0 likes, 0 repeats
@futurebird I do 2x, except for certain accents which force me down to 1.5x. One thing I've noticed is that for complicated stuff, like a video of a math reseach seminar, listening at 2x forces me to pay attention whereas at 1x I often get distracted and have to rewind a bit.
(DIR) Post #B2r26f41PQyE2wLWHg by oantolin@mathstodon.xyz
2026-01-31T19:59:51Z
0 likes, 0 repeats
@futurebird That sounds like a great idea! I'm looking forward to reading that story when you write it.And that reminds of a Mexican sci-fi-ish novel I've often wondered if you've read, it sounds right up your alley. It's by Rafael Bernal and is called Su nombre era Muerte (His name was Death). I'll give a plot summary from memory but bear in mind I read it like 20 years ago. The protagonist is a man who comes down with some tropical illness in the jungles of Chiapas and while bed-ridden realizes the buzzing of mosquitos is actually a language and he surprises them by learning it. It turns out that mosquitos have a complex society, and consider themselves the dominant species of the planet, and have always tolerated humans because we didn't harm them in large numbers (mosquitos in the book never care about individual mosquito deaths, they're concerned with large colonies). But with the advent of industrial insecticides they've decided that enough is enough and they will enslave the human race. They offer to spare the protagonist in exchange for his translation services and he agrees. Mosquito society plans far, far in advance of all possible situations, including a human learning their language, and the mosquito central council issues numbered decrees, each of which is memorized constantly repeated by some mosquitos who form a living archive of the councils decision (and are immediately replaced by others upon their death). Everything the mosquitos do in the novel was decided by the council at some point in the past.
(DIR) Post #B2srFkn4mCm9EZTN7g by oantolin@mathstodon.xyz
2026-02-01T17:08:12Z
0 likes, 0 repeats
@futurebird I did not even now that "educe" had a second meaning that was similar to "infer", but you're right it does! Merriam-Webster first lists the meaning I was familiar with: "to bring out (something, such as something latent)". That meaning is very different from "infer" and you cannot substitute "infer" for "educe" when you are using that meaning: "the gift of a puppy finally educed a response from the shy boy", or "...educed order out of chaos" to given example sentences from M-W. Also, the list of synonyms M-W are only for that meaninging of "educe": "evoke, elicit, extract, extort".That was the only meaning I had ever seen used, but M-W also lists "deduce" as a second meaning, which is of course similar to "infer".
(DIR) Post #B33268Tush04tIj7Ca by oantolin@mathstodon.xyz
2026-02-06T14:56:57Z
0 likes, 0 repeats
@tusharhero @ramin_hal9001 @aral You definitely can pipe regions of a vim to buffer to a command. I'd say it's even encouraged among vim users.