« earlier | later » Page 23 of 511
profsjt: Is Haskell the right language for teaching functional programming principles? edit / delete
There's some good discussion in the comments here too. (I'm a graduate of SJT's Haskell course at Kent, and really liked the pure language... but there was a big step up from there to being able to use it for real-world programming.)
to functional haskell teaching ... on 10 December 2017
Carp | Veit's Blog edit / delete
Lisp with Rust's (overcomplicated) linear types.
to language-design lisp rust type-systems ... on 10 December 2017
Finding bugs in Haskell code by proving it – Blog – Joachim Breitner's Homepage edit / delete
A worked example of using hs-to-coq.
to coq correctness formal-verification functional haskell ... on 10 December 2017
uBITX -A compact HF transceiver edit / delete
Applying the BITX philosophy (good performance out of absurdly cheap parts) to a multiband SSB radio. The trick here is using an Si oscillator chip that can provide three separate outputs -- so you can do things like switching sidebands by tweaking one oscillator either side of the final filter frequency. Very neat!
to arduino bitx electronics ham radio receiver ssb ... on 10 December 2017
spigot: a command-line exact real calculator edit / delete
A calculator which "does not output any digit of the answer until it's sure that the digit is right, and it will keep generating digits until you tell it to stop." Which means it's great if you're after pi, but struggles with numbers like 0.
to amusements calculator maths software ... on 10 December 2017
CMake - Crypto++ Wiki edit / delete
Why Crypto++ stopped using CMake. This matches my experience with building CMake projects in GARStow -- I get around most of the problems through the compiler wrapper which can override flags, but that's obviously not a solution for an upstream project.
to build-systems cmake software ... on 10 December 2017
The Tribes 2 Annoying Bastard Guide edit / delete
"Whenever a defender says "There he is AGAIN! Didn't we shoot that guy? Why isn't he dead?", that's a member of Team Annoying Bastard he's talking about." A classic from 2001.
to amusements games tribes ... on 02 December 2017
rhaberkorn/sciteco: Advanced TECO dialect and interactive screen editor based on Scintilla edit / delete
Why on ear--- I mean, who wou-- just, WHY, OK?
to editor retrocomputing scintilla software teco ... on 29 November 2017
Imperial College London media library : APL demonstration 1975 edit / delete
Bob Spence demonstrates APL (basic operators, operator composition, function definition) in 1975. While I'm not sure I'd want to give a lecture using a teletype, the ability to scribble on the output with a biro is definitely useful!
to apl retrocomputing teaching ... on 15 November 2017
« earlier | later » Page 23 of 511
tasty by Adam Sampson.