Nostr notes by HoldMyType

I am using typeclass meta-programming to refactor my hardocode ...

2026-07-13T02:44:35Z

In reply to nevent1q…njpk
_________________________

I am using typeclass meta-programming to refactor my hardocode functions in #haskell , so that some old module becomes an instance of a new module
if you re , why are you using it?

dependently typed programming in #Haskell intrigues you, and you ...

2026-07-12T09:41:12Z

dependently typed programming in #Haskell intrigues you, and you don’t mind staring into the sun, the singletons library provides abstractions and design patterns that can considerably cut down on the boilerplate. (Also, the accompanying paper is definitely worth a read if you’d like to go down that route.
https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/

why not sourcehut or gitlab

2026-06-05T06:08:41Z

In reply to nevent1q…sc6e
_________________________

why not sourcehut or gitlab

RE: https://mathstodon.xyz/@xameer/116624312848174186 ...

2026-05-23T17:33:17Z

RE: https://mathstodon.xyz/@xameer/116624312848174186

epistemology influences how species are represented in policy discussions and conservation efforts. Different epistemological approaches can lead to diverse interpretations of species' roles and their importance in ecosystems.
#philosophy #politics

quoting
note1yd8…ucfm

RE: https://mathstodon.xyz/@xameer/116617367435357658

What is your political identity
#introduction #Fediverse
note180h…8zjf

RE: https://mathstodon.xyz/@xameer/116617367435357658 What is ...

2026-05-23T14:16:29Z

RE: https://mathstodon.xyz/@xameer/116617367435357658

What is your political identity
#introduction #Fediverse

quoting
note180h…8zjf

good decisions happen with emotional security and physiological strenght

good decisions happen with emotional security and physiological ...

2026-05-22T08:50:10Z

good decisions happen with emotional security and physiological strenght

on a lighter note sunrise time does not depend on gravitational ...

2026-04-09T03:44:51Z

In reply to nevent1q…9anf
_________________________

on a lighter note sunrise time does not depend on gravitational lensing. Gravitational lensing is a phenomenon where massive objects like galaxies or black holes bend light from distant sources, but it does not affect the timing of sunrise. Sunrise times are primarily influenced by Earth's rotation, axial tilt, and your location on the planet.
So noons like myself can still use newton's ( bisection) approximation to calculate the sunrise time with data
Sad part #ai couldn't have told the former , so newer theories , calculations and instruments of scientific observation need go on for ai to have any reliability on its data ops , no matter how it scraps that .
New Knowledge is the product of any value , without it data is just noise , and ai is only making an echo chamber for noises
#science

Some options re have no way to opt out ...

2026-03-27T01:15:57Z

In reply to nevent1q…n4ew
_________________________

Some options re have no way to opt out

which jerk of a bot named cloudflared for #cloudfare services on ...

2026-03-20T11:07:17Z

which jerk of a bot named cloudflared for #cloudfare services on #nixos
you idiots , you wasted 1/2 of my day

plagiarizing the land Now ain't that possible :D

2026-03-19T15:52:07Z

In reply to nevent1q…ryws
_________________________

plagiarizing the land
Now ain't that possible :D

https://youtu.be/HBluLfX2F_k?si=9_AAE48FBoClO2ha Re you playing ...

2026-03-15T21:02:47Z

https://youtu.be/HBluLfX2F_k?si=9_AAE48FBoClO2ha
Re you playing the #gameoflife right ? Can you?
#incomegap #politicaleconomy #statistics #philosophy #datascience

#Mīmāṃsā, one of the six orthodox schools of Indian ...

2026-03-15T11:20:29Z

#Mīmāṃsā, one of the six orthodox schools of Indian #philosophy, developed a rich #epistemology that directly engages with problems very similar to the induction problem in physics — though from a completely different angle.
#mathematicalinduction

but last I checked jury was out on signing commits with gpg given ...

2026-03-12T01:56:36Z

In reply to nevent1q…8ukn
_________________________

but last I checked jury was out on signing commits with gpg given the known vulnerabilities of gpg2 , some good devs also want agenix over gpg for signing/encrypting emails ?
Foss education about sop need be more straight forward why do newbie learn about OSI through gitlab compute minutes or why do they need an issue like minio to learn the critical thinking to tell the signofacnce of agplv3 vs BSD vs MIT license to adop one this thing can be simplified and a few blog posts can do it
/rant
/crib
/Bias

that said there an urgent need to create a safe enough space for ...

2026-03-08T13:24:29Z

In reply to nevent1q…w7tz
_________________________

that said there an urgent need to create a safe enough space for pre-,post-truth space , like quota but not for ads and more rigorous , all its going to take is a bunch of liberal enough profs, professionals with vetted credentials to join and tons ll join , their voice ll stand out , because one need research in order to defy or defend research

economy sir is bound to be political as both the labor and the ...

2026-03-08T13:05:55Z

In reply to nevent1q…p9e5
_________________________

economy sir is bound to be political as both the labor and the capital re no different
Risk is always always political , stupidity is lack of self governance or even worse lack of self control , which compounds

cc [@ramin_hal9001](https://fe.disroot.org/users/ramin_hal9001 )

2026-03-08T10:57:57Z

In reply to nevent1q…adn4
_________________________

cc [@ramin_hal9001](https://fe.disroot.org/users/ramin_hal9001 )

does the lack of empathy on some other side motivates you to let ...

2026-03-08T08:08:56Z

In reply to nevent1q…spvf
_________________________

does the lack of empathy on some other side motivates you to let go of your empathy too ?

Yes but the the war meant #profits for #voters and consumerist ...

2026-03-03T01:05:50Z

Yes but the the war meant #profits for #voters and consumerist paranoids
https://theconversation.com/iran-has-been-attacked-by-us-and-israel-when-peace-was-within-reach-277175

Question is not Do you use ai ? Question is Why do you have to ...

2026-03-02T21:25:28Z

Question is not
Do you use ai ?
Question is
Why do you have to use ai?

#Picat is a descendant of the B-Prolog language, and therefore is ...

2026-02-08T08:26:41Z

#Picat is a descendant of the B-Prolog language, and therefore is part of the whole Prolog family and also logic programming family.
#prolog
Giant Rabbit Hole: Logic programming dates back to 1972, but its roots go deep into the math of predicate/symbolic #logic , and it was central to the first wave of Artificial Intelligence ( #AI ). The idea was to encode knowledge into systems of rules sometimes known as "expert systems". And this is also why the Picat constraint programming book's cover says "Springer Briefs in Intelligent Systems: Artificial Intelligence, Multiagent Systems and Cognitive Robotics".

This is in contrast to the "AI" people talk about today, which is statistically based and in common parlance refers mainly to Large Language Models #LLM Someday someone may find a way to unite these two branches of thought: encoded knowledge and statistically inferred likelihood, but until then, Prolog and its ilk have been pushed somewhat aside by the neural networks and transformers...and now we might consider all concepts of epistemology and what it is to "know" and if knowledge graphs and ontologies hold the key. But was Plato right that all knowledge is subjective? Perhaps dependent type systems should be considered as solutions for encoding high order kinds, if these levels of logic really are necessary in the real world, and...um...where was I?

https://github.com/dsagman/picat

Don't use haveged. Virtual machines should simply get their ...

2025-12-28T15:12:46Z

Don't use haveged. Virtual machines should simply get their initial entropy from the already-seeded urandom pool of their hypervisor host. Processes don't "hang waiting for more entropy"; they hang because /dev/random inexplicably goes on strike. The answer to that problem is "never use /dev/random".
#virtualization #randomness #Linux
https://news.ycombinator.com/item?id=11625681

i ve been trying to #nixos rebuild my system from scratch for 3 ...

2025-12-19T12:10:07Z

i ve been trying to #nixos rebuild my system from scratch for 3 rd day now and I am in angst

https://neal.fun/absurd-trolley-problems #philosophy #gametheory ...

2025-12-19T05:23:16Z

https://neal.fun/absurd-trolley-problems
#philosophy #gametheory

The #Ethics of #Curiosity When knowing becomes problematic | by ...

2025-12-10T13:18:13Z

The #Ethics of #Curiosity When knowing becomes problematic | by Brian Rosta | Age of Empathy | Medium
"The Ethics of Curiosity"
https://medium.com/age-of-empathy/the-ethics-of-curiosity-4a4cd7f8166f#:~:text=The%20Ethics%20of%20Curiosity

Its cool that #nixos is reproducible , but have you tried to ...

2025-11-27T05:35:57Z

Its cool that #nixos is reproducible , but have you tried to reproduce entire closure from the scratch on another machine ?
What a nightmare , you need really powerful machines, unlimited bandwidth and extremely fast speed ,for even just a weird toy clousre

A display manager & window manager doesn't even need a ...

2025-11-01T02:53:07Z

A display manager & window manager doesn't even need a protocol
A #Wayland compositor does off courses
Window manager just handles windows and does use a protocol
Only reason I can guess #nixos calls a desktop environment a desktop manager , because of its common variable namespace and pattern for sub name spaces environment, home manger, sessions
While my terminology may not pe be precise is my guessed reasoning correct here
#Linux #GUI
https://vid.bina.me/tools/nixos/breaking-down-the-nixos-gui-setup/

raison d'être // reason for existence //french #philosophy

2025-10-04T02:02:26Z

raison d'être
// reason for existence
//french
#philosophy

so its not just USSR where this was possible. More borders ...

2025-07-25T14:41:10Z

In reply to nevent1q…wmuv
_________________________

so its not just USSR where this was possible.
More borders don't eliminate this chance

tooting

2025-07-11T05:15:27Z

In reply to nevent1q…7nh0
_________________________

tooting

which key figures did socialism give us?

2025-07-10T12:18:03Z

In reply to nevent1q…pwhd
_________________________

which key figures did socialism give us?

idk a silver bullet but andoc has table filter and it works with ...

2025-06-30T08:55:09Z

In reply to nevent1q…v7d6
_________________________

idk a silver bullet but andoc has table filter and it works with hakyll
It does CSV to MD tables

athletic ! ... Well put

2025-06-26T01:26:35Z

In reply to nevent1q…9dul
_________________________

athletic ! ... Well put

I can people in my area don't even know about signal or cre ...

2025-06-25T15:54:00Z

In reply to nevent1q…dymn
_________________________

I can people in my area don't even know about signal or cre about privcy

given what happened to many intelligent people from Copernicus to ...

2025-06-24T16:39:18Z

In reply to nevent1q…dadn
_________________________

given what happened to many intelligent people from Copernicus to Alfred tarski
I d opt for money, except that its too late for me to make that choice

I ve no right words to express how I feel

2025-06-21T16:01:17Z

In reply to nevent1q…0cw3
_________________________

I ve no right words to express how I feel

it happens in india too

2025-05-24T09:56:38Z

In reply to nevent1q…pp8k
_________________________

it happens in india too

#Marxist historians look at all events in #history from the lens ...

2025-04-15T02:42:06Z

#Marxist historians look at all events in #history from the lens of dialectic #matirialsm ( only cause of any historical event being class struggle )
- til
- #philosophy

Oh i asked #ai one lyrics of recent poem by #kunalkamra an indian ...

2025-03-24T11:27:52Z

Oh i asked #ai one lyrics of recent poem by #kunalkamra an indian #standupcomic after which he s facing threats and that studio was ransacked by the workers of the political party it mocked openly and on record and the poem is now gone to dark thanks #censorship
And suddenly it's lecturing me on the #ethics of #copyright
Its the same #ai which pirated entire #scihub and #annasarchives
Bitch why dont you just come out and say #ethicalAI by commercial entities is a joke

> because what's transparency, anyway. Thats an ...

2025-02-16T23:25:08Z

In reply to nevent1q…7ynu
_________________________

> because what's transparency, anyway.
Thats an interesting thought

cc @npub1rsu…c7a8

2025-02-16T22:02:23Z

In reply to nevent1q…s80m
_________________________

cc Pavel Korytov :emacs:☮️ (npub1rsu…c7a8)

I've never been very comfortable with sockets. I tried ...

2025-02-13T09:24:03Z

I've never been very comfortable with sockets. I tried reading Beej's guide to socket programming back in college, but I didn't really have the necessary OS, networking or C skills to make it through. I know about TCP and UDP, but I knew nothing about the lower-level abstractions that unify them.

This project was the first time I had to open a UDP socket -- in my regular programming, I've just relied on some networking library to handle that low level detail. So, I read the #Rust docs for UDP sockets, which are remarkably clear. A lot of the methods on UdpSocket correspond directly to Linux syscalls. When I later went back and read Beej's socket guide properly, it was really easy. All these syscalls were familiar -- they're just Rust stdlib networking methods!
https://blog.adamchalmers.com/making-a-dns-client/
https://beej.us/guide/bgnet/

The reason I avoided IDEs to begin with was that back when I was ...

2024-12-30T12:37:00Z

The reason I avoided IDEs to begin with was that back when I was getting into Vim, like a decade ago, it was an extra license to look into," says Vim user John Carter (not of Mars). "Since then it’s become a question of 'code speed.' If I start with a new IDE or even switch to something like Emacs, I’ll slow down. On an emotional and professional level, I can’t really afford that. It takes energy to pivot to a new editor. I don’t have that energy. I got the job, a family, and side projects. It seems silly but that kind of pivot takes energy.
#emacs
https://stackoverflow.blog/2020/11/09/modern-ide-vs-vim-emacs/

> verisimilitude (or truthlikeness) is the notion that some ...

2024-10-16T09:47:56Z

> verisimilitude (or truthlikeness) is the notion that some propositions are closer to being true than other propositions. The problem of verisimilitude is the problem of articulating what it takes for one false theory to be closer to the truth than another false theory.

This problem was central to the philosophy of Karl Popper, largely because Popper was among the first to affirm that truth is the aim of scientific inquiry while acknowledging that most of the greatest scientific theories in the history of science are, strictly speaking, false. If this long string of purportedly false theories is to constitute progress with respect to the goal of truth, then it must be at least possible for one false theory to be closer to the truth than others
#science #karlpopper #philosophy

yes its old, I am sure the responsible bugs re fixed but as many ...

2024-09-30T17:08:34Z

In reply to nevent1q…cj6z
_________________________

yes its old, I am sure the responsible bugs re fixed
but as many argue , being bug free need not mean secure
Here s someone more informed , again an old post
https://allthatiswrong.wordpress.com/2010/01/20/the-insecurity-of-openbsd/

# OpenBSD 's #IPv6 mbufs Remote Kernel Buffer Overflow ...

2024-09-30T13:58:23Z

# OpenBSD 's #IPv6 mbufs Remote Kernel Buffer Overflow
https://www.coresecurity.com/core-labs/advisories/open-bsd-advisorie

creating #git orphans :D #philosophy ...

2024-09-21T05:55:42Z

creating #git orphans :D
#philosophy