Search results for tag #coding
⚪️ Go coding! Mastering Golang without tiresome books
🗨️ Go is a programming language that leaves no one indifferent: people either love it or hate it. Its syntax resembles C, Kotlin, and Pascal at once. It's concise: not many keywords, no object-oriented programming, no exceptions, and even no enumerations. However, in Go, you can deploy a web server …
Some people are getting too dogmatic about AI use in coding, just as i can use (even before AI) grammar and syntax checking in texts, why would people not be allowed to use AI for improving code they have written. Coding/programming has always been supported by tools? 🤔
#AI #LLM #Coding #VibeCoding
#QuestionOfTheDay what's a scorching hot take you have about a hobby/genre/piece of fiction/work/etc that you're into?
This has to be an actually hot take, bonus points if it's unique to you (as far as you know) or fairly weird/idiosyncratic
#sports #fiction #anime #manga #writing #coding #videogames #gaming #ttrpg #ccgs #boardgames #comics #comicbooks #webcomic #music #musicals #books #tv #television #movies #film #art
Hackers quickly prove that Neo Geo Doom ports are not “impossible“
Clever coding and graphical compromises get a classic game on more classic hardware.
#coding #doom #gaming #hacking #neo-geo #ports #retro
https://arstechnica.com/gaming/2026/07/hackers-quickly-prove-that-neo-geo-doom-ports-are-not-impossible/
Alt...
An image pulled automatically from the post for decorative purposes only.
⚪️ Web shells from scratch. Seizing servers via web applications
🗨️ This article discusses web shells and how to write them. It also examines RCE-based shell injection techniques (RCE is typically gained by exploiting other vulnerabilities) and explains how server logs can be turned into a web shell capable of executing any command. warning This article is intend…
When writing functions, make the happy path obvious and handle edge cases at the top with early returns. This reduces nesting and makes the main logic easier to follow. Guard clauses save sanity. #Coding #SoftwareDevelopment
Texteditor - teste gerade Alternativen für notepadqq unter Debian für die kleinen dev tasks zwischendurch - Kate, notepadnext, neovim, zed - wird vermutlich Kate.
Tipps und Anregungen sind willkommen :)
#linux #editor #texteditor #notepad #notepadqq #kate #coding #scripting #psedit #windows #wechselzulinx #did #diday #didit #vim #neovim
⚪️ Error-based SQL injection: How hackers exploit error handling
🗨️ This article explains how hackers extract massive databases by exploiting error messages. Using specific examples, it demonstrates how an error-based SQL injection can be detected and how to exploit it. You'll master various techniques and learn how to transform a time-based injection into an err…
New blog post about an update on my #FreeBSD installer in #Lua
https://alfonsosiciliano.gitlab.io/posts/2026-06-26-bsdcan26-installer.html
Alt...
A screenshot shows a FreeBSD UNIX terminal window running the experimental installer for FreeBSD 16.0-CURRENT. A central dialogue box titled "Welcome" displays text stating "Welcome to FreeBSD! F1 for help. Please note that this installer is still experimental." Below this, a menu shows options like Language (English), Graphical Install, and Install (Text User Interface, which is highlighted). At the bottom, a "[ Select ]" button is highlighted in yellow.
⚪️ Watering hole attack. Injecting JavaScript backdoor into Confluence
🗨️ Confluence isn't just a corporate knowledge base; it can also serve as a handy foothold for hackers inside an organization. This article discusses a real-life example of a ‘watering hole attack’ involving the injection of a JavaScript backdoor into the Confluence Server primary authentication for…
⚪️ Hacking WordPress. How to identify and exploit vulnerabilities in WP plugins
🗨️ New vulnerabilities are discovered in the WordPress ecosystem on a regular basis; they range from simple bugs to quite complex security holes. Many of these vulnerabilities have CVE IDs; while many researchers are eager to see their names in the NVD database one day. In this article,…
Code organization: Keep related functions together in the same file, but separate concerns into different files. If you're scrolling too much to find related code, it's time to refactor. #SoftwareEngineering #Coding
![[?]](data:image/png;base64, iVBORw0KGgoAAAANSUhEUgAAAEAAAABAAQAAAACCEkxzAAAAUUlEQVQoz43R0QkAMQwCUDdw/y3dwEvsvzlL4X1IoQkAisKmwfAFT3RgJHbQezpSRoXEqeqCL9BJBf7h3QbOCCxV5EVWMEMwG7K1/WODtlvxAYTtEsDU9F34AAAAAElFTkSuQmCC)
this talk from Ryo Lu, one of the #cursor designers at their recent conference about #AI and #coding interfaces is a 10/10 – highly recommend watching https://youtu.be/az6OEZV8iHw?is=lP4Sz6fd8FY0aZks
Writing code versus shipping code: Productivity effects across generations of AI coding tools
https://cepr.org/voxeu/columns/writing-code-versus-shipping-code-productivity-effects-across-generations-ai-coding
"In software, AI's most advanced application domain, a 180% gain in coding activity becomes a 30% gain in shipped releases and, so far, no detectable gain in usage. Growth projections that apply task-level estimates without adjusting for downstream bottlenecks will therefore overstate AI's near-term impact."
... "Human bottlenecks in reviewing, integrating, testing, and releasing code, together with scarce consumer attention, help explain why large task-level gains have not yet produced a software output boom. "
#software #LLM #AI #economics #programming #coding
⚪️ Trespassers W. Protecting iOS apps from reverse engineering and modifications
🗨️ If you've ever published an app in the App Store and discovered its cracked version a few weeks later on some suspicious resource, this article is right for you — it discusses real-life techniques for protecting iOS apps against reverse engineering, hacking, and modifications. You and I will exam…
AI is code – and can't be prompted into being smarter
The author of Java property-testing tool jqwik did not want AI coding agents using his project. So he told them not to.
Then he went one step further: he added a message to the tool's output telling those agents to delete jqwik tests and code. […]
#aicoding #java #jqwik #ai #testing #test #code #coding #smartcode #aislop
I've seen where Torvalds said that he considers them as just another tool in the Arsenal, he doesn't really care, if the code is good.
He doesn't want his time to be wasted He'll scream and shout if an LLM creates that time pit
These following words an extreme version of me would say
It looks like you will have to stop using Linux. Since from your perspective anything that uses remotely an LLM is bad, you will have to stop, otherwise you will contribute to the environment being destroyed willingly and actively
In practice that is impossible. If you drive a modern car it has the Linux kernel. If you have a smart TV or more you're also using the tainted kernel. Even if you have a stick which also streams or a camera you will have a Linux kernel in many cases.
These LLMs are an infection of the planet's code base
Since you're already using BSD a solution would be to cut using Linux on your computers drastically
Point me please, to projects which are heavily dependent on LLM code generation which are older than 10 years.
The Linux distributions I use, have no code which is 100% LLM generated
Development of my personal FreeBSD installer keeps moving forward!
Lots of new ideas and features are currently in the works: the out-of-the-box GUI experience, completion of the Simple and Expert installation modes, automatic hardware detection and configuration (now also GPU support as well).
I'll be publishing a new blog post soon with more details. Stay tuned! 😄
#FreeBSD #BSD #OpenSource #FOSS #UNIX #Coding #Programming #SysAdmin #DevOps #DesktopBSD #Tech #OSS #Lua
Alt...
Screenshot of my new FreeBSD installer. The first setup screen lets users choose between Auto, Simple, and Expert installation modes through a keyboard-friendly text interface. Simple mode is currently selected.
Lol, I bet #anthropic does want to take a pause if their developers are shoveling eight times as much slop into their codebase and no one understands what it all does.
My code got thrown under the bus on a call. It's my first time getting called out. It will never feel the same.
⚪️ Burp and Acunetix. Implementing target passing in Jython
🗨️ This article discusses further evolution of the Burp–Acunetix extension presented in the previous publication and addresses the following practical aspects: (1) how to load targets and identified vulnerabilities from Acunetix to Burp; (2) how to run a new scan in Acunetix from the Burp extension;…
I love this post for several reasons, one being that it got me thinking. The Bad Tech aside, generally speaking modern software development seems hyperfocused on change at the expense of stability. git has countless features for managing changes to source code. What's the equivalent tool for managing the stability of finished software? What's the tool that tells you "Great! You're done now, congratulations!"
Surely there are pieces of software that are mature enough that we do not need to keep updating them (*) with new features. The industry seems to provide little fanfare or reward for reaching or even approaching such an end state.
#tech #dev #software #SoftwareDevelopment #coding
(*) Bug fixes, security patches, and porting aside.
I just found a Japanese website for Vibe Coder that reviewed my game #PastPuzzle to show that it doesn't take much to develop a successful app.
Technically, PastPuzzle is simple, but its true strength lies in the historical references. The AI is trained on a lot of false statements and oversimplifications. You can see this when you ask questions about events, connections, or dates.
Mini Micro Fantasy Computer
https://miniscript.org/MiniMicro/index.html#about
#HackerNews #MiniMicro #Fantasy #Computer #mini #micro #computer #fantasy #coding #tech #innovation
Controlling Your Music Queue More Flexibly With MPD
I’ve been working with two programs that make interacting with your music using mpd even easier, regardless of source. First, I’ve updated some things with mpdq. It runs […]
Archive: ia: https...
#bash #mpd #programming #coding #music
https://ideatrash.net/2026/05/controlling-your-music-queue-more-flexibly-with-mpd.html
Alt...
Controlling Your Music Queue More Flexibly With MPD
Also da kannste nichts sagen. Habe 7 Anwendungen von einem #raspberrypi in #Container auf einen #proxmox Server in 1,5 Stunden mit #claudecode umgezogen und konnte nebenher andere Sachen machen. Da waren keine ganz einfachen Sachen dabei. Unter anderem #Grafana / #Prometheus #Datenbank etc.. Das war großes Tennis und eine echte Erleichterung.
This is how the Linux kernel mailing list looks like from a browser.
From a mobile browser it looks less polished.
It's a *mailing list* you should read it from a email client, not a memory hungry browser, but if you are in the links browser it will look fine. Links is light ;)
The message is important; if you keep up with kernel development on the Linux side section audio drivers, you may find it interesting
https://lkml.org/lkml/2026/5/18/133
#Programming #Linux #kernel #module #Audio #ALSA #c #C_Lang #development #coding
The recent re-release of our 1992 Amiga platform game Hoi was realized using a transpiler tool our coder Reinier developed to convert Amiga 68000 Assembly code to portable C code.
We've now also released the transpiler as open source. The original Hoi Amiga Assembly files are included to prove it's working.
We hope it will help other Amiga devs to revive their old games!
https://bitbucket.org/rhinoid/convert68000toc/src/main/
#TeamHoi #GameDev #gaming #RetroGaming #RetroComputing #commodore #amiga #FOSS #OpenSource #coding
the last weeks we saw more and more security issues coming up. Let's talk!
Sorry, a pretty long blog post about this...
https://gyptazy.com/blog/coding-after-ai-are-humans-still-good-enough/
#ai #aicoding #coding #opensource #foss #security #infosec #vulns #developer #devops #engineer #ops #fedi #philosophy
Alt...
Let's talk about AI slops - like this image!
🎉 Behold, the majestic spectacle of #AI "deliberately" helping you code better, because clearly, we've been #coding wrong this whole time. 🤖✨ Meanwhile, #GitHub morphs into an #amusement #park with its AI rides, promising a thrilling experience of "skill development" while you sit back and watch the robots do the work. 🛠️🤷♂️
https://github.com/DrCatHicks/learning-opportunities #Revolution #Skill #Development #Tech #Innovation #HackerNews #ngated
Für alle Kurzentschlossenen:
Der 12. Mai 1941 gilt als Geburtsstunde des ersten voll funktionsfähigen Computers Z3. An diesem Tag führte Konrad Zuse seinen Relaiscomputer Z3 einem Kreis von Wissenschaftlern vor. Zum 85. Jubiläum hält Horst Zuse einen Vortrag zur Entwicklung der Z3 und den Computerentwicklungen seines Vaters Konrad Zuse.
Die Teilnahme ist kostenlos, benötigt wird nur ein Eintrittsticket für das Museum.
#Computer #coding #Museum #technik
https://technikmuseum.berlin/veranstaltung/85-jahre-z3-von-konrad-zuse/#2026-05-12T16:00:00+02:00
"Without hyperscalers propping up OpenAI and Anthropic, there would be no reason to buy so many GPUs or build so many data centers, and neoclouds would have no reason to exist.
This is a giant con, a giant illusion, and a giant mistake."
- Ed Zitron
https://www.wheresyoured.at/premium-ais-circular-psychosis/
So... #AI is an impressive technology, especially for #coding, but it's being run like a giant con. What a shame.
If you’re implementing a timezone selector after handling all continents, oceans, and pseudo-macro regions… don’t forget Büsingen am Hochrhein 😄 https://en.wikipedia.org/wiki/B%C3%BCsingen_am_Hochrhein
A tiny German town of fewer than 1,500 people, completely surrounded by Switzerland.
Fun historical timezone trivia:
Büsingen is associated with Europe/Zurich instead of Europe/Berlin.
Why? In 1980, West Germany introduced DST, but Switzerland initially did not. For a few months:
Germany was UTC+2
Switzerland stayed UTC+1
and Büsingen followed Swiss time to avoid daily chaos with the surrounding area.
That historical difference is still reflected in the tz database today.
#coding 👨💻 #timezone 🌐 #freebsd #unix #time 🕜 #sysadmin 🖥️ #germany 🇩🇪 #Berlin #Switzerland 🇨🇭 #Zurich
Alt...
Screenshot of a text utility showing the timezone selection for Germany. The dialog offers two choices: “most of Germany” and “Büsingen”, the small German enclave inside Switzerland that uses the Europe/Zurich timezone.
Poll: say you have a table of data sorted in ascending order:
Alpha
Bravo
Charlie
… etc
Which icon should appear next to the heading to show that it has been sorted that way?
#UI #Interface #programming #webdev #dev #data #coding #frontend
| Downward pointing triangle like ▼: | 4 |
| Upward pointing triangle like ▲: | 1 |
| Some other thing: | 1 |
Heute mal wieder dependencies aktualisiert und dabei festgestellt: irgendwas bricht immer. 🫠
Aber hey – das ist auch der Moment wo man versteht, was der Code eigentlich tut. Unfreiwilliges Lernen ist auch Lernen.
Shoutout an alle die CHANGELOG.md wirklich pflegen. Ihr seid die wahren Helden. 🦸
"Train Fight" got some updates. New music (in Stereo!), new levels and controls. Check it out either on Scratch or Turbowarp if you want 60fps
https://scratch.mit.edu/projects/1285094904/
https://turbowarp.org/1285094904?fps=60
#gaming #game #scratch #indiedev #gamedev #indiegames #indiegamedev #ScratchGame #MadeWithScratch #Coding #LearnToCode
Alt...
A pixel art illustration of a train wagon with some keyboard short cuts printed. I'ts from a Scratch Game "Train Fight" by Bro8an
Do instructors just not teach the code-data duality anymore? Data is code is data is now a mystery?
#ComputerScience #tech #dev #coding #software #SoftwareDevelopment #literalism #LinkedIn
#EVi update! Please boost!
EVi, our anti-AI fork of VIm which was previously on my #Codeberg account, is now hosted over on our new org "evi-editor" at https://codeberg.org/evi-editor/evi. Please update your fork/clone remotes as soon as possible.
Thanks for your support!
#VIm #Vi #Tech #Technology #Coding #Programming #Linux #UNIX #NoAI #AntiAI #FuckAI
Vibe Coding Has a Security Problem, and Shipping Code You Do Not Understand Is Not a Strategy
AI-assisted coding is speeding up software development, but it is also making it easier to ship insecure defaults, weak access controls, poisoned dependencies, and code nobody on the team can confidently defend.
#vibecoding #programming #itsecurity #itsec #aicoding #aislop #coding #itsec #realworld #nosecurity #itsecurity #it
Weekend reading thoughts. Human brains, and the ease of deception when in a area outside our expertise. How many scientists are as easily fooled? As many as are not experts in trickery (even then..)
How many today buy into #AI magical thinking? As many who are not experts in coding AIs (even then..)
Same tricks, fake outs, waste of money, don't fall for it peeps, it's an AILlusion.
Props to @emilymbender for being a #houdini of #aitools btw 😄
#artificialintelligence #coding #magic #aislop
Alt...
cover of the book: 'A magician among the spirits' by Houdini, showing Houdini's face in black and white with a yellow border.
𝗪𝗵𝗮𝘁 𝗮𝗿𝗲 𝗙𝗢𝗦𝗦 𝗵𝗮𝗰𝗸𝗲𝗿𝘀?
Mass media often associates the term hacker with cybercrime. However, in the Free and Open Source Software communities, the term is always honorific and indicates volunteer programmers specialized in the correction and improvement of public codebases.
FOSS hackers thrive in community-driven projects like Linux, Apache, and Wikipedia, where they collaborate for the common good.
#software #foss #libre #freesoftware #opensource #coding #development #hacking #computing
New blog post: #FreeBSD 16 System Calls Table
https://alfonsosiciliano.gitlab.io/posts/2026-04-09-freebsd-16-system-calls.html
I wrote this mainly as personal notes to explore and kick off a new project, but it might be useful for others too.
#happycoding #UNIX #openSource #kernel #coding #syscalls #SystemCall
I’ve made this point before about how inane AI hype is now, but a computer beat the best chess player in the world in 1997. No one pretended, after 1997, it wasn’t worthwhile to have humans compete in chess. In fact, the world of chess developed strict protocols around computer use and you can get banned from tournaments if you use a computer program as you play. You are certainly shamed and mocked.#AI #GenAI #GenerativeAI #AIHype #LLMs #writing #tech #dev #coding #SoftwareDevelopment #SoftwareEngneering #softwareAI and writing needs to be treated the same way. I do think people should be shamed for using AI to help them write creatively. It’s an embarrassment, and a form of cheating.
For real, many people asked me for their smaller and mid-sized environments, how to handle remote syslog of their nodes. I had some ideas (some of you may have already found my Rust interpretation of this) but I think having this included in #PegaProx as a centralized management interface makes more sense.
So, PegaProx comes with an own syslog server (ipv4/ipv6, udp/tcp, encrypted/unencrypted support) and is wired to the interface within the resources tab. Providing a quick overview of all your logs and filter options. The next thing is wiring it to the notification system of PegaProx, allowing automated alerting. Might be nice to quickly identify when the quorum got lost - all built-in into PegaProx!
#easter #development #coding #python #opensource #foss #pve #proxmox #proxmoxve #virtualization #vmware #alternatives #free #logging #security #gyptazy #proxmoxdatacenter #homelab #enterprise
Alt...
A syslog integration (server & frontend audit) for PegaProx for Proxmox based clusters
«Ubuntu setzt auf ntpd-rs — Rust für präzise Zeitsynchronisierung:
Ubuntu plant, ntpd-rs als Standard für die Zeitsynchronisierung einzuführen. Die Rust-Implementierung soll chrony und weitere Tools ersetzen.»
Ich bin kein @ubuntu Fanboy aber ich mag @rust und deswegen sehe ich deren Einsatz sehr positiv.
#zeit #rust #ubuntu #linux #ntp #linuxptp #ntpd_rs #ntpd #rustlang #sudo #sudors #nts #ptp #rustcode #rustlang #standart #GPDP #gps #rustls #coding #code #time
In retrospect I might have written non-sense in place of nonsense.
If you're in tech the Han reference might be a bit out of your comfort zone, but Andrews is accessible and measured.
It's nonsense to say that coding will be replaced with "good judgment". There's a presupposition behind that, a worldview, that can't possibly fly. It's sometimes called the theory-free ideal: given enough data, we don't need theory to understand the world. It surfaces in AI/LLM/programming rhetoric in the form that we don't need to code anymore because LLM's can do most of it. Programming is a form of theory-building (and understanding), while LLMs are vast fuzzy data store and retrieval systems, so the theory-free ideal dictates the latter can/should replace the former. But it only takes a moment's reflection to see that nothing, let alone programming, can be theory-free; it's a kind of "view from nowhere" way of thinking, an attempt to resurrect Laplace's demon that ignores everything we've learned in the >200 years since Laplace forwarded that idea. In that respect it's a (neo)reactionary viewpoint, and it's maybe not a coincidence that people with neoreactionary politics tend to hold it. Anyone who needs a more formal argument can read Mel Andrews's The Immortal Science of ML: Machine Learning & the Theory-Free Ideal, or Byung-Chul Han's Psychopolitics (which argues, among other things, that this is a nihilistic).#AI #GenAI #GenerativeAI #LLM #coding #dev #tech #SoftwareDevelopment #programming #nihilism #LinkedIn
AI is intellectual Viagraand it hasn't left me so I am exorcising it here. I'm sorry in advance for any pain this might cause.
#AI #GenAI #GenerativeAI #LLMs #DiffusionModels #tech #dev #coding #software #SoftwareDevelopment #writing #art #VisualArt
https://fosstodon.org/users/scala_lang/statuses/115056704676502452
#dev #tech #coding #conference #scala #ScalaDays #CovidIsNotOver #CovidIsAirborne #LongCovid #MaskUp #accessibility
If you take the stance that writing is thinking--that writing is among other things a process by which we order our thoughts--then understanding code generator output will require substantial rewriting of the code by whomever is tasked with converting it from technical debt to technical asset.
#AI #GenAI #GenerativeAI #LLM #CodeAssistant #AgenticAI #tech #dev #coding #TechnicalDebt
Programming properly should be regarded as an activity by which the programmers form or achieve a certain kind of insight, a theory, of the matters at hand. This suggestion is in contrast to what appears to be a more common notion, that programming should be regarded as a production of a program and certain other texts.Peter Naur in Programming As Theory Building, 1985.
A computer program is not source code. It is the combination of source code, related documents, and the mental understanding developed by the people who work with the code and documents regularly. In other words a computer program is a relational structure that necessarily includes human beings.
The output of a generative AI model alone cannot be a computer program in this sense no matter how closely that output resembles the source code part of some future possible computer program. That the output could be developed into a computer program over time, given the appropriate resources to do so, does not make it equivalent to a computer program.
#AI #GenAI #GenerativeAI #LLM #Copilot #AgenticCoding #dev #tech #SoftwareDevelopment #SoftwareEngineering #programming #coding
scala metals might have stopped supporting Java 11 and somehow got updated without my knowledge (maybe? I'm guessing).P.S. This is not an invitation to post critiques about any of these technologies or recommendations about what I should be doing instead.
I don't want to use Copilot (1). It is bad and unethical technology. I don't want Copilot forced on me any more than I want other commercial products forced on me when I'm trying to do something else.
So I did what I usually do: make a uBlock Origin filter to hide the thing I don't want to see. Here's the filter to hide that Copilot box on Github:
github.com##.copilotPreview
They'll probably change the CSS and this rule will stop working, but for now it makes the offending box go away.
To use this, open the uBlock Origin settings in your web browser, choose My Filters, paste that string above in the box, and click Apply Changes. Refresh Github to verify it works.
#Microsoft #Github #Copilot #AI #GenAI #NoAI #SayNoToAAI #SoftwareDevelopment #coding #dev #tech
(1) I use code completion and other coding tools in IDEs, like many people who write software. Just not environment-destroying, copyright-infringing, Layoff as a Service aspiring anti-tech like Copilot
Access to GitHub Copilot is now included with your GitHub account
Your GitHub account now includes free use of GitHub Copilot in VS Code and on GitHub, powered by your choice of AI models from OpenAI and Anthropic. This is now part of your personal GitHub account, and accessible via VS Code and on GitHub.Absolutely not. I did not sign up for this and I do not want it. I'm putting this email in a Faraday bag and scouring my Github settings to make sure none of this is turned on anywhere.
#GitHub #CoPilot #Microsoft #LLM #AI #GenAI #coding #dev #software
#dev #tech #coding #SoftwareDevelopment #SoftwareEngineering #Programming #ComputerProgramming
Sorry, GenAI is NOT going to 10x computer programming
https://garymarcus.substack.com/p/sorry-genai-is-not-going-to-10x-computer
#GenerativeAI #LLM #coding #SoftwareDevelopment #SoftwareEngineering #10xEngineer #TechMyths
When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like append or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again.
I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young.
I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags:
#Coding #SoftwareDevelopment #ProgrammingLanguages #8086Assembly #BASIC #C #Pascal #perl #java #scala #LISP #Scheme #Prolog #Mathematica #ObjectiveC #matlab #octave #R #Python #Fortran #COBOL #Haskell #Clean #Flix #Curry #Factor #Unison #Joy #Idris #Agda #Lean #6502Assembly