u/PhantomOfTheTypes - 7 Archived Voat Posts in v/programming
u/PhantomOfTheTypes
  • home
  • search

u/PhantomOfTheTypes

1 post · 6 comments · 7 total

Active in: v/programming (7)

  • ‹‹‹
  • ‹‹
  • ‹
  • 1
  • ›
  • ››
  • ›››
Comment on: Mozilla just announced their intent to deprecate so called XUL-based add-ons in favor of what they call the WebExtensions API within the next year or two

Tree tabs are literally the only reason I've stuck with Firefox. If I lose that, I'm going to fork firefox or chromium and hard code them back in myself.

0 22 Aug 2015 09:21 u/PhantomOfTheTypes in v/programming
Comment on: MirageOS - A programming framework for building type-safe, modular systems

There was a great talk about this at the Haskell Symposium at ICFP 2014 https://www.youtube.com/watch?v=UEIHfXLMtwA

1 11 Aug 2015 19:18 u/PhantomOfTheTypes in v/programming
Comment on: If I want to be more of a defensive programmer where do I start?

Security is one of the primary reasons I am obsessed with Haskell and Rust, as well as proof oriented systems like Idris, Coq, and Agda. Languages like these allow for strong security guarantees at both the runtime and logic level. They allow of the security of you system to be verified at compile time using the type systems.

I feel like the software industry as a whole does not take security seriously enough and in a saner world exploits like buffer overflows could have been extinct by using smarter languages and compilers. but inertia is what it is.

2 31 Jul 2015 08:14 u/PhantomOfTheTypes in v/programming
Comment on: Resources to learn C?

I highly recommend any of "The Hard Way" books.

2 19 Jun 2015 20:08 u/PhantomOfTheTypes in v/programming
Comment on: GitFlow considered harmful

I always hated GitFlow. It's such an anti-git model. It was designed for people who had their brains stuck in SVN.

0 19 Jun 2015 17:27 u/PhantomOfTheTypes in v/programming
GitFlow considered harmful
2 2 comments 19 Jun 2015 17:26 u/PhantomOfTheTypes (..) in v/programming
Comment on: Moving from Javascript to something lower. Memory management?

I highly recommend learning Rust. It is the most promising C/C++ replacement out there, and it will be a big part of the industry soon.

You should still learn C for the basic understanding. I would also recommend learning assembly, too. I highly recommend this book to do that: Programming from the Ground Up

0 19 Jun 2015 17:24 u/PhantomOfTheTypes in v/programming
  • ‹‹‹
  • ‹‹
  • ‹
  • 1
  • ›
  • ››
  • ›››

archive has 9,592 posts and 65,719 comments. source code.