TIL gnu project created gnome because kde was proprietary at the time
January 1, 2026 at 1:28 AM
TIL gnu project created gnome because kde was proprietary at the time
Gemini been shitting the bed mid conversation with frequency
December 31, 2025 at 4:30 PM
Gemini been shitting the bed mid conversation with frequency
hot take: smalltalk is my least favorite language
December 31, 2025 at 6:24 AM
hot take: smalltalk is my least favorite language
copilot + opus is giving me big wins lately
December 27, 2025 at 9:11 PM
copilot + opus is giving me big wins lately
Reposted by NaNdi
Reposted by NaNdi
detached head is the only branch i work in
December 24, 2025 at 6:08 PM
detached head is the only branch i work in
blows my mind that google doesn't own gemini.com
December 24, 2025 at 5:11 PM
blows my mind that google doesn't own gemini.com
feature request. bluesky passkeys
December 24, 2025 at 5:10 PM
feature request. bluesky passkeys
Reposted by NaNdi
Reposted by NaNdi
my body is a machine that turns disk space into not enough disk space
December 24, 2025 at 7:47 AM
my body is a machine that turns disk space into not enough disk space
a uint isn't an int by definition
December 23, 2025 at 2:59 AM
a uint isn't an int by definition
In the whole world there is no study so beneficial and so elevating as that of the Upanishads. It has been the solace of my life, it will be the solace of my death.
December 21, 2025 at 7:58 AM
In the whole world there is no study so beneficial and so elevating as that of the Upanishads. It has been the solace of my life, it will be the solace of my death.
Reposted by NaNdi
local first vs atproto!! what should the source of truth for group data be?
Owning group data
Thinking about how communities can manage shared data on and off ATProto
meri.leaflet.pub
December 20, 2025 at 12:45 PM
local first vs atproto!! what should the source of truth for group data be?
Im having codex come up with crackpot theories and then having it write formal proofs for them in Lean 4
December 20, 2025 at 6:35 PM
Im having codex come up with crackpot theories and then having it write formal proofs for them in Lean 4
unsafe rust is unsafe therefore rust is unsafe QED
December 20, 2025 at 2:20 AM
unsafe rust is unsafe therefore rust is unsafe QED
Real numbers are equivalence classes of Cauchy sequences bro
December 19, 2025 at 6:54 PM
Real numbers are equivalence classes of Cauchy sequences bro
Reposted by NaNdi
Remember back in 2007 when ZDNet called 2007 the year of URL-based identity?
ZDNet calls 2007 the year of URL-based identity
In its 2007 predictions, Identity World suggests that URL-based identities will take the alpha geek world by storm. I couldn’t agree more: URL-based identity begins a cycle of real adoption i…
factoryjoe.com
December 18, 2025 at 11:58 PM
Remember back in 2007 when ZDNet called 2007 the year of URL-based identity?
the "jokes" in gemini cli make me not want to use it. like just show me useful information, wtf
December 18, 2025 at 11:35 PM
the "jokes" in gemini cli make me not want to use it. like just show me useful information, wtf
Reposted by NaNdi
This is my comfort
December 18, 2025 at 1:28 PM
This is my comfort
Reposted by NaNdi
What if GitHub made you take a quiz about your PR before requesting reviews, to make sure you know what's in it? And if you don't...
December 17, 2025 at 10:23 AM
What if GitHub made you take a quiz about your PR before requesting reviews, to make sure you know what's in it? And if you don't...
Reposted by NaNdi
Nerds behold, the very first Leaf stream DID:
did:plc:tqd32oyrvfdkzh62zmk3tftv
Soon every space in @roomy.space shall have it's own Leaf stream with it's own DID.
did:plc:tqd32oyrvfdkzh62zmk3tftv
Soon every space in @roomy.space shall have it's own Leaf stream with it's own DID.
![Code screenshot:
{
"@context": [
"https://www.w3.org/ns/did/v1",
"https://w3id.org/security/multikey/v1",
"https://w3id.org/security/suites/secp256k1-2019/v1"
],
"id": "did:plc:tqd32oyrvfdkzh62zmk3tftv",
"alsoKnownAs": [],
"verificationMethod": [
{
"id": "did:plc:tqd32oyrvfdkzh62zmk3tftv#leaf_server",
"type": "Multikey",
"controller": "did:plc:tqd32oyrvfdkzh62zmk3tftv",
"publicKeyMultibase": "zQ3shmenhzahSPKF4NRzTAnHnG8roQ8YqhBAetLpYpY4uL47G"
}
],
"service": [
{
"id": "#leaf_server",
"type": "LeafServer",
"serviceEndpoint": "https://leaf-dev.muni.town"
}
]
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ulg2bzgrgs7ddjjlmhtegk3v/bafkreigi654oggoexc7on7jmf47bzxkmio5gby2gmuy54ofl2zevbx3jxy@jpeg)
December 18, 2025 at 10:17 PM
Nerds behold, the very first Leaf stream DID:
did:plc:tqd32oyrvfdkzh62zmk3tftv
Soon every space in @roomy.space shall have it's own Leaf stream with it's own DID.
did:plc:tqd32oyrvfdkzh62zmk3tftv
Soon every space in @roomy.space shall have it's own Leaf stream with it's own DID.
