Without subscribers, LWN would simply not exist. Please consider signing up for a subscription and helping to keep LWN publishing... (more…)

When I first learned about the Julia programming language, there were a few things that gave me the "wat" moments. One of those surprises involves both the naming and meaning of functions. (more…)

scratch: experimental type checker for Julia, no need for additional type annotations - aviatesk/JET.jl... (more…)

[00.55] Julia Westfall Background and The idea to build Hera Hub [06.20] The Hera Hub Incubator [07.39] The Typical Demographic Hera Hub Member [08.50] The Woman Entrepreneurship Landscape in the United States [12.00] The Hera Hub Licensing Model [13.25] ... (more…)

Applied Category Theory is a new paradigm of applied mathematics that incorporates the advances in type theory to analyze scientific and engineering systems.... (more…)