« earlier | later » Page 23 of 511
F-15C Flight Simulator Project edit / delete
... using the cockpit from a real F-15C -- the only privately-owned example. The challenge then is buying all the missing panels and controls!
by ats ... to aircraft electronics f15 game mechanica simulator video ... on 18 December 2017
Using a Raspberry Pi to emulate a SCSI device. Doing this for the X68000 pictured is pretty cool, but I'm imagining it as a Philips laserdisc emulator for a Domesday system...
by ats ... to electronics raspberry-pi retrocomputing scsi ... on 18 December 2017
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.)
by ats ... to functional haskell teaching ... on 10 December 2017
Carp | Veit's Blog edit / delete
Lisp with Rust's (overcomplicated) linear types.
by ats ... 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.
by ats ... 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!
by ats ... 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.
by ats ... 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.
by ats ... 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.
by ats ... 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?
by ats ... to editor retrocomputing scintilla software teco ... on 29 November 2017
« earlier | later » Page 23 of 511
| ats |
tasty by Adam Sampson.