Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (No Skin)
  • No Skin
Collapse
Code Project
O

Oliver Gramberg

@Oliver Gramberg
About
Posts
1
Topics
0
Shares
0
Groups
0
Followers
0
Following
0

Posts

Recent Best Controversial

  • We should format code on demand
    O Oliver Gramberg

    Can we please have editors that prevent us from entering syntactically incorrect programs in the first place? Imagine the amount of time and mental energy freed up by that, now available to reason about the semantic correctness of our digital utterances instead. And why, in 2022, do we still stick to editors that display 1D text sequences (files) in a fixed-width grid on 2D displays in what amounts to something like 1.2 dimensions (look up "fractal dimensions") defined by the line breaks in the file? (Rhetorical question.) We probably won't get in our lifetimes a "PLEASE" command that reads our thoughts and writes our programs for us, and of course we don't want to have to program in machine language, so somewhere in between. If we could start all over, which abstraction level should our programming languages live on, and what would be the best representation for them? Meaning: understanding and reasoning about them? Can we, should we think even bigger? How would a complete programming system look like that takes advantage of the computing power available in modern machines and adapts a lot more to the way we humans think and work, not just to the bare minimum required to transmit code to the compiler?

    The Insider News question
  • Login

  • Don't have an account? Register

  • Login or register to search.
  • First post
    Last post
0
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups