🦞🌯 Lobster Roll

Thread

Why create methods? (shinynuggetsofcode.wordpress.com)
L 5 pts 1 comments by MasonJar Apr 28, 2014 programming thread

Stories related to "Why create methods?" across the full archive.

Why We Created Julia (2012) (julialang.org)
L 4 pts 0 comments by dl Oct 9, 2013 programming Programming (General) thread
Why create methods? (shinynuggetsofcode.wordpress.com)
L 5 pts 1 comments by MasonJar Apr 28, 2014 programming Programming (General) thread
Why we created the world’s first Sponsorfunding platform – Sponsorama (medium.com)
L 0 pts 1 comments by loige Sep 23, 2016 cultureprogrammingrelease Programming (General)Culture / Philosophy / History / Reading thread
The Three Levels of Software: Why code that never goes wrong can still be wrong (pathsensitive.com)
L 25 pts 23 comments by jkoppel Jan 16, 2018 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
Why Create a New Unix Shell? (oilshell.org)
L 66 pts 27 comments by andyc Jan 29, 2018 programmingunix Systems / Low-Level / OSProgramming (General) thread
I think most readers on lobste.rs understand the Oil project by now. However, reddit and Hacker News audiences don't yet understand it. If you're confused by anything in this doc, or think a first-time reader would be confused, let me know!
Binary Heaps Formally Verified in Why3 (2011) (researchgate.net)
L 2 pts 0 comments by nickpsecurity Nov 2, 2018 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
Abstract: "The [VACID-0 benchmarks](https://www.microsoft.com/en-us/research/uploads/prod/2008/12/krml209.pdf) (pdf) is a set of small programs which pose challenges for formal verification of their functional behavior. This paper reports on the formal verification of one of these challenges: [bin...
Why Create a Frontier-Inspired Scripting App? (inessential.com)
L 9 pts 4 comments by calvin Nov 7, 2018 programming Programming (General) thread
Why Don't People Use Formal Methods? (hillelwayne.com)
L 76 pts 32 comments by hwayne Jan 22, 2019 formalmethodshistorical Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
What, Why, and How of Formal Methods (cloudbootup.com)
L 13 pts 5 comments by davidk01 Mar 15, 2019 formalmethods Programming Languages / CS Theory thread
The Why of Juvix, Ingredients & Architecture (research.cryptium.ch)
L -1 pts 0 comments by satoshi_nekomoto Jan 28, 2020 formalmethodshaskellpltprogramming Programming (General)Programming Languages / CS Theory thread
Why does CreateWindowEx take the extended style parameter as its first parameter instead of its last? (devblogs.microsoft.com)
L 22 pts 1 comments by calvin Dec 8, 2020 historicalprogrammingwindows Programming (General)Culture / Philosophy / History / Reading thread
Why's site is seeing tons of activity today (whytheluckystiff.net)
L 18 pts 8 comments by steveklabnik Apr 18, 2013 personprogramming Programming (General)Culture / Philosophy / History / Reading thread
It's a printer spool, so things are going up and being taken down. I'm tweeting them as they appear, but here's the ones so far: * https://dl.dropboxusercontent.com/u/5764687/why/001_DISCLAIMER.pdf * https://dl.dropboxusercontent.com/u/5764687/why/002_URGENTLY.pdf * https://dl.dropboxuserconten...
How to Create a Cloud Service with Windows Azure (jeremymorgan.com)
L 2 pts 0 comments by JeremyMorgan Oct 13, 2013 apiprogrammingwebwindows Web DevelopmentProgramming (General)Data / Databases / Infrastructure thread
Today I’m going to show you how I created a cloud service with Microsoft Windows Azure. It’s pretty easy, and the tools are great to work with. I am putting the code up on GitHub if you want to extend or experiment with it.
The 'deeper why' of open source (thoughts.unicoder.io)
L 2 pts 0 comments by joshowens Nov 10, 2013 linuxphilosophyprogrammingruby Systems / Low-Level / OSProgramming (General)Culture / Philosophy / History / Reading thread
Why Hardware Development is Hard (danluu.com)
L 5 pts 0 comments by dl Nov 16, 2013 hardwareprogramming Programming (General)Maker / DIY / Hardware thread
Why Sony Is Using LLVM/Clang On The PlayStation 4 (phoronix.com)
L 5 pts 0 comments by journeysquid Dec 24, 2013 cprogramming Systems / Low-Level / OSProgramming (General) thread
Telemetry Protocols, or Why HTTP Won't Work for IoT (iotworld.com)
L 17 pts 7 comments by kellogh Jan 15, 2014 mobileprogramming Programming (General) thread
Why I'm Not Going To Stop Posting Go Links (timkellogg.me)
L 33 pts 32 comments by kellogh Jan 20, 2014 programming Programming (General) thread
Why Elixir? (theerlangelist.com)
L 14 pts 0 comments by szalansky Jan 21, 2014 erlangprogramming Programming (General)Programming Languages / CS Theory thread
suggestion: can "elixir" tag be added?
Why I’m Betting on Julia (evanmiller.org)
L 23 pts 5 comments by kmatt Jan 23, 2014 programming Programming (General) thread
Why Programming is Difficult (joearms.github.io)
L 11 pts 1 comments by tomjakubowski Feb 9, 2014 programming Programming (General) thread
Why Don't Schools Teach Debugging? (danluu.com)
L 10 pts 9 comments by zhemao Feb 11, 2014 practicesprogramming Programming (General)Productivity / Career / Business thread
Why we love Scala at Coursera - Coursera Technology (tech.coursera.org)
L 6 pts 8 comments by beala Feb 18, 2014 programmingscala Programming (General)Programming Languages / CS Theory thread
Why not use gcroot (in LLVM)? (philipreames.com)
L 9 pts 0 comments by BruceM Feb 24, 2014 programming Systems / Low-Level / OSProgramming (General) thread
Why is printing “B” dramatically slower than printing “#”? (stackoverflow.com)
L 5 pts 0 comments by codeon1 Feb 25, 2014 javaprogramming Programming (General) thread
Why your software project will slowly die without continuous updating (blog.versioneye.com)
L 8 pts 2 comments by reiz Feb 27, 2014 devopsprogramming Programming (General)Data / Databases / Infrastructure thread
Reasons Why You Shouldn't Hack on Open Source Projects (blog.codecombat.com)
L 2 pts 0 comments by jm Feb 28, 2014 programming Programming (General) thread
Why should I use a pointer rather than the object itself? (stackoverflow.com)
L 7 pts 8 comments by codeon1 Mar 14, 2014 cprogramming Systems / Low-Level / OSProgramming (General) thread
Why do we need Type Inference from Java 7? (coolcoder.in)
L 1 pts 1 comments by codeon1 Mar 14, 2014 javaprogramming Programming (General) thread
Why do we write tests? (schatekar.blogspot.co.uk)
L 1 pts 0 comments by suhaschatekar Mar 16, 2014 practicesprogramming Programming (General)Productivity / Career / Business thread