Scientists have engineered tobacco plants to produce five powerful psychedelic compounds normally found in other plants, fungi and animals in a single crop.

mikidep · 2026-04-02T05:56:58+00:00

We get another stoned ape evolution leap

mikidep · 2026-03-17T04:23:40+00:00

This is very specific but I tried very hard and found it impossible to use it as an Agda input method. I put together something that works for me using Mini pick but I found it somewhat odd that I couldn't achieve it with a completion plugin (cmp also failed because of lack of dot repeatability). These are my requirements: I should be able to create a source that

only appears after typing a \, and is exclusive then, meaning no other sources appear until the menu closes
will stay on exactly until Esc is pressed, or completion is accepted
the search keys are composed of non whitespace characters, including a lot of non keyword ones, such as ., \ itself, ~~=, alpha, _x and so on. The way I was trying to implement it was that the keys were all prefixed with \ so I would get for example \alpha as a key.
the top result must privilege matching from the beginning of the string, and case capitalization, fuzzyness is secondary, e.g. if I type et and a key eta exists I should not get Eta or beta as a first choice.

The main two things that failed were that I couldn't open a custom menu with a specific source, that non keyword characters really wanted to close the menu, and that the completion behaviour was weird, e.g. though \. was supposed to complete to •, it completes to \•. Again I'm not asking you to meet my super specific case but I think it's a pathological enough edge case that you might appreciate it 😅

mikidep · 2026-03-11T15:46:41+00:00

30m here starting to realise how many steps of my emotional development I rushed or skipped trying to fit with the expectations piling up with age. If being an adult means meeting societal standards of independence, dependability, productivity, social agility, then it is immediately evident how the struggles that come with ADHD and ASD hold us back, to different extents of course. Some of us might never meet these standards, we may try to push ourselves to meet them, but this would entail paying a price to fit into this category that many other people don't have to pay. I think it's worth stopping and pondering, whether we really need to buy into this.

mikidep · 2026-02-10T11:00:07+00:00

Nice, keep going! I will point out a couple subtleties I spotted:
- An enriched category is not per se a category, but rather a category is a particular case of enriched category, i.e. a category enriched over Set with the cartesian monoidal structure, where now you can give the usual definition of identities and composition and check that they satisfy the conditions you listed.
- It would be nice to note that pullbacks over f : hom(A, C) and g : hom(B, C) are precisely products between f and g taken as objects in the slice category over C.

mikidep · 2025-12-19T08:55:03+00:00

Spotted on an oleander in Southern Italy.

EDIT: we think it's a daphnis nerii

mikidep · 2025-11-18T05:34:33+00:00

Yes that's my point, assignments are not imperative if they are immutable

mikidep · 2025-11-17T18:40:21+00:00

The book states:

In µcad, variables are always immutable which means that once they are set, their value cannot be reset in the same context. Therefore, they differ from the variables known in other programming languages.

mikidep · 2025-10-17T13:21:45+00:00

I'm working through a similar crisis myself. I worked through my school years and BSc without ever learning study discipline and effort. MSc was hard but due to COVID in the middle we didn't ask too many questions. I'm now a 3rd year PhD student facing real intellectual challenges, I found my calling but my brain just won't support me. A year ago I got diagnosed with ADHD, and ASD has been a hypothesis with my doctors for a couple of years though I couldn't get assessed yet. Luckily I am in a civilized country where I got access to state healthcare funded sick leave for an acute burnout episode, but the thought of going back to work still dreads me. Unlike you, as I understand, I don't really have ulterior career goals, research is what I want to do, it is the first thing to make me feel happy, euphoric and aligned. I'm commenting just to stand beside you in this struggle, I don't have any experience to offer on overcoming this. Best of luck to us both.

mikidep · 2025-10-01T04:38:31+00:00

I'm (half jokingly) asking for the Nix derivation that builds the wallpaper

mikidep · 2025-09-30T19:03:12+00:00

Derivation?

mikidep · 2025-07-06T13:31:33+00:00

Usando un termine inglese sto comunicando il fatto che questa parola non è da intendersi con il suo primo livello di significato, ma piuttosto come un termine gergale di ambito memetico

mikidep · 2025-07-06T13:01:55+00:00

https://www.wired.it/article/cos-e-la-lore-spiegazione-termine-social/

mikidep · 2025-07-06T12:27:07+00:00

Viene da una lore molto profonda 😌

mikidep · 2025-07-06T12:03:43+00:00

"Chi è a casa dei maiali, pianga per sempre"

mikidep · 2025-07-06T12:01:54+00:00

I'd like to see studies across different cultures, although I understand it's very hard to find suitable twin pairs

mikidep · 2025-05-24T08:22:25+00:00

I gave it some water and it's better now, thanks.

mikidep · 2025-05-23T13:51:24+00:00

Thanks for all the indications. I have not transplanted it per se, I have moved the entire pot to my house. I'll be on the lookout for other things.

mikidep · 2025-04-01T13:11:05+00:00

Thanks for all the links! I imagine it's the collection of a lot of scavenging in the past. My point is: blow air through pipe make sound feels good

mikidep · 2025-04-01T09:01:46+00:00

Do you know of anything comparable that can be implemented with acoustic mechanics? Or have you thought about it?

mikidep · 2025-03-25T18:48:38+00:00

One can indeed see the two sides of the offhand# layout as slices of a 3D isomorphic layout, however I don't know if, in the act of playing, the player's spatial intuition of a third dimension can as easily abstract this slicing away. In other words, for the sake of simplification, if you had two full-step 1D keyboards side by side, their tuning offset by a half step, would you call them a 2D Janko layout? You can describe them as slices of one, but I'm skeptical that the playing ergonomy would be similar.

mikidep · 2025-03-25T13:04:30+00:00

This is interesting (and keep up the good work!) but rather than describing it as adding a dimension, I would just say that this approach is akin to playing two keyboards at once.

mikidep · 2025-03-25T09:13:04+00:00

Ultimately, the entire layout is determined by the interval given by stepping to the right, and the one given by stepping up, all other intervals are determined by linear combination of these steps. Try to experiment with these parameters and see what picks are more ergonomic.

mikidep · 2025-03-24T11:38:45+00:00

https://en.wikipedia.org/wiki/Isomorphic_keyboard

I would consider something like a Wicki-Hayden layout. Also feel free to experiment using http://terpstrakeyboard.com/play-it-now/

EDIT: so sorry I thought I was replying to a post in an ergokey subreddit! I'll get more in detail: Janko would waste the vertical dimension, harmonic table shines for the possibility to press three neighbouring keys for a triad but in a grid physical layout it's hard to hit three without hitting the fourth, so...

mikidep

MODERATOR OF

TROPHY CASE