Found 38 matching messages (0.027 seconds). Page 1 of 2.
... tool among OpenBSD developers?
On 3/26/07, Gregg Reynolds
openbsd-misc - Gregg Reynolds - Mar 26 2007 - 15:16
... en.wikipedia.org/wiki/Comparison_of_documentation_generators. I'm interested because I think OpenBSD is a terrific development platform, number one, and number two, I'd like to follow the code development practices of OpenBSD. Thanks, Gregg
openbsd-misc - Gregg Reynolds - Mar 26 2007 - 14:27
... : > > lint(1), gcc-local(1) > > style(7) may be worth reading... > Thank you; I didn't know about those man pages; I'll have to dig around and find what other similar pages are there. OpenBSD's documentation is pretty amazing. -gregg
openbsd-misc - Gregg Reynolds - Mar 26 2007 - 21:27
... / is invaluable too. I see GNU Global does something similar: http://www.tamacom.com/tour.html. Ever looked at it? BTW I plan to write up a paper or guide on tools and resources for development on OpenBSD with this info. Thanks, -gregg
openbsd-misc - Gregg Reynolds - Mar 26 2007 - 23:00
... create a fund for defending the license. (And I'm not even religious about this stuff - it just really irks may that these people pontificating about freedom are willing to behave so selfishly and disingenuously. And illegally.) -gregg
openbsd-misc - Gregg Reynolds - Sep 1 2007 - 15:02
... , "I don't see anything in there that says I can't do X" is almost certain to be wrong. IANAL, though. Talk to one of them if you really have a burning desire to understand all this. Even then, only the courts can settle the matter. -Gregg
openbsd-misc - Gregg Reynolds - Sep 1 2007 - 17:47
... . A good resource for this sort of thing is arabeyes.org. Their focus is Arabic but they try to accomodate any r-t-l language, including Hebrew (in general, if it supports Arabic, it supports Hebrew). They also stick to technology. -gregg
openbsd-misc - Gregg Reynolds - Sep 24 2007 - 14:58
... clarity that allowed me to think about the problems far more rigorously and with far more nuance than would otherwise have been possible. Recently I discovered the W3C tried to use Z to specify one of their languages, but I forget which. -Gregg
openbsd-misc - Gregg Reynolds - Nov 21 2007 - 11:16
... language is C, then the code will be beyond formal analysis; you'd have to use an implementation language that supports formal reasoning, like haskell. Not to mention, you'd have to prove that your compiler works correctly. -gregg
openbsd-misc - Gregg Reynolds - Nov 21 2007 - 13:25
... , why is he doing this, really? All the pronouncements about freedom, and the Important Life Lessons about how mentioning a thing is tantamount to endorsing it - it just doesn't add up, it's too silly. I wonder what the real agenda is. -gregg
openbsd-misc - Gregg Reynolds - Dec 13 2007 - 17:57
... to judge. I'd be very interested in what experienced OBSD developers make of it. I've always kinda wished they would put together a guide to secure/quality coding (yes, I'm lazy); maybe the CERT stuff is close enough? Thanks, gregg
openbsd-misc - Gregg Reynolds - Dec 18 2007 - 08:36
... non-free software" to OpenBSD but not to FSF (emacs, etc.). You've been asked repeatedly to address the apparent inconsistencies but I haven't noticed any candid response from you. Maybe you can clarify that logic for us? Thank you, gregg
openbsd-misc - Gregg Reynolds - Jan 4 2008 - 04:02
... when they object to your characterization of their work as "non-free". Such a slanderous characterization is a far cry from merely declining to endorse. Old joke: "Doctor, nobody likes me! You gotta help me, you big fat slob!" -gregg
openbsd-misc - Gregg Reynolds - Jan 7 2008 - 15:46
... one book: http://www.amazon.com/Incompleteness-Proof-Paradox-Godel-Discoveries/dp/0393327604/ref=sr_1_2?ie=UTF8&s=books&qid=1199761634&sr=1-2 Considering the pedigree of the author, you'd expect a good read, but it's bad writing. -gregg
openbsd-misc - Gregg Reynolds - Jan 8 2008 - 12:21
... Start with FRBR: http://www.ifla.org/VII/s13/frbr/frbr.htm Library of Congress stuff: http://www.loc.gov/standards/ (see MODS, MADS, METS, PREMIS) http://www.openarchives.org/ http://www.dspace.org/ http://www.fedora.info/ etc. -gregg
openbsd-misc - Gregg Reynolds - Feb 13 2008 - 13:02
... multi-threading, but to do it right. That might involve designing new languages or any number of other things, but "we're not going to do multi-threading because it's risky" is the fast road to obsolescence and irrelevance. my .02 -gregg
openbsd-misc - Gregg Reynolds - Feb 17 2008 - 20:36
On 3/26/07, Nick !
openbsd-misc - Gregg Reynolds - Mar 26 2007 - 21:21
On 9/2/07, Dave Anderson
openbsd-misc - Gregg Reynolds - Sep 2 2007 - 13:03
http://marc.info/?l=linux-wireless&m=118857712529898&w=2
openbsd-misc - Gregg Reynolds - Sep 3 2007 - 04:18
On 9/29/07, Otto Moerbeek
openbsd-misc - Gregg Reynolds - Sep 29 2007 - 11:11