jmcantrell
Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding Isn't Prog...
on Tuesday March 25, 2025 @11:54AM (#43472780)
I'm curious about the part where LL is talking about how to prove the 3 parts of the max() example's invariant (around 31:46) and omits #2. Did you all understand why this condition holds or are you now scared of AI replacing you, like me?
It's totally understandable if you don't want to answer this, but how did you know you had a problem? How did it fuck your life up?
Hello.
I appreciate this gesture, and also feel nostalgic for the primordial internet. I try to hold on to what felt magical about it to me in the early days.
One of the remaining things left in my life that I feel passionate about is technology and programming. I've had a difficult time dealing with depression and that has cost me my career, but the one thing that keeps me going is learning new stuff and working toward mastery of my craft.
I hope you have a great day, as well :)
Re:The Future of the Web Is on the Edge
on Thursday October 06, 2022 @03:32PM (#33112895)
Thanks, this worked for me, too. I wonder why the command used in the article is so different.
Re:The Future of the Web Is on the Edge
on Thursday October 06, 2022 @03:19PM (#33112749)
The curl command mentioned in the article that's supposed to show the region being used for a request `curl -ls https://deno.land` doesn't seem to work as described. Does anyone know if this is a typo?
Re:The Humble THQ Bundle
on Thursday November 29, 2012 @04:48PM (#4850471)
This really rubbed me the wrong way. It feels like they're taking advantage of my generosity.
Re:Google Drive detailed: 5 GB of free space, launching next week
on Monday April 16, 2012 @08:12PM (#3850208)
I guess Linux gets the shaft?
Re:What is in your .vimrc
on Sunday August 21, 2011 @04:30PM (#2910205)
Re:Ask HN: Desperate Python Hacker Seeking Help and Suggestions
on Sunday July 31, 2011 @08:11PM (#2830106)
Arghh. That CodeEval problem is driving me nuts! I'm happily employed, but I love a good challenge. Is there any way you can send me more example input? CodeEval keeps coming back as a failure, but my output matches the challenge description.
Re:What's your favorite editor to hack with?
on Monday September 17, 2007 @03:56PM (#55874)
there are no movement commands in insert mode (to my knowledge) in vi
Re:What's your favorite editor to hack with?
on Monday September 17, 2007 @03:54PM (#55873)
the same as my favorite editor for everything... vim
Re:Warning: RoR is slow
on Thursday May 31, 2007 @02:21PM (#25721)
To be honest, it sounds like RoR or ActiveRecord is doing something wrong.
Re:Warning: RoR is slow
on Thursday May 31, 2007 @02:18PM (#25720)
Ruby and RoR, slow? This is a no-brainer. Ruby is slow as molasses and RoR is built upon Ruby. Hmmmmm....
Re:Warning: RoR is slow
on Thursday May 31, 2007 @02:17PM (#25719)
"I also took a look at Django, and it struck me as astonishingly clunky compared to Rails and Nitro"
hahahahahahaha...
Re:What Linux laptops do you use for development?
on Thursday May 03, 2007 @03:19PM (#19085)
if you're using nvidia like me, then it's as simple as adding a couple of lines to your xorg congfig
Re:What Linux laptops do you use for development?
on Thursday May 03, 2007 @03:16PM (#19083)
I would have to agree. I can deal with a laptop in a pinch, but it slows me down considerably.
Re:What Linux laptops do you use for development?
on Thursday May 03, 2007 @03:14PM (#19081)
I've never heard anyone refer to BSD/Solaris/OSX as Linux
Re:Who's new to news.yc? Say hello here
on Sunday April 29, 2007 @11:35PM (#18019)
Howdy. My name is Jeremy, and I'm a software developer for a startup in Charlotte, NC. My company uses the .NET platform, but, personally, I'm a python guy.
Re:What Linux laptops do you use for development?
on Thursday April 26, 2007 @04:11PM (#17170)
have you run into any problems with the built-in wireless? i know the older powerpc based models did not have a linux driver available for the wireless, but i'm not familiar with the intels.
Re:What Linux laptops do you use for development?
on Thursday April 26, 2007 @04:09PM (#17166)
Ubuntu Feisty on an IBM T42
Re:What Linux laptops do you use for development?
on Thursday April 26, 2007 @04:08PM (#17165)
then why did you even respond? the question was "what Linux laptops do you use for development?", not "how many of you are mac fanboys?"
Re:Why to Not Not Start a Startup
on Tuesday March 27, 2007 @11:19PM (#6789)
Fantastic essay. Now I'm all pumped up. As soon as I find a colleague that I want to share an office with, I'll be submitting an application :)