"Stop Making Students Use Eclipse", because I think that #ComputerScience education sucks and we should do better.

nora.codes/post/stop-making-st

@sigrid @grainloom wow! dependently-typed functional programming on #plan9! the future is now~~~

@grainloom
github.com/ftrvxmtrx/idris2/

I ported it, we had to fix some kencc issue to be able to compile this huge ~33M C vm. You can find 386 and amd64 builds and instructions on how to finish up the installation in the "releases" section. The code target is still just chez scheme and idk if there is an existing port of that, but mycroftiv is playing with it and seems to be happy so far :)
There is some work to do still.

You people say it is hard to quit VIM?

Quit Zoom on Linux, then!

This electron app downloads its own copy of 7zip for build. Wtf?

me: cd ~/devel/hs/ghc; nix-shell
nix: starts downloading and building texlive packages
me: WTF NIX STOP YOU'RE DRUNK

do you like and want to participate in the SDF plan9 ?? let us know. There are plenty of slots open and a is waiting for you

is there any simple version of language, I feel like it's ++ alternative instead of . why not just Rust with `defer` statement -yes manual mem management- instead of it's complex mem management.

Hey #plan9 people, I notice that what Unix called connect(), Plan9 calls dial(): 9fans.github.io/plan9port/man/

Any idea why the function was renamed relative to Unix?

Manpage has nothing on this. The source (src/lib9/dial.c) too. VCS repo (github.com/0intro/plan9) has dial() in the very first commit, dated December 2002.

Asking because I saw a call to net.Dial in some Go program, and wondered about the rename. I assume #Golang inherited that from Plan9.

#Poll - What is your favourite #IRC network?

poll.disroot.org/JXLs6fzbtVJmo

If I have missed one, let me know. Please #boost

project #idea: a #Forth-like language compiled to JVM bytecode

JVM itself is a stack machine, so... :blobfoxsmirk:

.
| ̄ ̄ ̄ ̄ ̄ ̄ ̄|
| MASTODON! |
|_______|
______/ \-. ||
.-/ ( o\_//
| ___ \_/\---'
|_|| |_||

"The asteroid to kill this dinosaur is still in orbit"

doing #C with #plan9ports is waaaaaaaaay better than doing it with the #posix libc stuff

Also!!! 9c and 9l take care of dependency resolution!!!

Show more
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko