vascorsd, to programming
@vascorsd@mastodon.social avatar
gregorni, to programming
@gregorni@fosstodon.org avatar

When a programming language's website says it's a "general-purpose language", I already kind of want to not use it, because it probably won't offer anything that I can't get in another language.

I'd like to see a world where every language serves exactly one area of programming, and is highly specialized for that area.

#programming #programmingLanguages

mspstrath, to ProgrammingLanguages
@mspstrath@mastodon.acm.org avatar

We are pleased to officially announce that we are organising the Scottish Programming Languages and Verification Summer School 2024!

Registration will be open later this month!

We are kindly supported by SICSA and Bronze Level supporter: Well-Typed!

#ProgrammingLanguages #SummerSchool #Verification

For more details, and to see what we have in store, visit:

https://scottish-pl-institute.github.io/splv/2024-strathclyde/

(1/n)

mspstrath, to ProgrammingLanguages
@mspstrath@mastodon.acm.org avatar

Call For Sponsorship: #SPLV 2024

We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School!

Industry support is welcomed. Please see below for how your company can help us.

https://scottish-pl-institute.github.io/splv/2024-strathclyde/call-for/sponsorship/

General registration will be opening soon!

remixtures, to ProgrammingLanguages Portuguese
@remixtures@tldr.nettime.org avatar

: "Sixty years ago, on May 1, 1964, at 4 am in the morning, a quiet revolution in computing began at Dartmouth College. That's when mathematicians John G. Kemeny and Thomas E. Kurtz successfully ran the first program written in their newly developed BASIC (Beginner's All-Purpose Symbolic Instruction Code) programming language on the college's General Electric GE-225 mainframe.

Little did they know that their creation would go on to democratize computing and inspire generations of programmers over the next six decades."

https://arstechnica.com/gadgets/2024/05/the-basic-programming-language-turns-60/?utm_brand=ars&utm_source=twitter&utm_social-type=owned&utm_medium=social

vascorsd, to programming
@vascorsd@mastodon.social avatar

Borgo Programming Language
https://borgo-lang.github.io/

Borgo is a new programming language that compiles to Go.

#programming #programminglanguages #golang #borgolang

abucci, to ProgrammingLanguages
@abucci@buc.ci avatar

A weird thing about being 50 is that there are programming languages that I've used regularly for longer than some of the software developers I work with have been alive. I first wrote BASIC code in the 1980s. The first time I wrote an expression evaluator--a fairly standard programming puzzle or homework--was in 1990. I wrote it in Pascal for an undergraduate homework assignment. I first wrote perl in the early 1990s, when it was still perl 4.036 (5.38.2 now). I first wrote java in 1995-ish, when it was still java 1.0 (1.21 now). I first wrote scala, which I still use for most things today, in 2013-ish, when it was still scala 2.8 (3.4.0 now). At various times I've been "fluent" in 8086 assembly, BASIC, C, Pascal, perl, python, java, scala; and passable in LISP/Scheme, Prolog, old school Mathematica, (early days) Objective C, matlab/octave, and R. I've written a few lines of Fortran and more than a few lines of COBOL that I ran in a production system once. I could probably write a bit of Haskell if pressed but for some reason I really dislike its syntax so I've never been enthusiastic about learning it well. I've experimented with Clean, Flix, Curry, Unison, Factor, and Joy and learned bits and pieces of each of those. I'm trying to decide whether I should try learning Idris, Agda, and/or Lean. I'm pretty sure I'm forgetting a few languages. Bit of 6502 assembly long ago. Bit of Unix/Linux shell scripting languages (old enough to have lived and breathed tcsh before switching to bash; I use fish now mostly).

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:

#C #R

vascorsd, to programming
@vascorsd@mastodon.social avatar

CakeML - A verified implementation of ML - https://cakeml.org/

CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself.

#programming #programmingLanguages #ml #plt

vascorsd, to programming
@vascorsd@mastodon.social avatar

Been having fun with #gleamlang , made more than a hundred lines of code with it. It's really refreshing having a language that compiles fast and takes barely any memory and cpu to run.

Not having to care about the build tool too much, hundreds of compiler flags, language versions, compiler plugins, formatting plugins, or any of the usual things that fill the brain I'm used to in #scala is a huge breath of fresh air.

Not having to care about the JVM is amazing.

#gleam #ProgrammingLanguages

gregorni, to programming
@gregorni@fosstodon.org avatar

Somehow, I constantly experience a weird inner urge to learn OCaml 🐪 🤔

angelmunoz, to programming
@angelmunoz@misskey.cloud avatar

For real, whoever is saying that F# or OCaml require a PhD in Math or are languages just for math, science, and academic stuff is completely lying to you, it is no harder than learning JavaScript/python or any other language out there.

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

The NSA list of memory-safe programming languages has been updated - The US government says it would be better for them if you ceased using C or C++ wh... - https://readwrite.com/the-nsa-list-of-memory-safe-programming-languages-has-been-updated/ #nsarecommendsprogrammingtools #programminglanguages #memory-safety #whitehouse #readwrite #cisa #nsa

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

What is JavaScript? The full-stack programming language - JavaScript is a wildly popular interpreted scripting language that was the most in-dem... - https://www.infoworld.com/article/3441178/what-is-javascript-the-full-stack-programming-language.html#tk.rss_all #programminglanguages #softwaredevelopment #javascript

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

OpenJDK proposal would streamline Java records creation - Java developers would gain an easier way to create records, and more streamlined code ... - https://www.infoworld.com/article/3713268/openjdk-proposal-would-streamline-java-records-creation.html#tk.rss_all #programminglanguages #softwaredevelopment #java

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

The White House Memory Safety Appeal is a Security Red Herring - In the Holy Programming Language Wars, the lingua franca of system programming – a... - https://hackaday.com/2024/02/29/the-white-house-memory-safety-appeal-is-a-security-red-herring/

itnewsbot, to ArtificialIntelligence
@itnewsbot@schleuss.online avatar

ServiceNow, Hugging Face, and Nvidia expand StarCoder2 coding LLM - ServiceNow, Hugging Face, and Nvidia have released StarCoder2, the next generation of ... - https://www.infoworld.com/article/3713305/servicenow-hugging-face-and-nvidia-expand-starcoder2-coding-llm.html#tk.rss_all #artificialintelligence #programminglanguages #developmenttools #generativeai

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

10 tips for speeding up Python programs - By and large, people use Python because it’s convenient and programmer-friendly, not b... - https://www.infoworld.com/article/3044088/11-tips-for-speeding-up-python-programs.html#tk.rss_all #programminglanguages #softwaredevelopment #python

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

White House urges developers to dump C and C++ - US President Joe Biden’s administration wants software developers to use memory-safe p... - https://www.infoworld.com/article/3713203/white-house-urges-developers-to-dump-c-and-c.html#tk.rss_all #programminglanguages #applicationsecurity #clanguage

abnv, to FunctionalProgramming
@abnv@fantastic.earth avatar

I learned #FunctionalProgramming to escape the imperative programming languages, which in turn got me interested into #Compilers and #ProgrammingLanguages. Turns out, most of the real-world compilers are written in C and C++, so here I am back at square one.

After years of avoiding it for decades, I taught myself #Cpp in the last couple of weeks. So anyway, does anyone want me to write a series of #blog posts about making a #Lisp interpreter (https://github.com/kanaka/mal) in C++?

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

TypeScript soothes type narrowing pain point - TypeScript 5.4, a planned update to the strongly typed JavaScript variant from Microso... - https://www.infoworld.com/article/3713303/typescript-soothes-type-narrowing-pain-point.html#tk.rss_all #programminglanguages #softwaredevelopment #typescript #javascript

vascorsd, to ML
@vascorsd@mastodon.social avatar
NullTheFool, to gamedev
@NullTheFool@mastodon.gamedev.place avatar

I've been learning Lua this week for no reason (LÖVE), and I don't know why devs joke about "arrays starting at 1" when this shit is more hilarious IMO

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

Rust developers concerned about complexity, low usage - While the use of Rust language by professional programmers continues to grow, Rust use... - https://www.infoworld.com/article/3713264/rust-developers-concerned-about-complexity-low-usage.html#tk.rss_all #programminglanguages #softwaredevelopment #rust

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

Rust users concerned about complexity, low usage - While the use of Rust language by professional programmers continues to grow, Rust use... - https://www.infoworld.com/article/3713260/rust-users-concerned-about-complexity-low-usage.html#tk.rss_all

itnewsbot, to ProgrammingLanguages
@itnewsbot@schleuss.online avatar

Java virtual threads hit with pinning issue - Java’s virtual threads, introduced in JDK 21 in September 2023 to make it easier to wr... - https://www.infoworld.com/article/3713220/java-virtual-threads-hit-with-pinning-issue.html#tk.rss_all #programminglanguages #softwaredevelopment #java

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines