Unikernel and GNU/Forth Show more
I sometimes get the question whether #Forth is still used for commercial projects.
Leon Wagner from Forth Inc. presented some recent commercial projects using Forth
"Leon Wagner — There's Forth in That"
This is why I love #Forth: it is possible to extend Forth in any direction, taking ideas from other languages
Ulrich Hoffmann and Andrew Read invented "descriptor based strings", based on ideas from Golang slices:
The internet has become too controlled by a single entity (ICANN), threatening our ability to truly control our content online.
OpenNIC wants to make user-controlled Top-Level Domains, and a more democratic DNS system overall. Learn more about our project at https://www.opennic.org/ 😁
licenses Show more
I honestly don't understand why, if ever, businesses prefer to release software under permissive licenses:
- In this case their competitors may just take it, build something on top of it, and sell it, yet never give anything back to the project. So what was the reason to release it for the company? (Remember, businesses are always selfish.)
- While, if this is some kind of #copyleft, their competitors may use the software, and adapt it for their needs, but not sell it as a binary blob.
Got inspired to implement colorForth’s “coroutine jump” - https://colorforth.github.io/inst.htm - and then implemented a lightweight generator / iterator protocol. I called it yield rather than “ex”. It’s literally just : yield rswap ; which is fucking madness and will break terribly if you put anything on the return stack but it appears to basically work?
This is an *equifaced* (or *isohedral*) polyhedron of 24 congruent faces, which are *irreg. concave pentagons*
Face vector: [V=38, F=24, E= 60]
Symmetry is *O* (*Octahedral chiral*)
faces= 1 type (solid angle subtended at center = 30 deg)
edges= 3 types (two= 6.8, two= 11.6, one= 14.4)
vertices= 3 types (6-v4; 8-v3; 24-v3)
So I wrote a Forth explainer if any of y'all were interested in that https://blog.information-superhighway.net/what-the-hell-is-forth
I also, uh, started a blog I guess?
You can follow it at @jeremy if you want.
People complain about how Forth or C implements libraries, but you know what? I *never* have problems with dealing with (source) libraries in C or #Forth.
EDA toolchain in one screen of #Forth by Chuck Moore http://www.0xff.in/bin/A_Language_for_Digital_Design.pdf [PDF]
ARM Cortex-M0 SOC with #Forth preinstalled
>>Go Wireless with the new JeeNode Zero - an ARM M0⁺ based board with fully integrated radio opens up great new projects.
These compact units have Mecrisp Forth and radio module drivers
pre-installed - just connect up and right away you get a prompt
for typing commands; no compiler tool chain to install and
Untyped programs don't exist: https://www.williamjbowman.com/blog/2018/01/19/untyped-programs-don-t-exist/
Demonstrates a simple theorem, but has a nuanced notion of types as invariants. It discusses the important questions of when we should check types, allowing escape hatches, and whether type checking should be decidable.
Ambient backscatter modulates the antenna impedance and is not itself an emitter. It just reflects and absorbs ambient rf. (thus, unregulated by FCC). This spread spectrum ambient backscatter radio worked at a distance of 2.8km: