230 results for tags
programming x
-
A Crash Course in Python for Scientists, by Rick Muller, Sandia National Laboratories
Fri Aug 23 13:33:17 2024 - permalink -- https://nbviewer.org/gist/anonymous/5920182
-
Practices for Software Projects | John Jacobsen
I discovered this blog via the link to http://johnj.com/posts/to-the-metal/ on https://planet.lisp.org/Tue Aug 20 14:36:47 2024 - permalink -
His static site generators https://github.com/eigenhombre/weeds and https://github.com/eigenhombre/organa look interesting too.- http://johnj.com/posts/practices/
-
How do I print colored text to the terminal?
Some ANSI escape sequences, this might help me write a program to clean up transcripts.Mon Aug 19 07:25:03 2024 - permalink -- https://stackoverflow.com/questions/287871/how-do-i-print-colored-text-to-the-terminal
-
Taste
An example from Peter Seibel's blog, see alsoTue Jun 11 10:31:36 2024 - permalink -
https://gigamonkeys.com/code-reading/
https://gigamonkeys.com/knuth-dijkstra/- https://gigamonkeys.com/taste/
-
Playing with Oberon in 2019
Blog, mostly about the Plan 9 operating system. Found https://seh.dev/p9sk1/ when searching for information about the dp9ik authentication protocol introduced by 9front.Thu May 23 13:50:16 2024 - permalink -
Other pages I found are
- https://echoline.org/webterm.pdf, explaining Webterm, an HTML5 remote desktop for use with Plan 9[1] which re-
imagines drawterm inside of a browser. The source code is available at https://github.com/echoline/webterm
- https://man.9front.org/6/authsrv- https://seh.dev/oberon/
-
The Go Programming Language
I have read quite a bit about Go, but apparently not saved any bookmarks.Fri Mar 1 11:57:14 2024 - permalink -
https://pkg.go.dev/math/big@go1.22.0#Int has functions useful for the 256-bit benchmark.
Includes an on-line "REPL".- https://go.dev/
-
Deriving Recursion from First Principles or Approaching the Y Combinator
I have found the website before and noted its λ favicon, but did not bookmark it.Sun Feb 11 01:33:55 2024 - permalink -- https://lambdaland.org/posts/2023-10-03_recursion_from_first_principles
-
Program Development by Stepwise Refinement, Niklaus Wirth
Reprinted from Communications of the ACM, Vol. 14, No. 4, April 1971, pp. 221-227. Copyright © 1971, Association for Computing Machinery, Inc.Tue Jan 23 16:45:57 2024 - permalink -
This is a digitized copy derived from an ACM copyrighted work. It is not guaranteed to be an accurate copy of the author's original work.
In fact, it contains a number of typographical errors which makes it hard to read.
Found on Jonathan Rees' blog https://odontomachus.wordpress.com/2011/03/07/are-you-confused-yet-about-the-word-representation/- http://sunnyday.mit.edu/16.355/wirth-refinement.html
-
Lunar Programming Language by David A. Moon
Lunar is my attempt to distill 40 years of programming language experience into the "best" language I can come up with. I hope that this will bring some forgotten ideas back into the spotlight of public attention.Thu Jan 11 20:56:26 2024 - permalink -- http://users.rcn.com/david-moon/Lunar/
-
Oberon Computing Systems
Wiki about the Oberon programming language and several variants of the Oberon operating system.Mon Dec 25 14:47:12 2023 - permalink -- https://en.m.wikibooks.org/wiki/Oberon
-
Abstract Heresies: GitHub Co-pilot Review
Review of GitHub Co-pilot, a code generator based on AI (presumably LLM).Mon Nov 27 12:33:33 2023 - permalink -- https://funcall.blogspot.com/2023/11/github-co-pilot-review.html
-
Andrey Listopadov's blog
Found via https://ochicken.net/projects/workspace/Sat Nov 25 00:22:58 2023 - permalink -
https://andreyor.st/posts/2022-02-22-new-look/ could be useful for my own blog, if I ever start it.- https://andreyor.st/posts/2020-04-29-text-editors/
-
SPARKNaCl - Two Years of Optimizing Crypto Code in SPARK (and counting)
Fri Sep 15 13:27:49 2023 - permalink -- https://blog.adacore.com/sparknacl-two-years-of-optimizing-crypto-code-in-spark-and-counting
-
Hacking the Linux Kernel in Ada – Part 1
First of a three-part series about programming Linux kernel modules in Ada.Fri Sep 15 13:27:02 2023 - permalink -
Found on https://www.linux.com/training-tutorials/five-best-open-source-calendar-servers-linux/- https://www.linux.com/audience/developers/hacking-the-linux-kernel-in-ada-part-1/
-
Writing | Glenn Vanderburg
Articles and papers, mostly about programming languages.Wed Jan 25 16:36:43 2023 - permalink -
Found via a link to https://vanderburg.org/old_pages/Tcl/war/ on Wikipedia https://en.wikipedia.org/wiki/Ousterhout%27s_dichotomy- https://vanderburg.org/writing/
-
bc/development.md at master - bc - Yzena Tech Gitea
Document explaining the development of a bc/dc clone. Might be a good example to follow, if I ever make a public project.Tue Jan 24 10:07:26 2023 - permalink -- https://git.yzena.com/gavin/bc/src/branch/master/manuals/development.md
-
retrowin32, a win32 emulator and other articles about programming
"It is now barely capable of executing a few unmodified Windows exe files in a browser (see the site for some links)."Mon Jan 9 07:36:47 2023 - permalink -
Contains links to information about various aspects of Windows and how emulators such as Wine are working.
See also n2: revisiting Ninja https://neugierig.org/software/blog/2022/03/n2.html and https://neugierig.org/software/blog/2020/05/ninja.html for articles about the Ninja build tool.- https://neugierig.org/software/blog/2022/10/retrowin32.html
-
Ted Unangst's blog
Interesting blog, found via the link to https://www.openbsd.org/papers/bsdcan-signify.html on https://blog.vyos.io/minisign-the-future-of-vyos-image-signature-verificationSun Oct 2 09:31:25 2022 - permalink -
Examples are
signify - sign and verify https://flak.tedunangst.com/post/signify
humungus a mercurial server/web interface written in Go, https://humungus.tedunangst.com/r/humungus and https://flak.tedunangst.com/post/humungus
X11 example programs such as timescroll - remap ctrl-scroll to undo and redo, https://humungus.tedunangst.com/r/xtoys- https://flak.tedunangst.com/
-
8th - One Effort, Multiple Platforms
Forth-like, cross-platform language with native code compiler. Runs onFri Aug 12 11:55:36 2022 - permalink -
- Microsoft Windows XP/7/8/10
- macOS 10.7 and later (only 64-bit; 32-bit is no longer supported)
- Linux - Ubuntu 14.04 and later, and derivatives or similar systems based on libc6
- Raspbian (Raspberry Pi version of Debian Linux; also works for similar SBC Linux systems)
- Android 4.4 (API level 19, ARM devices) and later
- iOS 9.0 and later
Found via https://pikchr.org/home/doc/trunk/homepage.md- https://8th-dev.com/compare.html