logs archiveBotHelp.net / Freenode / #ada / 2015 / July / 23 / 2
jk4
how's it?
Visaoni
I honestly didn't use it long enough to say. it's interesting, although I think I made a few tweaks to it
jk4
my short bit of research revealed that it only improves on dvorak's efficiency by a little
Visaoni
you can take a look at Carpalx, if you haven't seen it already. it's sort of an automated attempt to measure some things about keyboard layouts
jk4
though the colemak people make some good arguments against dvorak
but to my mind it seemed better to accept dvorak which is nearly universal
Visaoni
yes, that seems about what I've heard too. I've used Dvorak even less than Colemak though so I figured I mgiht as well go for it
jk4
Visaoni: that was a place that was referenced i believe
Visaoni
yeah, if you want support Dvorak is a better bet
jk4
i spent a little time with dvorak but it was in the midst of having some big things needing to get done quickly
i noticed that the colemak people offer an easy transition
by changing keys in stages
Visaoni
but if you're switching keyboard layouts anyway, I don't know how much it matters
oh, I didn't see that. that sounds... interesting
jk4
only 17 keys vs. 30+ for dvorak
Visaoni
(or really I just forgot)
jk4
i like the idea of switching keys around, but my pesky laptop keyboard keys don't necesary swap..
as ridiculous as that sounds
i have no idea what lenovo were thinking
Visaoni
this is based more on a friend's experience, but I'm not sure that's actually good (sharing keys). I think it might be better to have two distinct modes
once he got over the phase where he forgot how to use QWERTY, he can switch between the two fairly easily
although now that I think about it, I'm not sure which non-QWERTY he learned
jk4
ha!
so t61p has fu*ked up stuff under the keys
but the w500 does not
so it is possible for me to switch the keys
(Action) plots
i don't have any significant writing to do this weekend
but maybe i'll type up my homework for funsies
type up that database example
Visaoni
I wonder how much trouble switching keys on a (linux'd) chromebook will hurt
(Action) doesn't look forward to it
jk4
i have no thoughts
ever
Visaoni
well if you do decide to give it a go, let me know how it goes :)
jk4
i've always been non-qwerty curious
right now i have other things to do including make dinner
which consists of pigs in a blanket, if i can stomach it
i've yet to find a hot dog i can stand as an adult
though i have two candidates tonight
boar's head beef frankfurters and applegate farms uncured turkey dog
in case you were wondering :)
you weren't heh
Visaoni
ah, it was Colemak he learned
ha
jk4
444444444444444444444444444444444444444444444444444444444444
erp
Shark8
Draft of DIANA Ref #4 -- http://www.dtic.mil/dtic/tr/fulltext/u2/a272792.pdf
Which is an instance of IDL -- https://en.wikipedia.org/wiki/IDL_specification_language
And, given the SQL discussion earlier, kinda makes me wish we had a modern [and Ada-based] IDL compiler (targeting both Ada and SQL.).
...
And that is how to kill a conversation.
AayJay
I use Colemak almost exclusively for English typing. I love that it doesn't move QWAZXCVB, and hence common keyboard shortcuts. If you can afford the initial slow down of typing speed, you should definitely give it a try.
sukaeto
darkestkhan, Shark8: dependent types allow stronger *static* guarantees
for example, Ada arrays are kind of very basic, informal dependent types
the bounds are built in to the type
so if, for example, if you had an array with size T'Range, where T is some discrete type
and a function that took a T as an argument and accessed such an array
you could elide the bounds check for the array, because you know at compile time that an oob access is impossible
(I don't think GNAT does this, but it could)
Shark8
sukaeto: Ah, nice.
jk4
AayJay: you still use those keyboard shortcuts?! where's your emacs boy?!
AayJay
never used emacs, I'm a vim guy :)
jk4
either way those keystrokes are for plebians!
Shark8
Vim...
Horrible. Just horrible.
Next thing you'l be telling us about the glories of edlin.
https://en.wikipedia.org/wiki/Edlin
(Action) is not a fan of vim, or *nix, or XML, or C, or C++, or Java.
AayJay
me neither, but vim provides the fastest way to traverse and edit a file
jk4
them's flamewar words
vi is nearly universal. not quite as universal as ed, but close
that's the most objective thing that can be said i think
Shark8
lol
sparre
sukaeto: GNAT does optimise some explicit range checks away.
OCTAGRAM
(Action) has got OpenDoc 1.2.4 for Windows, will test ComponentGlue technology sooner or later
darkestkhan
sukaeto: gnat wanrs about it; the reason why it compiles is that such program is still legal and legal program shall compile
(Action) has connection problem starting from yesterday... there is possibility that main antenna is overheating
charlie5
\o
almost averaging arond 80 ppls here lately :)
(Action) switches from ada mode to OS packaging mode
archlinux & freebsd, for starters
(Action) quakes
(Action) drops a pin
hmm, gtkada gpl15 builds/runs on archlinux after disabling opengl and adding seemingly missing link to libgnat.so.5.2
which is a start at least :)
still no sign of public vcs tho
(bar ancient svn)
sparre
charlie5: If you read the ACT GtkAda mailing-list, you'll see Emmanuel's reports on how far he is on that subject.
charlie5
ah, ok ... thanks
sparre
I wouldn't be surprised (nor complain) if some of you GtkAda packagers forked GtkAda based on the most recent public release.
charlie5
last msg in archives says "I will manually put a tarball snapshot on the libre site to unblock you) in response to marino_s request
s/)/"
gnatcoll.projects doesn't build :(
sparre
It looks like there is some internal opposition to public VCS repositories in ACT.
charlie5
:(
go go gadget gps build !
Shark8
charlie5: If only.
« prev 1 2 next »