codemac

19 ms·

661.
by codemac 10y ago
Found a much better link :) http://research.microsoft.com/en-us/um/people/lamport/tla/fo...
662.
by codemac 10y ago
Has anyone successfully brought formal methods to an area of code that is newly being developed? I have successfully convinced management to allow me to use formal methods on portions of very old code (~17 years old at the time) that are
663.
by codemac 10y ago
The most interesting spreadsheet is http://siag.nu/siag/ , but it's obviously not what you're looking for. Honestly? Excel is a premier application, that microsoft spends extreme amounts of effort making great
664.
by codemac 10y ago
They service those companies as well. Most of the fortune 500 don't buy one server or one storage system. They buy many of everything, and reward the best vendors with larger portions of their data centers, not exclusivity.
665.
by codemac 10y ago
I do too - however, I've found unless you have editor support it's kind of a bear to edit by hand. Markdown however isn't too hard with any crappy notepad. Things like drawers, tables, #+TBLFMT: etc are pretty rough.
666.
by codemac 10y ago
If you dig the lisp lifestyle, check out SRE/rx/irregex. It is magical. http://www.ccs.neu.edu/home/shivers/papers/sre.txt https://github.com/ashinn/irregex https://
667.
by codemac 10y ago
Your last two points are huge.
668.
by codemac 10y ago
I did not edit that part IIRC, I try not to edit anything substantially that I post online. As far as NetApp v. Sun, it was very unfortunate. I could rant for days about how crappy the business reasons were for NetApp going after Sun (zomg
669.
by codemac 10y ago
The bundling of all your software's dependencies into your container means that you can't upgrade 1 .so on a machine, and all software be updated. Great example recently was libgcypt's security bugs. You have to upgrade all c
670.
by codemac 10y ago
> Two copies would not help to determine which bit is the correct one, you would need three. Once you have these, I guess you would be able to detect corruption. Am I guessing correct that duplication beyond 3 times would just help with
671.
by codemac 10y ago
And it's humorous to include because of the irony of the title.
672.
by codemac 10y ago
I hadn't heard of YADA - anyone use it? Seems like a noble goal.
673.
by codemac 10y ago
Oh I don't think it's unethical. I do think our bankers act unethically, but I still have a retirement account. My statement was that people feel so strongly about this that I know multiple people that don't save money in ret
674.
by codemac 10y ago
These feelings are not unique to our generation -- they are part of becoming aware enough of everything around you. I would agree though that most of my friends don't believe they're building a future for themselves. Several frien
675.
by codemac 10y ago
Oh yes, ashinn's irregex is so good, I just include it in my home directory.
676.
by codemac 10y ago
Nice! :) I write a lot of my stuff in guile when it's more formalized, but scsh's run syntax is just the bees knees. Can't get rid of it.
677.
by codemac 10y ago
I want to throw my support behind scsh! It's useful for those things that cross the boundaries between a program, and a shell script. I've found once you need functions for a shell program, it's time to step up to scsh. I als
678.
by codemac 10y ago
> For better or worse, degree is a signal in a noisy world. I think the contention is that it's not actually a signal, we just believe it to be true, and it's a confirmation bias.
679.
by codemac 10y ago
No, the practical answer is to treat humans with respect and dignity, and give them office space that is private with a door that closes. The fact that we are so willing to be treated so poorly and then blame parents with young children for
680.
by codemac 10y ago
Who could forget hoodwink'd[0]! It was such a neat experiment, I miss it. Been thinking of doing something similar in scheme. [0]: via mousehole http://viewsourcecode.org/why/redhanded/inspect/hereIsMouse
681.
by codemac 10y ago
The underlying assumption here is that information is control. Not that it's incorrect, but it's not like Google stops someone from running a web sever.
682.
by codemac 10y ago
That's a recent historical development, and one could even say it's rooted in deep gendered thinking in the roles of men and women.
683.
by codemac 10y ago
http://dor.wa.gov/docs/reports/2010/tax_reference_2010/06tax... Nope, they've had a sales tax since 1935
684.
by codemac 10y ago
; gcc -v |[2] grep version gcc version 6.1.1 20160802 (GCC) ; gcc -Wall -Werror ./something.c -lm ; ./a.out (0.99)^100: 0.366032 (0.99)^100: 0.000000 ;
685.
by codemac 10y ago
> Slapping unbreakable crypto onto more and more packets is just going to make matters worse. The only way to retain any amount of electronic privacy is through political engagement. While political engagement is an alternative to &quo
686.
by codemac 10y ago
Clear Linux is much more focused on the "containers as VMs" direction than nix or guix are (Use the $PATH instead of containers, no virtualization of network cards etc).
687.
by codemac 10y ago
Aluminum on cookware? A lot of cookware is aluminum in most professional kitchens..
688.
by codemac 10y ago
The best part of TRAMP is how many modes that know nothing of tramp work over ssh. At work, the git plugin I use with emacs (magit).. works over ssh. Dired (file browsing), works. shell-mode? works! It's fan-fucking-tastic.
689.
by codemac 10y ago
Meta-programming via your editor doing code-gen for you or lisp doing code-gen for you end with about the same code.
690.
by codemac 10y ago
If this just got you excited, consider reading Bartosz Milewski's post [0] about it. It's not too hard to understand, but it helps if you understand everything in the OP's posted blog. [0]: https://bartoszmilewski.

More ›