soc.octade.net is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.
This server runs the snac software and there is no automatic sign-up process.
#lispyGopherClimate #live #interview with @chiply about #emacs #completions ! I am expecting to learn a lot about the incremental completing reads #lisp over there since 2020. ~ https://www.chiply.dev/post-vompeccc-spot
Every 000UTC Wednesdays "Tuesday night" https://anonradio.net:8443/anonradio
Charlie expressed interest in historical #lisp and #commonLisp directions in completions, so in the last 30 minutes I quickly wrote this note #McCLIM #example :
https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1521978/a-very-small-note-on-default-mcclim-completions-before-live-interview
#today 's plan for me is to prepare to talk to @chiply three hours from now on the show as planned,
then *only after that* I will watch the #europeanlispsymposium conference livestream record, then tomorrow I will record my missing half hour presentation from me being AWOL (from Poland) for the conference record in hindsight. So I cannot speak to conference stuff today yet. Next week we'll review.
@yantar92 @oantolin
#emacs #lisp #incrementalCompletingRead #softwareEngineering #programming
#programming #devlife #builder
Mine would be #Rust . It seems like a fun language write command line applications with, but i haven't had enough standout ideas for this yet.
I just need to come up with an excuse.
Question of the Day - Software & Building Things
What language or framework are you secretly curious about but haven't tried yet?
Tomorrow, "Tuesday evening in the Americas" #lispyGopherClimate #podcast will feature @chiply and we will be talking about fancy #emacs #autocomplete, its #lisp diaspora (#McCLIM completions!), antecedents and... Future.
Thoughts (and prayers) here please. #AMA (about the topic. Me mainly being https://www.chiply.dev/post-vompeccc-spot in this case.).
Edit: Aside, it probably does to mention for context that the following Sunday will be @yantar92 on #orgmode .
I spent some time this weekend writing not only about pizza but about programming, with a focus from python.
In general, I favour strongly, statically typed functional #programming languages, especially ML and its descendants: OCaml, F#, Clean, Miranda, Haskell, Agda, and Idris. But the following are a few of the strongly, dynamically typed languages (both OO and FP) that I like:
• OO—Smalltalk, Ruby, Python
• FP—Lisp, Scheme, Pure
PS—Those who are in both the Lisp camp and the ML camp of FP would enjoy Pure, a strongly, dynamically typed modern FP language.
tiny lua compiler: a lua compiler in a single file, that's well-documented, that was hand-crafted over several years, and made to teach you compiler/tokenizer/parser/lexer design.
this is a crazy impressive project, and in a time when people are haphazardly slopcoding projects, is a standard to live by.
#Interview will happen #live in 3 hours #peertube ! #retoot
In the meantime I found the #ecl #curl #example was not exactly what I had wanted, so I quickly wrote an example of putting the https://curl.se #http post example directly into ecl.
Emphasising that curl's easy mode is very easy to use to bring top quality networking to any project of at least one human. #gameDev and similar.
@prahou @bagder
#commonLisp #networking #programming #devlog #itch_io
Gamer+ Events
Chat with DJ Hairy Larry every Saturday night at 10:00 CDT. Join the open music chat on Gamer+ or Fluxer while we listen to Something Blue.
Every day it's tob's Dubious Goals Committee at 2:30 CDT. Something Blue follows on Fridays at 3:00 CDT. MixRemix Creative Commons Jazz follows on Mondays at 3:00 CDT. Listen at anonradio.net. Join sdf.org for free to join the DJ chat.
part 1
#interview #archive ! https://toobnix.org/w/rPKt4GRBwLeWzF3VcMFWNo
8UTC Sunday 10th May ("tomorrow, Sunday morning in Europe") speaking to
@bagder of #curl https://curl.se/ https://en.wikipedia.org/wiki/Curl_(software)
targetted by trillions of dollars of #AI companies #cybersecurity scanning, especially after he rejected their ai-content merge requests. And having to close bug bounties due to #llm spam.
...And what it means for #indie #programming today. #commonLisp #ecl 's 2010 example is curl, and and and.
A compact interpreter for a minimal lisp/scheme dialect. A street lisp.
https://git.sr.ht/~ft/sl
Ran across this gem from HN about AI. I'll let it speak for itself:
We've got a QA agent that needs to run through, say, 200 markdown files of requirements in a browser session... For the longest time we tried everything to get a prompt like the following working: "Look in this directory at the requirements files. For each requirement file, create a todo list item to determine if the application meets the requirements outlined in that file". In other words: Letting the model manage the high level control flow.
This started breaking down after ~30 files. Sometimes it would miss a file. Sometimes it would triple-test a bundle of files and take 10 minutes instead of 3. An error in one file would convince it it needs to re-test four previous files, for no reason. It was very frustrating.
There are people attempting to replace test suites with a prompt.
An LLM... a probabilistic machine... to replace a test, a logic-based assertion.
I don't even know where to begin.
#programming #devlife #Developer
I think mine would be the little scripts in #DraftsApp that take the current draft and send it over to the #Obsidian #Inbox
Question of the day #programming #devlife
What's the smallest script or shortcut that's saved you the most time over the years?
#programming #devlife #Developers
I would have to say the #Smalltalk ecosystem. Not that I think it's boring, but I am sure there are lots of junior devs out in the world who are bored silly after hearing me wax poetic about it for a few years.
Let's talk CLI/TUI and Developer Workflows!
I’m looking to refresh my local toolkit and I’m curious: what are the absolute "must-have" CLI or TUI programs in your current rotation?
Whether it's a specialized utility for a specific language, a terminal-based interface for a common service, or a workflow-changing alias, I want to hear about it. I’m especially interested in tools that prioritize keyboard-driven navigation and accessibility.
To get the ball rolling, here are a few tools I’ve been leaning on lately:
@programming
@linux @terminal_u_i@lemmy.ml @selfhosted
#CLI #TUI #Terminal #OpenSource #FOSS #Programming #DevTools #Linux #SysAdmin #Workflow #Python #Backend #ArchLinux #KeyboardDriven #Accessibility #SoftwareDevelopment #TechTalk
Of late, many #IT coders I know have begun expressing their interest in #MCU, #FPGA, and #ASIC, along with #electronic design and interfacing.
This lot had never expressed any interest in computing concepts that are below high-level #programming constructs in JavaScript and Python. But now, their MBA-shod managers have commanded them to find ways to reduce the power consumption of their #AI-infused systems.
I can already imagine this interaction:
"ChatGPT, design me an AI system that consumes less power—I don't know how much less, but less, nonetheless."
G'luck!
Well, I have to say I am on painkillers these days, but I wrote this.
#McCLIM #acl2 #commonLisp #programming #logic #graphics #hextille
sharpsign logically drawing hexagons.
Edit: It's about a single lisp source spanning both common lisp interface manager and acl2 first order logic.
When I was working in the #Win311 world, I was tasked to create a tool for CSRs to use. I created this AWESOME monstrosity of an interface and dropped it on an entire department.
One of the CSRs looked at me with WTF in his eyes and asked:
“Why are you giving us a Death Star view? We're X-Wing Fighter Pilots. All we care about is that exhaust port at the end of the trench."
That stuck with me to this day.
Question of the day - #Programming #DevLife
What's something you learned about software from a completely non-technical source?
@screwlisp
Tho, A) pipes are super concise, cat foo|sed 's/bar/quux/g'>foo2 is *amazing*.
Writing that in complex languages, and with handlers & exceptions, is much more
verbose so you woulnd't do it.
B) Pipes are bidirectional. You can do myrobot.sh|ed which does a bunch of commands interactively.
#lispyGopherClimate Tuesday-night-in-the-Americas
https://toobnix.org/w/88ZPfUcso2HNSKX6gNYShW #archive <- should have full audio
- This brave new world's #AI #vulns
+ #climateCrisis with e.g. oil
- The #commonLisp #conditionSystem #programming thread (& #shell ) https://gamerplus.org/@screwlisp/116390562771940285
Featuing @kentpitman @dougmerritt @vnikolov and more
- Also a note from @JohnMashey #unix when I tagged him (mostly, "haven't touched #lisp since the 70s").
- Live chat on #lambdaMOO !
@sdf can someone validate @artemis .
#programming #devlife #QuestionOfTheDay
My forever project is a system to compile local movie theater listings into a newspaper like listing like we got in the 70s and 80s.
I would use it daily, but I just never have the time to put it together.
Question of the Day - #programming #devlife
Do you have a "forever project" — something you keep coming back to but never finish?
@vnikolov @kentpitman @dougmerritt @khinsen @holdenweb
This conversation has grown wonderfully and beyond my imagined scope, but I wrote a second example of how I was thinking about it:
https://lispy-gopher-show.itch.io/lispmoo2/devlog/1488992/small-and-beautiful-common-lisp-conditions-like-unix-piping #commonLisp #programming #conditionHandling #scripting
in which I say
$ xargs cat <<"EOG" \
> | cut -d' ' -f2 \
> | xargs -d' ' echo
> foo.tsv
> EOG
and
the following lisp are similar in a number of ways.
/2
#commonLisp #conditionHandling #programming #example
https://lispy-gopher-show.itch.io/lispmoo2/devlog/1487350/iterating-grandfather-clock-using-ansi-common-lisp-conditions-as-such
The gist is a clock that chimes (cuckoos, here, I guess) harnessing the power of conditions.
I think this sm0l article indicates that ansi common lisp condition handling is a more powerful expression of but similar to unix pipes; look at what modifying the handlers does and is like in the article.
SADLY I am not available for the #lispyGopherClimate sundaymorningineurope.
An appointment was made without asking me.
T w a w a r e l f
Z e
R
I
N
M p l
U s 0 n e
T w O
H r
E
E
Y f
0 u r
C o n s c i o u s e l f
Z e r u n (S h e r s e l f) i t m u l t i p l i n t w (h) y 0 n e d u a l (l) h y p o t h e (r) t i c a l m i n u s p o l a r i t y
H y p (o) (t) (h e) (t i c) (a l) (r) a n t i s y n t r i n i t ( w h) y t h r e e (t w o)
A l t (w) o (g e t) (h e) r A ((l t e r) n a t i n g
(E g o) C t (Y 0)
U a l (l)
T h
E
S
I
S
0 n e
F (Y 0) U r
Q u a d r i (y 0) (u) n i t (w h) y
#poem #poetry #individuality #authenticity #sovereignty #tolerance #reconciliation #letterlab #source #zero #writing #letterportals #wordpuzzles #programming #perception #encryption #code #polarity #one #unity #binity #trinity #quadrinity #singularity #duality #ternity #quaternity #p01 #fediverse #exquisitesocial
#programming #devlife #Builders
I think one of my biggest oopsies was installing libraries in the C# world and not realizing that they were trial versions. I had never seen these types of things before.
The libraries didn't do much of anything special, but they were prohibitively expensive.
I ended up pulling a few all-nighters, recreating the library’s functionality to avoid going triple budget.
Question of the day - #programming #devlife
The worst technical decision you've ever made that seemed smart at the time?
#acl2 simple introduction to acl2 for the #commonLisp inclined.
loop$, apply$, thms oh my.
In particular, I implement a model of a simple case of the common lisp condition system that is directly compatible with both ansi common lisp and acl2. (a computational logic for applicative common lisp).
#firstOrderLogic #theoremProving #programming #logic #example
Technically this is in support of my lisp / moo compatibility layer but I am not going to beleaguer the tag.
Can't say I'm knocking it out of the park, but I was uploading this note https://lispy-gopher-show.itch.io/lispmoo2/devlog/1480416/simple-handlerrestart-basis-for-lispmoo2-take-2 to ask @me for thoughts, but I guess you could venture thoughts too #commonLisp #programming #lambdaMOO #showerThoughts @dougmerritt
tl;dr
A macro that introduces player / feature objects as the sources of 'spatially local' handlers and restarts the same way lambdaMOO does.
A rock, that when it is in my inventory prints debugging information about actions and short-circuits evaluation.
I am going to say @charliemac is going to be #liveCoding in three minutes here https://www.twitch.tv/endparen #commonLisp #programming #McCLIM #CLIM
Jeez. This Claude code leak. Sloppy sloppy slop.
> https://cyberpunk.gay/notes/akjr3ydangf7000m
The fact that this unbelievably shitty slop leaked is basically a crisis for every single Claude slopper (major global company), but one can assume all other GPT derivative comparable products are exactly this. Sheesh, and you wonder why they suck. Jeez Louise. #ai #llms #cybersecurity #programming #leak #sourceCode #zeroDay