Layar Laut

Selayar Laut untuk berlayar bebas

I'm Layar. I draw and code sometimes (mostly haskell). Number one Yahata "Timoris" Umiri fan. UmiTaki is my OTP :gura_love:. Inui Toko is my Kami Oshi 🍹

EN/ID/JP 🆗

Public Key

npub16gtwlrm494wym2af8a3ymtsxqwr2x9vmv87pf03t03nrgkmxah2qkxqf2x

NIP-05 Address

layarlaut_at_misskey.id@momostr.pink

Profile Code

nprofile1qqsdy9h03a6j6hzd4w5n7cjd4crq8p4rzkdkrlq5hc4hce35tdnwm4qprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntp6u9ap

Publishing to

relay.momostr.pink

Author Public Key

npub16gtwlrm494wym2af8a3ymtsxqwr2x9vmv87pf03t03nrgkmxah2qkxqf2x

Show more details

Last Notes

2026-03-29 05:54:32 UTC

This is what happened when I have questions at the middle of the night and decide to indulge in it. Of course I'll miss the obvious answer
#note1pw2…u42x

2026-03-29 05:47:59 UTC

- reply

There's actually a simpler explanation. Composing repeating operator result in multiplication. `(m ^ a) ^ b = m ^ (a * b)`. For addition, the repeating operator (^) is equal to multiplication (*). So by substitution we got associativity `(m * a) * b = m * (a * b)`

2026-03-28 15:49:15 UTC

- reply

Multiplication is a special case of the repeating operator, with the monoid ℝ over addition (+). We extend it to not only work on ℕ but we have filled in the gap to work for any ℝ. Now it has the type of ℝ × ℝ → ℝ, and by coincidence it has associativity
The same can not be said for exponentiation. It is also a special case of the repeating operator, with the monoid ℝ over multiplication (⋅). The problem is we can not extend it to work on any ℝ. The best we can do is to all positive real numbers. Extending the operator to work on any ℝ take us out of ℝ. The result is now defined to be in the complex number (ℂ)

2026-03-28 15:23:39 UTC

- reply

We can generalize this repeating operation to work over any monoid. Let's define it as the repetition of the binary operator in that monoid.
Or more concretely, for a monoid (𝕄, ⋅). The repetition operator (^) is defined to be:
```
(^) : 𝕄 × ℕ -> 𝕄
m ^ 0 = e
m ^ n = m ⋅ (m ^ (n - 1))
```
Where e is the identity element in the monoid
In this case we can see why associativity doesn't apply. The left and right arguments are of different type, so by definition it can't be associative. Re-bracketing `(m ^ a) ^ b` to `m ^ (a ^ b)` is ill-formed. `a` is not a member of 𝕄

2026-03-28 14:34:00 UTC

What exactly differ from multiplication and exponentiation such that multiplication is associative yet exponentiation is not?
You can think of multiplication as a repeating addition and exponentiation as repeating multiplication. So in a sense, if you squint hard enough they are the same operation. Just substitute addition with multiplication. You only go one step above.
Yet going one step above break that symmetry. You don't get identity nor associativity.

2026-03-27 12:09:11 UTC

Half of this is just Yamada's works
https://obj.misskey.id/media/df95fae0-c597-459a-8cb8-b30da35e4de1.webp

2026-03-27 09:52:05 UTC

- reply

Can't wait to finally experience peak in motion (or maybe finding out it'll be mediocre adaptation ✊😔)

2026-03-27 09:50:38 UTC

Where to watch Akane Banashi
source: [Official Akane Banashi English Twitter account](https://x.com/akanebanashi_en/status/2037363996995522678)
https://obj.misskey.id/media/9dbba447-f02c-4261-afa5-2c3bb0c3a652.webp

2026-03-27 09:28:22 UTC

- reply

Either that or category theory, which is even more abstract

2026-03-27 09:26:45 UTC

Actually I know what to write, I just don't know whether it'll be interesting to read because I don't have good examples or when to use it. I just know what it is
Like I want to write about Algebraic Structure and what it abstract away, but can't really answer why we have this algebraic structure
#note1c69…5aaa

2026-03-27 08:43:55 UTC

I know I said I'll try to write a math blog, but I've been staring at this empty draft thinking about what to write :akko_badday:

2026-03-26 06:24:05 UTC

Onimai anime is just proof that if studio bind step aside from working on mushoku and work on CGDCT instead they'll make peak
And then they did it again with Ruri Rocks

2026-03-23 09:51:24 UTC

- reply

welcome back!

2026-03-23 06:24:06 UTC

- reply

how do you monitize federated instance?

2026-03-21 14:03:29 UTC

- reply

I'm intrigued

2026-03-21 13:39:34 UTC

- reply

sent

2026-03-21 12:33:59 UTC

- reply

do I need to have an account at fedinet.waltuh if I want to write a blog at pen.waltuh?
I'm looking for a place to write math stuff after [@ganbold@hiradai.space](https://hiradai.space/@ganbold ) encourage me to

2026-03-20 23:55:27 UTC

Eid Mubarak everyone! Wish you all a happy and festive eid

2026-03-20 03:51:15 UTC

- reply

Honestly my Ramadhan felt really underwhelming. I miss a lot of goals that would be easily achieved during last year Ramadhan
Going through Ramadhan while still adjusting as a new teacher really make this year Ramadhan really hard. Spent too much time being overwhelmed and meringkuk rather than ibadah

2026-03-20 03:46:36 UTC

Sepertinya banyak warga fedi yang sudah lebaran hari ini. Selamat Hari Raya Idul Fitri untuk yang sudah merayakan, mohon maaf lahir dan batin
Saya mengikuti ketetapan pemerintah jadi baru merayakan lebaran besok dan masih berpuasa hari ini :lappland_happy:

2026-03-19 00:13:37 UTC

CF22 kapan yah, sudah ada yang buka preorder

2026-03-18 23:40:17 UTC

- reply

as someone who like matcha and risol, I don't think it's a great idea. Risol is supposed to be savory and isn't a great match with matcha

2026-03-18 14:32:41 UTC

Sad that vanilla Misskey doesn't render latex math. It'll be hard to share fancy math equation here

2026-03-17 15:54:22 UTC

- reply

otsu and oyasumi

2026-03-16 00:52:23 UTC

- reply

It's Eid week so no school today, though I still have assignment to grade that I keep procrastinating :blobcat_aaaa:

2026-03-16 00:18:11 UTC

- reply

https://obj.misskey.id/media/d4f798e4-4788-43b8-8235-402184292cf2.gif

2026-03-14 10:33:50 UTC

- reply

I don't care if you have a wedding man. Futari Bus is that peak

2026-03-14 10:33:03 UTC

Not me asking a friend to get me a manga while he was in Japan and busy planning his wedding

2026-03-14 03:11:22 UTC

- reply

it's pi day

2026-03-12 03:09:17 UTC

This is a really impressive word play layered after word play
https://youtu.be/_bOwzgm7W9Q
https://obj.misskey.id/media/84917b0d-84e0-4962-99ff-58f173a8f041.webp

2026-03-10 09:31:59 UTC

I really need to do my long overdue re watch of Hibike Euphonium
https://youtube.com/shorts/yS5ir5JHbRc

2026-03-09 22:53:17 UTC

- reply

selamat pagi! :lappland_happy:

2026-03-09 22:51:38 UTC

- reply

good morning :satania_gun:

2026-03-09 00:15:47 UTC

- reply

selamat pagi

2026-03-08 10:22:10 UTC

This is still my favorite scene from Ikoku Nikki ep 8
https://youtube.com/shorts/GOWiYtiBTb4

2026-03-06 02:07:54 UTC

- reply

seyana!

2026-03-03 10:58:27 UTC

- reply

https://obj.misskey.id/media/36c63031-43ba-4196-8341-3ba41ff99643.jpeg

2026-03-03 10:50:24 UTC

[Chihaya:Restart](https://mangadex.org/title/8ab795c4-47d2-4d24-8ea1-4ed1e91abd96/chihaya-re-start) is really good. They have funny faces and sometimes too relatable
https://obj.misskey.id/media/729526a6-295f-4667-b04e-2af6d93f50ae.jpeg
https://obj.misskey.id/media/7a008db2-fbd6-44fe-b63b-318546ce8d21.jpeg
https://obj.misskey.id/media/ada655cb-8258-44f6-aec1-bbf33ef6f310.jpeg
https://obj.misskey.id/media/3e5c5543-c47b-4d88-81c8-8575c9e36913.jpeg
https://obj.misskey.id/media/6cc80871-852c-4da8-bde1-4bddddbc8eb0.webp
https://obj.misskey.id/media/86898abc-4baa-4d27-9faa-b414f4eb2a33.jpeg
https://obj.misskey.id/media/15af3436-234b-4fa4-a6e6-321a48d5018e.jpeg
https://obj.misskey.id/media/8c6ef4ad-51bf-42de-b9c2-bf7084172698.webp
https://obj.misskey.id/media/6ab3dde1-49cb-420f-a6d2-0df71c2292e4.jpeg

2026-03-02 21:06:58 UTC

- reply

daily :sataniaThumbsUp:

2026-03-01 21:33:26 UTC

I love etymology :ina_nod:

2026-02-24 10:54:40 UTC

- reply

Ushio Kensuke you sick sick man

2026-02-24 10:49:21 UTC

- reply

Especially when this makio ost was played
https://youtube.com/watch?v=3Up3Ua729e4

2026-02-24 10:47:32 UTC

Ep 8 of Ikuko Nikki hits really hard for me. I can't stop rewatching it

2026-02-23 00:30:42 UTC

I must say Ikoku Nikki is peak, and I need everyone to watch Ikoku Nikki

2026-02-22 04:17:03 UTC

There's some sort of comfort in watching how the characters in Ikoku Nikki navigate through their emotion. Maybe because I rarely see/hear/experiencing how other people process their emotional struggle, watching how Makio and Asa handle theirs show or teach me how I should handle mine.

2026-02-22 01:31:43 UTC

I should have expected that we will have a schedule change for the Ramadan month. I already planned the week based on the old schedule, and the sudden announcement on the new schedule really threw me off.
I was planning to prepare some material during the week, but now it has to be done at the start of the week.
I know I still have today to prepare, but my brain can't adjust with such sudden change in plan 😵‍💫😵‍💫😵‍💫

2026-02-21 10:56:08 UTC

Futari Bus peak romance
https://obj.misskey.id/media/ee95eb9f-7fba-43cd-88cf-b37c99d0b314.jpeg

2026-02-17 01:32:16 UTC

This is so funny. The longer you look, the more fucked up it become. As expected of Microslop

2026-02-15 12:23:25 UTC

Is SHY really that popular? Like, they sell SHY figurine at AEON, but I rarely find people talking about it
I followed the manga and in my opinion it doesn't have the wide appeal to be mainstream. The anime also didn't stand out in any particular

2026-02-15 09:00:12 UTC

Finally done with Arknights Mujica event! I quite enjoy the story, especially it complements well with the character's action set on the anime. It did feel like they got the characterization right.
I'm just happy to see the girls again outside the anime

2026-02-13 13:14:02 UTC

- reply

That reminds me, I should draw something for her

2026-02-13 13:11:52 UTC

What is valentine? Tomorrow is Togawa Sakiko's birthday desuwa

2026-02-13 11:24:05 UTC

KillKiss cover for the colab 😮
https://www.youtube.com/watch?v=WGF7rdNicQw

2026-02-13 08:33:32 UTC

- reply

I didn't realize being a teacher can be this exhausting

2026-02-13 08:33:07 UTC

SCHOOL IS DONE! Finally I can have the one week break :HyperNeko:

2026-02-13 01:54:23 UTC

Next week, the school will have a break for a week for Chinese New Year and Ramadhan, I just need to go through the day today to finally have time to catch up with Arknights Mujica

2026-02-11 15:26:34 UTC

I somehow got all of them to pot 5 with my 200 pulls 😭😭😭
Now I have to grind for their promotion material and skins
https://obj.misskey.id/media/2f37b6a3-7bad-435c-b551-ea11606cdecb.webp
https://obj.misskey.id/media/72a0b9de-404e-42c2-852b-4b92ea20955d.webp
https://obj.misskey.id/media/8b0785fc-4e30-45a3-b5e7-06a4fc11b282.webp
https://obj.misskey.id/media/2b120841-0569-4013-ba1e-8ac75febaf19.webp

2026-02-10 11:15:29 UTC

I was planning on quitting Arknights after the Arknights Mujica events, but then they tease Jun
Sorry ma'am. I'll be back to the grind
https://obj.misskey.id/media/358ddeb3-1232-4060-994e-d6a9fec45d21.webp

2026-02-08 13:53:28 UTC

- reply

A language without recursion. It can only be implemented through folding (catamorphism) and unfolding (anamorphism). You can't define recursive type either. You have to use mu type.
I don't know what benefit such language would have. Though, it would be a good exercise to implement common function as algebra/co-algebra.

2026-02-08 13:45:41 UTC

From the name I thought it was a language with first class recursion scheme. Is there even a language with such feature?
#note1w3g…pyrv

2026-02-08 13:39:55 UTC

- reply

time to use quickshell

2026-02-07 15:06:40 UTC

- reply

c1 is pretty high. it's pretty hard if you don't study

2026-02-06 10:19:35 UTC

- reply

YES! Come to me my dysfunctional band girls
https://obj.misskey.id/media/5b725a9a-a048-4431-93e4-3fad502cd7bd.webp

2026-02-05 14:34:13 UTC

- reply

gws misa :mugiflex2:

2026-02-05 07:40:35 UTC

- reply

There's an added benefits of Makio would spit out wisdom from times to times

2026-02-05 07:38:20 UTC

Ushio Kensuke's works are always delightful. His OST combined with Sawashiro Miyuki's Makio's hoarse and lazed voice make playing Ikoku Nikki in the background really comfy

2026-02-05 06:39:53 UTC

Ahh, Ardan is here as well
Time to jump back to umamusume
#note1yyc…47ka

2026-02-05 06:30:33 UTC

- reply

the only thing I know about this piece is that it's in Minecraft

2026-02-05 06:28:38 UTC

Arknights Mujica desuwa

2026-01-30 12:23:44 UTC

It's weekend!!!
https://obj.misskey.id/media/f648c54b-772e-49c5-8ed5-d0b7273e234d.webp

2026-01-29 22:34:51 UTC

- reply

happy birthday cell :blobcatbirthday::HyperNeko:

2026-01-26 00:27:06 UTC

- reply

I kinda hate that vibe is now associated with GenAI. I was second guessing whether to use the word vibe (as in the feeling rather than GenAI assisted glazing)

2026-01-26 00:21:33 UTC

I'm glad kVin has bridged their account. Now, I can share the gospel of Ikoku Nikki with a much better analysis than my uneducated vibe-based glazing.

2026-01-25 21:09:46 UTC

- reply

may I recommend Ikoku Nikki?

2026-01-25 03:28:05 UTC

- reply

mornin
https://obj.misskey.id/media/5b725a9a-a048-4431-93e4-3fad502cd7bd.webp

2026-01-25 03:08:35 UTC

- reply

they're slowly adding preservatives to the croissant :kyaru_scream:

2026-01-23 15:05:42 UTC

- reply

Every time I bring out obscure programming language concept
https://obj.misskey.id/media/33df7bff-7b5e-4d85-8cb0-58e488752f9d.webp

2026-01-23 14:59:22 UTC

Kinda sad that ever since [Jordan Martinez left the Core Team](https://discourse.purescript.org/t/leaving-the-core-team/4003), PureScript development has grinded to a halt. Last release was [2 years ago](https://github.com/purescript/purescript/releases/tag/v0.15.15).
PureScript was one of my favorite language beside Haskell, especially PureScript fixed a lot of legacy decision that Haskell unfortunately can not be fixed to support backwards compatibility. It was one of the few ML-family written for frontend.
It has fresh takes on frontend development with the like of [Halogen](https://github.com/purescript-halogen/purescript-halogen) and [Deku](https://github.com/mikesol/purescript-deku)
I might have to start learning [ReasonML](https://reasonml.github.io/) or [Rescript](https://rescript-lang.org/). They both derived from [OCaml](https://ocaml.org/). So another ML-family.
But frontend wise, both kinda relied on react 😑. I guess the upside is they can integrate to any existing react project with as little friction as possible. I prefer having Elm inspired framework or something with signal/FRP.
They also don't support anonymous and polymorphic record. Though they do support polymorphic variant. They also don't have typeclasses. Not that these feature matters to me, but a lot of crazy stuff from Haskell was made with the help of typeclasses. It also helps to have structural typing with record.

2026-01-23 12:22:42 UTC

My Friend and I have been sending this Bina Bread to each other. She's very cute and her cheek is very much pinchable
https://obj.misskey.id/media/5b725a9a-a048-4431-93e4-3fad502cd7bd.webp

2026-01-23 11:28:31 UTC

- reply

nijika doritos
https://obj.misskey.id/media/5b725a9a-a048-4431-93e4-3fad502cd7bd.webp

2026-01-16 11:17:07 UTC

Just watched ikoku nikki and instantly the moment I heard prepared piano I know the OST was done by Ushio Kensuke

2026-01-16 10:30:57 UTC

- reply

turns out the real web is https://uta.inui-dondon-sukininaru.net/ that one was the dev site :P

2026-01-16 10:09:55 UTC

Bless [inoshiro](https://github.com/inoshiro) for making this website: https://inuinouta-front-v3.vercel.app/
It's a database of all Inui's songs, utawaku stream, cover and original. It also divides the utawaku stream by each song entry.
https://obj.misskey.id/media/46b90ceb-8a82-44c6-a812-ab80085f7c8e.webp

2026-01-15 05:01:50 UTC

- reply

Man, I still can't stop giggling thinking about this

2026-01-15 00:14:57 UTC

There's nothing like a slow burn romance manga to start the day
https://obj.misskey.id/media/9583b155-3184-4a4d-81b6-eb2b6ef62005.webp
https://obj.misskey.id/media/2086f91b-646d-4b79-a1f0-bb040dc82a53.webp
https://obj.misskey.id/media/707214d7-4399-456e-883e-abeeec89261d.webp
https://obj.misskey.id/media/a3d3df95-2345-48cf-a27f-0f5b41e0dd6a.webp

2026-01-14 14:29:46 UTC

Inikah rembulanku...
https://obj.misskey.id/media/20c451f7-62c0-4a86-8c1f-0556a48fe323.webp
https://obj.misskey.id/media/8cd2b885-37b4-4d57-a838-f2f1c0e5994e.webp
https://obj.misskey.id/media/b1f8a847-c7f7-4eb2-9888-f31b386ff766.webp
https://obj.misskey.id/media/745ba9bc-6991-4620-b6ed-2e40d7a59ceb.webp
https://obj.misskey.id/media/913829db-da40-4d3e-a8e4-6aaec16f915d.webp

2026-01-14 13:33:54 UTC

- reply

it's too late for me, I'm back to TheoTown. Played it before it's viral, like two years ago. Now, thanks to the sudden virality, I'm back playing.

2026-01-13 23:32:21 UTC

Little horror animation by studio kolam susu. Love the coloring and direction in this one. There's hope for Indo animation scene
https://youtu.be/gd31Mze22cI

2026-01-12 11:25:15 UTC

- reply

Is this recap or new content 🤔

2026-01-12 11:24:10 UTC

Ave Mujica movie???
https://x.com/bangdream_en/status/2010660725145124868

2026-01-10 15:13:03 UTC

- reply

I may consider learning real analysis. It's kinda untouched territory of math for me

2026-01-10 14:55:21 UTC

I've never posted here because I found it before I joined misskey.id, but there's this website https://adam.math.hhu.de/ that host [lean4game](https://github.com/leanprover-community/lean4game) which basically a "game" of proving things in lean4. A great resource if you want to do theorem proving in lean4.
I'm surprised now it also offers Real Analysis and Linear Algebra. I remembered there were only the Natural Number Game, the German Robo one, and Set Theory Game when I discovered it.

2026-01-10 14:35:17 UTC

- reply

Hell Yeah, I got a cameo

2026-01-10 11:03:54 UTC

AAAH!!! THEY ALREADY START TEASING THE ARKNIGHTS MUJICA COLAB
https://youtu.be/m0pkeM0R13k

2026-01-10 10:49:40 UTC

- reply

I'm still searching for resources to learn topology to try tackle the homotopy type theory (HoTT) book. The first chapter is easy to follow with introduction to type theory but then they throw you with topological terms like fibers, continuous paths, and sheaves which throw me off everytime.
Hoping the playlist will help filling the gap, but it looked like it won't go too much into the topology.

2026-01-10 10:41:10 UTC

Found a really great playlist to learn algebraic topology. As someone with no formal background on both algebra and topology, the lecturer explains in a comfortable pace and doesn't overwhelm you with too much terminology. They also give a lot of example after each Proposition and Theorem, to help visualize it, especially with how much algebra love abstraction.
https://youtube.com/playlist?list=PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4

2026-01-07 11:13:39 UTC

Finally decide to watch Cruella after it flooding my shorts feed. I gotta say love all if the dress. They're all immaculate. Much respect to the costume designer

2025-12-28 10:40:30 UTC

YOU DON'T UNDERSTAND HOW HYPED I AM FOR THIS!!
KYOANI IS LIKE THE BEST STUDIO FOR RURI
#note1wcx…allh

2025-12-28 10:28:56 UTC

WTF!?!?!? RURI DRAGON ANIME ADAPTED BY KYOANI?!?!
https://youtu.be/Fw0gYw_rMHc

2025-12-27 13:27:33 UTC

- reply

:skyfireconcern::skyfireconcern::skyfireconcern: