jnpn

lisp, prolog, sml, apl, forth, st (+math)

looking for freelance opportunities in FP, LP, CLP, RO and comp bio

70% emacs / 20% vi / 10% ed

Public Key

npub189gze8dwh24f9js7tt6g4d8un8lfsf8la7zm4mwp4d5zrdtt3uvs9gwl84

NIP-05 Address

jnpn_at_mastodon.social@mostr.pub

Profile Code

nprofile1qqsrj5pvnkht425jeg094ay2kn7fnl5cynl7lpd6ahq6k6ppk44c7xg3ksarp

Author Public Key

npub189gze8dwh24f9js7tt6g4d8un8lfsf8la7zm4mwp4d5zrdtt3uvs9gwl84

Show more details

Last Notes

2024-09-20 08:05:35

Whenever I look at monetary / finance long term graphs there's a feeling that it's the equivalent of an international serotonine system.

2024-09-19 04:09:36

- reply

@npub1src…fms4 we're entering the deternet era

2024-09-17 19:23:12

https://arxiv.org/abs/2405.17893
#prolog #llm

2024-09-07 22:39:15

a fully defined state machine is kinda purely functional

2024-09-03 23:28:19

git reset --hard timeline~40

2024-09-03 21:30:10

Real question:
Does studying deeper formal or technical topics (proofs, abstract recurrence relationships, formal concurrency) leads to a better job and better pay ? or should I just focus on mastering SpringBoot and Jira keyboard shortcuts ~_~ ?

2024-08-30 20:21:34

AI will force people to disconnect and meet in person to avoid all the deepfakes popping up everywhere. #irony

2024-08-29 13:49:40

forget TestDrivenDevelopment, we need DebugDrivenProduction

2024-08-28 11:13:09

- reply

@npub1q37…k2ta pretty f'in cool. I hope devs take inspiration in paredit or similar for the future editor.

2024-08-20 15:48:56

Distributed programming is amazing. Calling async operations on different machines with shared names recreates all the good old side effect bugs you stopped having with recent languages :)

2024-08-18 11:15:52

- reply

@npub1knz…c73p and the education systems seems tailored to that. Employing the brightest to explain to less bright will only work for a few students. Because it's too hard for teachers to understand holes in your understanding.

2024-08-12 03:13:53

https://me.literatelisp.eu/my-notes-on-emacs--lisp-in-the-stack-overflow-developers-survey-2024.html
more #emacs (from #stackoverflow )

2024-07-26 07:42:13

- reply

@npub1ks7…eg5u “The man who pays the piper always calls the tune”

2024-07-07 07:03:46

- reply

@npub1dn8…3map thanks and congrats
-- sent from my endeavouros

2024-07-06 09:58:12

- reply

@npub176x…app7 R (equi) N qui veut bouffer la France
#blaguequitombealeau

2024-07-06 09:51:11

- reply

@npub176x…app7 RequiN

2024-07-02 14:20:28

- reply

@npub14fs…qegk thanks for your input, I didn't anticipate how bad this could go
As usual, everything is a trade-off

2024-07-02 13:51:29

Who worked in a fully global async team ? and one with near zero calls / meetings ? (actually doing things instead of talking)

2024-07-01 18:07:31

- reply

@npub1gfd…7gg6 memory is expensive

2024-06-24 14:17:08

- reply

@npub14fs…qegk yeah the underlying is still a sequential memory mutation machine, but describing programs that way just doesn't scale
and yeah i love lisps or even caml, prolog

2024-06-24 14:04:31

- reply

@npub14fs…qegk the lack of composability in imperative programming slows my brain and repl interactivity / exploration in repls

2024-06-24 13:39:16

It's becoming more and more difficult to work with people too far into imperative plumbing mindset

2024-06-07 15:39:56

the amount of brittle env var based issues in infra is mind blowing

2024-05-21 21:48:52

I need to find a company or paid FOSS with a culture of extreme skills. It sounds arrogant but that's where my brain feels happy. Anything else destroys me slowly.
#career #engineering #software #webdev

2024-05-12 18:50:05

Thinking of making a 2000km bike road trip..

2024-05-09 07:55:49

- reply

@npub19y8…wxgj links2 terminal browser ? to save memory usage ?

2024-05-09 07:53:37

Is there a cure for tab hoarding ?

2024-04-29 20:30:28

- reply

@npub14fs…qegk maybe like many good ideas, they die early .. only to reappear when we realize they had more value than we thought

2024-04-29 20:02:38

- reply

@npub14fs…qegk yeah, i wish i could split it in two lanes, sometimes you want to discuss serious topics ... but most of the time I'd rather not

2024-04-29 17:42:04

mastodon is as political as twitter, less sh1t, that's for sure but still too much..
reminds me that google+ was the only place I found amazing creative / thiking posts all the time without cruft
that said g+ lasted 2 months and times were different..

2024-04-12 11:55:12

- reply

@npub1sys…ckr3 def f(x:(lambda _: print("Pepsi"))(time.sleep(1))): ... for ensured attention

2024-03-21 17:47:10

- reply

@npub1ftg…73wz who else is concerned that musk is 1) too volatile 2) tied to too many core advanced technologies that could be harmful if he loses it ?

2024-03-18 15:09:11

- reply

@npub1t7d…pqpp do you think there will be some automatic bridging between servers ? It might surprise some, but I miss the global scope of the website formerly known as "twitter"
Anyway kudos to all mastodon teams

2024-03-09 19:21:08

- reply

@npub1xtr…2zj8 the sociopsycholical aspect of this are interesting.
sleeping on a street you feel alone, afraid, subhuman.. in an airport it's a shared adventure

2024-03-09 09:05:20

#emacs users, do you guys think search-forward should place the caret at the end of a match or at the beginning ?
most of the time when I search for "def", it's to manipulate that term, not to insert after

2024-02-26 15:14:40

- reply

@npub15th…6nvx we need luxury homeless tents

2024-02-25 18:29:36

- reply

@npub19y8…wxgj I have to admit, that I don't get it

2024-02-25 18:20:57

humans are social, but being social is being influenced, so we live in an influeciety.
#sleepdeprivation

2024-02-25 15:24:05

- reply

@npub15th…6nvx Thanks, I now remember gelderloos being quoted but never took the time to find his books.

2024-02-25 15:05:39

- reply

@npub15th…6nvx has anybody reflected on this.. i wish (sincerely, i believed so for long) that voluntary cooperation would be the core of a better system, but now I believe 1) it doesn't scale 2) with enough time you end up with the same issues.
that said i'm still looking for alternatives, if you know books worth reading, hit me

2024-02-20 10:12:00

- reply

@npub1sys…ckr3 performance by lack of performance

2024-02-03 04:04:53

https://archive.is/hw6Br
sega ai prolog system..

2024-01-29 17:38:43

- reply

@npub1src…fms4 i so wish we could influence things ..

2024-01-28 00:22:33

- reply

@npub17vj…g088 now roam an infinite space and don't forget to buy DLC

2024-01-24 20:32:06

- reply

also in pdf form http://www.ebixio.com/online_docs/SuccessfulLisp.pdf

2024-01-24 20:31:02

TIL about https://dept-info.labri.fr/~strandh/Teaching/MTP/Common/David-Lamkins/cover.html
"Successful lisp: How to Understand and Use Common Lisp" by David B. Lamkins

2023-12-02 16:03:34

https://emacsconf.org/2023/
#emacs
#emacsconf
#lisp

2023-11-15 22:40:48

- reply

@npub1src…fms4 Can't wait to see Nvidia Office
jokes aside, impressive move