438 karma · joined July 2, 2010
https://en.wikipedia.org/wiki/Java_version_history#Java_SE_8...
local mode = hs.screen.primaryScreen():currentMode()
local mods = {"ctrl", "alt", "cmd"} -- mash those keys
-- regular app windows
do
local w = 1094 -- no clip on GitHub, HN
local h = 1122 -- tallish
local x_1 = 0 -- left edge
local x_2 = math.max(0, (mode.w - w - w) / 2) -- left middle
local x_3 = (mode.w - w) / 2 -- middle
local x_4 = math.min(mode.w - w, x_2 + w + 1) -- right middle
local x_5 = mode.w - w -- right edge
local y = 23 -- top of screen below menu bar
hs.hotkey.bind(mods, "2", function() move_win( 0, y, mode.w, mode.h) end) -- max
hs.hotkey.bind(mods, "3", function() move_win(x_1, y, w, h) end)
hs.hotkey.bind(mods, "4", function() move_win(x_2, y, w, h) end)
hs.hotkey.bind(mods, "5", function() move_win(x_3, y, w, h) end)
hs.hotkey.bind(mods, "6", function() move_win(x_4, y, w, h) end)
hs.hotkey.bind(mods, "7", function() move_win(x_5, y, w, h) end)
end
function move_win(x, y, w, h)
hs.window.focusedWindow():setFrame(hs.geometry.rect(x, y, w, h))
end> [ all non-trivial semantic properties of programs are undecidable ]
https://en.wikipedia.org/wiki/Rice's_theorem
Found here:
From Sumatra to Panama, from Babylon to Valhalla
Aside, isn't embedding MAC addrs in ones IP address a bad idea?
U+14DA ᓚ CANADIAN SYLLABICS LA
U+160F ᘏ CANADIAN SYLLABICS CARRIER YO
U+15E2 ᗢ CANADIAN SYLLABICS CARRIER TTU
https://unicode.scarfboy.com/?s=%E1%93%9A%E1%98%8F%E1%97%A2https://en.wikipedia.org/wiki/James_Gosling#Career_and_contr...
The Objective-C runtime is very small: just enough to do late-bound fn calls to a tree of class defs. All on top of C.
If you just want an arena interface, ByteBuffer has been there since Java 1.4 (2002). It also does off-heap w/ ByteBuffer.allocateDirect().
https://docs.oracle.com/en/java/javase/25/docs/api/java.base...
https://docs.oracle.com/en/java/javase/25/docs/api/java.base...
My guess is the RPN nature would be a no-go for many people. Nevertheless: comments, dicts, arrays, good string syntax, numerics, binary data, etc. Maybe that makes it too complicated.
I'd also prefer DisplayPort to HDMI, but that might have been chosen for cost, or for the home gaming / nostalgia play.
https://c00kiemon5ter.github.io/code/philosophy/2011/10/30/T...
UTF-16 is annoying, but it's far from the biggest design failure in Unicode.
The gaps let you use the the function keys by feel rather than looking at them. They tend to be mapped in debuggers so hitting the wrong key is a big deal.
I actually don't mind the smaller arrow keys as again, they make it easier to drive by feel rather than by looking.