Skip to content
Hallway
0:00 / 0:00

#glamoroustoolkit#leibniz#pharo

HGGW #18: Using Glamorous Toolkit for Scientific Notation - Konrad Hinsen & Tudor Girba

Glamorous Toolkit

1.3K subscribers • 1 video on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Konrad Hinsen and Tudor Girba
  • Linked in the descriptionkhinsen/leibniz
  • Made by the vendor. The company whose product it covers made or sponsored it.

Intermediate. Assumes working knowledge.

623 views4 years ago2 recommendations

Programming languagesTools and practiceLanguage design and type systemsDebuggingOpen source

Konrad Hinsen demonstrates Leibniz, a digital scientific notation system built on top of the Glamorous Toolkit development environment.

This session of Hitchhiker's Guide to the Glamorous World has Konrad Hinsen giving a tour of Leibniz, a Digital Scientific Notation built on top of Glamorous Toolkit. Leibniz interface is a combination of a model, a set of annotations that transform knowledge management pages into scientific notations, and several inspector extensions. The tour shows not only how the environment can be used for expressing scientific notations, but also how one can debug a notation and how one can investigate the engine itself. More details about the Leibniz digital scientific notation at: github.com/khinsen/leibniz Interested to learn more? Join our community: Discord: discord.gg/FTJr9gP Glamorous Toolkit: gtoolkit.com Moldable Development: moldabledevelopment.com Twitter: twitter.com/feenkcom

Why it's here

2 people recommend this

What people say. Recommended as an example of using Glamorous Toolkit and Pharo to build human-readable, executable scientific notations.

u/snow_eyesin r/ProgrammingLanguages • Recommends

On “How does Type Inference in Julia compare to Rust's?”

…omething here, he talks a lot about scientific software is being laid on top of each other and how that obscures it and prevents scrutiny. He's working a long game of coming up with human and software systems that make scientific discourse cleaner. Here is him working on making algorithms and mathematical procedures independent digital entities: [video He's using a website called glamorous toolkit (that uses Pharo, a OOP smalltalk inspired language) to build his digital scientific notation. I don't get some of the math stuff. Regardless, I think his goals are worthy for all the scientific computing community to ponder.…
1View on Reddit

u/markkittin r/ProgrammingLanguages • Recommends

On “How does Type Inference in Julia compare to Rust's?”

I watched the video and decided to implement Heron's algorithm for computing square roots. ```julia """ Implement Heron's algorithm for computing square roots Inspired by Konrad Hinsen's discussion of the algorith in this video link to this video """ module Heron import Base: +, ^, -, *, /, //, promote_rule export ℜ, ℜ_nn, heron # Alias Real as ℜ const ℜ = Real # Non-negative real type boxes a real struct ℜ_nn{R} <: ℜ x::R # Check non-negativity on construction ℜ_nn(x::R) where R <: ℜ = x >= 0 ? new{R}(x) : throw(ArgumentError("x must be nonnegative")) end # Type conversion # Converting a ℜ_nn to ℜ_n…
1View on Reddit