Outer Web | Explore

Explore >> Select a destination

You are here		herbsutter.com GotW #101 Solution: Preconditions, Part 2 (Difficulty: 7/10) - Sutter's Mill
\|	\|	entangledlogs.com Notes on Generic Programming - I: Types \| Entangled Logs	3.4 parsecs away Travel
\|	\|	These are my notes on Generic Programming. Feel free to skim through them. Introduction to Type Type A tool to reason or proving properties of the program Allows understanding and classifying the variables during computation and use Types require compositional calculation i.e. sub-expressions give rise to higher types. Understand dynamically typed as dynamically checked. Motivation of Requiring Types Language Safety/Error Detection Can pinpoint some programming errors rather than in runtime Can guarantee...	3.4 parsecs away Travel
\|	\|	thasso.xyz Can you use a class in C?	5.3 parsecs away Travel
\|	\|	My personal blog about things I find interesting. Hit me up!	5.3 parsecs away Travel
\|	\|	ruudvanasseldonk.com A type system for RCL: Introduction	5.0 parsecs away Travel
\|	\|	I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.	5.0 parsecs away Travel
\|	\|	modexp.wordpress.com Shellcode: Linux ARM Thumb mode \| modexp	25.0 parsecs away Travel
\|		Introduction Just a quick post about some shellcodes for a raspberry pi 3 I purchased recently to learn ARM assembly. For those interested in developing your own, you can find a full list of Linux system calls in Thumb mode here These examples are only intended for 32-bit Linux. BSD or other OS that run...	25.0 parsecs away Travel