Hayley

https://social.applied-langua.ge/users/hayley

catgirl representation in programming language design and implementation :catpaws: ΘΔ

pronouns: she/her, it/its (if you are good about it)
you may have read: https://applied-langua.ge/
academic spam magnet: https://orcid.org/0009-0007-6944-9526
Synergy - Cords: https://www.youtube.com/playlist?list=OLAK5uy_l7O5dAjTmN_1j13FuJQwm_B0lsX6ze8ds

Public Key

npub1hv3f5muhzy00at3aktesjpexlk5u23j6hvthx3dqemxmnvmyte2slt9apv

NIP-05 Address

[email protected]

Profile Code

nprofile1qqstkg56d7t3z8h74c7m9ucfqun0m2w9gedtk9mngksvandekdj9u4gpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds4zcan4

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1hv3f5muhzy00at3aktesjpexlk5u23j6hvthx3dqemxmnvmyte2slt9apv

Show more details

Last Notes

2026-04-11 23:53:07 GMT

- reply

which abilities?

2026-03-24 04:41:37 GMT

- reply

I think we should reinvestigate typed assembly language for the garbage collection interface

2026-03-16 06:56:16 GMT

weird looking book
https://social.applied-langua.ge/media/42e9a58a-9c9d-4822-9595-094d0cbf643e/20260316_174914.jpg

2026-03-09 01:40:46 GMT

- reply

I mean, mcrxr looks alive and well on the 32-bit G3/750 and G4/7400 but it is outright deleted on the 64-bit G5/950, I wouldn't characterise that as "slow" exactly

2026-03-09 01:23:58 GMT

- reply

SBCL src/compiler/ppc/move.lisp: "Don't even think about using `mcrxr`, you couldn't make up a slower instruction"
PowerPC 750 manual: 1 cycle latency
which is it

2026-03-09 01:21:12 GMT

🐇
https://social.applied-langua.ge/media/6f40d334-2d81-4d34-b809-c7daddee5f88/Screenshot_2026-03-09_12-07-51.png

2026-03-03 04:40:31 GMT

- reply

https://lobste.rs/s/hsu5rs/are_security_reliability_fundamentally#c_gqlaq2 many such cases

2026-03-01 11:16:13 GMT

when is it dark wave and when is it cold wave I can't work out this shit

2026-02-10 07:19:43 GMT

"FOSS projects unwilling to pay money" wher money

2026-02-03 10:44:46 GMT

- reply

...meanwhile I'm fairly sure I can write approximately too much of an emulator in Erlang, and only entering and caching translated code needs to be on the other side of a NIF :joe-armstrong:

2025-12-22 05:01:04 GMT

- reply

I got a book from the thrift shop entitled "Hindoo Hypnotism and Oriental Occultism" purporting to be from 1903 and I can't find any trace of this book existing online

2025-12-19 05:17:32 GMT

- reply

I believe you would be looking at an absolutely ridiculous transitive dependency graph for a "simple" Go program

2025-11-25 08:21:50 GMT

who is ready for CAT GIRL SUMMER

2025-11-13 10:05:27 GMT

the one skirt I like has acquired holes, it's so over

2025-11-12 11:48:35 GMT

mf I ordered 25 resistors and got 24

2025-10-09 09:29:03 GMT

- reply

"hot allostatic load" machine

2025-10-09 09:06:59 GMT

FTFY https://fedi.lunya.pet/notes/admn7tnibk
https://social.applied-langua.ge/media/9cfded60-b62a-461e-b9d4-0827d0ca24a0/change-your-mindset-2.jpg

2025-10-09 07:51:08 GMT

- reply

my money is on you violating the sacred HAL machine that is fediblock

2025-08-23 12:58:42 GMT

- reply

"you wake as your avatar"
yippeeeeeeee I get functioning cat ears and also Synergy - Cords on vinyl then

2025-08-05 03:15:43 GMT

- reply

we need to make so much pig iron
https://social.applied-langua.ge/media/b796eee7-efe6-4018-9170-d8ae73e0b705/blast-furnace.jpeg

2025-08-05 03:12:44 GMT

we must industrialise the sharehouse

2025-04-24 11:37:56 GMT

https://social.applied-langua.ge/media/5257ee6f-14a9-47bd-a870-93f39611f48c/try-not-to-meow.png

2025-04-01 02:26:03 GMT

taught GDB to read CCL symbols this is so fucking cursed
https://social.applied-langua.ge/media/67448d42-71fb-4cfe-b375-adebfdc0ad06/Screenshot_2025-03-31_23-39-46.png
https://social.applied-langua.ge/media/57eacb53-c22b-43f9-ad85-c4f3e7af8ebc/Screenshot_2025-03-31_23-41-10.png

2025-03-16 00:14:05 GMT

instances should be just be nodes in a universal network, gateways to other nodes, or fallbacks in the case of network failures -- communities are spooks and instance centrism is an attempt to discretise social connections which do not discretise so nicely

2025-03-15 06:09:09 GMT

"freestanding wardrobes" "must be wall-attached to prevent tipover" what kind of freestanding is this

2025-03-05 12:36:31 GMT

- reply

not r/traa transfem or /tttt/ transfem but a secret third thing (xenofem.me transfem)

2025-03-05 12:34:55 GMT

ALGORITHM NOOOOOOO
https://social.applied-langua.ge/media/8da9b727-a04e-4092-8fe2-2f2f609c3432/Screenshot_2025-03-05_23-31-30.png

2025-03-04 04:53:56 GMT

- reply

but now @npub1qru…shcs will have no hot chocolate (I'm so sorry I do the same joke with a Haley too)

2025-03-04 00:44:55 GMT

it is now the THIRD time in a row that I got a cup of hot chocolate addressed to Hailey how am I supposed to feel about drinking someone else's hot chocolate

2025-03-01 03:47:17 GMT

🎵 the return of the Java Duke, throwing darts in lispers' eyes 🎶

2025-02-16 00:33:07 GMT

- reply

oh noooooooo

2025-02-16 00:30:48 GMT

- reply

oh no am I famous!? and there's more than one Hayley?!

2025-02-16 00:13:32 GMT

- reply

compared to extant Lisp implementations I'll take "native Java performance" any day of the week

2025-02-06 20:56:38 GMT

- reply

VisualVM my beloved

2025-02-05 01:29:07 GMT

- reply

nothing of value lost with "AC"SL enjoyers

2025-02-03 11:28:18 GMT

https://social.applied-langua.ge/media/7caeb226-e165-4df1-b111-2a9ee7e253b2/niao-niao.jpeg

2025-01-10 21:22:08 GMT

- reply

no idea w.r.t both

2025-01-10 12:31:49 GMT

dorm reception email, sent at 10:30pm: "your parcel is here! you may collect it between 8am and 10pm"

2024-12-26 02:39:18 GMT

https://social.applied-langua.ge/media/d3f5fb0a-9bae-461c-b2ba-9bf32ff72c8c/some-pussyfooting.jpeg

2024-11-02 15:01:02 GMT

- reply

and to be clear, if you have to declare anything inline or declare concrete types you lose the game

2024-11-02 14:20:52 GMT

- reply

V8 and PyPy want words of course

2024-11-02 14:20:31 GMT

"Thanks to JavaScript and Python there are truly people out there that think you can't compile dynamic languages and make them run fast."
😹😹😿😿😿 man we're never getting a good CL compiler at this level of discourse

2024-10-29 03:34:08 GMT

- reply

if you think transitioning is dangerous, you should try not transitioning

2024-10-28 20:57:34 GMT

r/traa never beating the "being shit" allegations, although this is a step above painful unfunniness
https://social.applied-langua.ge/media/27aef266-e046-4aed-8214-d5414ed321ea/Ga9Du8VWsAA0-eu.jpeg

2024-10-21 07:16:55 GMT

- reply

it scales because it doesn't use joins

2024-10-20 05:32:41 GMT

- reply

> while Godot's RC can't handle cyclic references
bUt It DoEsN'T pAuSe ThE gAmE
https://mastodon.gamedev.place/@tccoxon/111060654378642304

2024-10-19 05:21:56 GMT

- reply

sky will fall when WolframAlpha says "as a large language model, I cannot help you calculate if you are being underdosed"

2024-10-19 04:31:10 GMT

despite failing organic chemistry I can at least convert between pmol/L and pg/mL

2024-01-09 04:59:10 GMT

Did you ever hear the tragedy of Gilad Bracha The Wise? I thought not. It's not a story the Crabs would tell you. It's a Smalltalk legend. Gilad Bracha was a Dark Lord of the VM, so powerful and so wise he could use the Bytecode to influence the messages to create modules. He had such a knowledge of virtual machines that he could even keep the ones he cared about from using C++. The dark side of the virtual machine is a pathway to many abilities some consider to be unnatural. He became so powerful the only thing he was afraid of was losing his modularity, which eventually, of course, he did. Unfortunately, he taught his apprentice everything he knew, then his apprentice ported the Newspeak VM to C++ in his sleep. Ironic. He could save others from C++, but not himself.

2024-01-02 06:24:24 GMT

This is worse than retrocomputing; it's necrocomputing, a pathetic attempt to mate with the corpse of a dead concept operating system. Instead of drawing any interesting lessons from Plan 9 for OS and distributed system design, it's an attempt to turn a burned-out wreck into a daily driver, generally by redefining driving as "sitting in a car and making brrr noises".
They are remarkably honest about it: "There is no advanced auto-completion of program names and flags, like hipster zsh and fish users might be accustomed to. But this really isn't an issue since Plan 9 has virtually no programs or flags to speak of, as you will discover soon enough."
Those with any kind of spidey sense for going down tech rabbit holes might also notice how front-and-center features for, ummn, connecting/emulating computers not running Plan 9 are in this guide.
Randomly cutting into the document presents you with a plethora of the usual fetishization of the fact that a nearly useless operating system, window manager, etc. doesn't take nearly as many LoC as something that more than a handful of people use, not to mention a giant list of things that you apparently shouldn't do, like use files made in Office: "There are a great many office suits (sic) on most operating systems, and other office utilities besides too numerous to count. So many are the choices in fact that it's easy to forget that "office" is just a fancy word for working with text."
It seems to close on some daft explication of how everything can be a database and how you don't need a real one, presumably after having invested thousands of words on how you don't need a spreadsheet, don't need a web browser, don't need an office suite, etc.
I cannot think of anything that captures the spirit of Plan 9 less than attempting to revive a dead, nearly 30 year old operating system and pretend that it's a useful daily driver. At the time Plan 9 was built it was a quirky and clean take on technology of the time, built on cutting edge and interesting hardware. At a time when distributed systems in Unix (not really Linux, then) were a tooth-grinding exercise in frozen NFS mounts and awkward, irritating incompatibilities, Plan 9 was a breath of fresh air. Honoring its spirit would be building a new operating system that applies this kind of simplicity to modern hardware (a hell of a task) - and learns from its mistakes, not trying to set up a homestead in this utter wreck.
— Geoff Langdale https://news.ycombinator.com/item?id=28771886

2023-01-21 05:54:55 GMT

Heard joke once: Man goes to compiler club. Says he's depressed. Says writing optimisations are hard. Says he can't be sure that the compiler won't miscompile and forge capabilities. Club says, "Treatment is simple. Virtual machines can reason about types and object layouts. Use a virtual machine." Man bursts into tears. Says, "But I'm writing the virtual machine."

2023-01-17 02:03:46 GMT

- reply

https://social.applied-langua.ge/media/4e4f5114-7312-4c0f-92ca-519f70743d57/dave-stirner-on-duped-egoists.jpeg

2023-01-17 01:13:11 GMT

Functional programming is not compatible with egoism, because it doesn’t accept me, but only the values in me. But if the program is a society of values, not a union of Is, each of whom only looks out for himself, then it cannot exist without morality and must attach importance to morality.
Therefore, the two of us, the function and I, are enemies. For me, the egoist, the welfare of this “equational reasoning” is not in my heart. I sacrifice nothing to it, I only use it; but to be able to use it completely, I transform it instead into my property and my creation; in other words, I destroy it and in its place form the association of objects.
— The Unique and its Prototypes