|
Ignoring security issues shouldn’t be the default action, but sometimes it's necessary — for example, if an issue doesn’t currently have a fix, you might want to snooze it until it does. Thankfully, Snyk makes it suppress issues that are currently irrelevant.
|
|
People often think of formal methods and theorem provers as forbidding tools, cool in theory but with a steep learning curve that makes them hard to use in real life. In this post, we’re going to describe a case we ran into recently where we were able to leverage theorem proving technology, Z3 in particular, to validate some real world engineering we were doing on the OCaml compiler. This post is aimed at readers interested in compilers, bu..
|
|
People often think of formal methods and theorem provers as forbidding tools, cool in theory but with a steep learning curve that makes them hard to use in real life. In this post, we’re going to describe a case we ran into recently where we were able to leverage theorem proving technology, Z3 in particular, to validate some real world engineering we were doing on the OCaml compiler. This post is aimed at readers interested in compilers, bu..
|
|
I’ve been pretty successful selling t-shirts on Amazon these past few months. I normally only sell one, maybe two shirts per order, but one particular order caught my eye. I sold eight of these Euler’s constant t-shirts on January 15th. Cool, easy money. When February 7th rolled around, Wikipedia shared on their Facebook page that it was Euler’s Constant Day.
|
|
In this article I'm going to pose a not so novel compatibilistic idea about the so-recurrent philosophical discussion of free will and determinism. However, this can apply to any topic where reductionism is over-used. Let's get started.
|
|
This was an excellent podcast on the ethics behind some of the decisions being made about technology today. The whole talk is excellent and thought provoking however for me one part (about 27 minutes in) stood out:
|
|
This was an excellent podcast on the ethics behind some of the decisions being made about technology today. The whole talk is excellent and thought provoking however for me one part (about 27 minutes in) stood out:
|
Technical debt is the cost of your management shortcuts compounded with interest. It is a fancy term to try to explain to the management that bad long term technical decisions were made and that now they need to bank for it. Often management is responsible for the technical debt, sometime it is a shared responsibility with the technical staff sometime it is a mix of both – in any case – whatever this is – it will always have a cost to fix i..
|
|
Technical debt is the cost of your management shortcuts compounded with interest. It is a fancy term to try to explain to the management that bad long term technical decisions were made and that now they need to bank for it. Often management is responsible for the technical debt, sometime it is a shared responsibility with the technical staff sometime it is a mix of both – in any case – whatever this is – it will always have a cost to fix i..
|
|
Bunch of resources for side project on gaming. (got 2 boys at home who have their eyes locked on mario – so I just want to use that to open their eyes on it works and make some mods and some cool evolution of the game with them…) here is what I have found that look like the more promising for quick development of 2D arcade games: Enchant JS Seems like a basic library for simple games.
|
|
Bunch of resources for side project on gaming. (got 2 boys at home who have their eyes locked on mario – so I just want to use that to open their eyes on it works and make some mods and some cool evolution of the game with them…) here is what I have found that look like the more promising for quick development of 2D arcade games: Enchant JS Seems like a basic library for simple games.
|
|
Since starting to work on June, I haven’t read a lot of books. I only read a few Substack posts for fun and go out for long walks. My favorite blog right now is Samo Burja’s Bismarck Brief . Every week I get a new post on something I would’ve never thought of being interesting. I also like reading Palladium Magazine . Recently, after listening to Chris Arnade’s podcast interview with Tyler Cowen I’ve been enjoying reading his newsle..
|
|
When building IoT systems, it is often useful to have access to data from the outside world to amend the information your sensors give you. For example, indoor temperature and energy usage measurements will be a lot more useful if there is information on the outside weather to correlate with. Thanks to the open data movement, there are many data sets available. However, many of these are hard to discover or available in obscure formats. ....
|
|
When building IoT systems, it is often useful to have access to data from the outside world to amend the information your sensors give you. For example, indoor temperature and energy usage measurements will be a lot more useful if there is information on the outside weather to correlate with. Thanks to the open data movement, there are many data sets available. However, many of these are hard to discover or available in obscure formats. ....
|
|
This is quick braindump of getting SnailLife Go building and testing on Go 1.10. A few days ago I decided to start building and testing SnailLife Go on Go 1.10 RC 1 (now RC 2). It took a bit of wrangling, but after updating my local environment and finding the best image to use for GitLab CI, I now have it building on Go 1.9 and 1.10 rc 2.
|
|
A variable in Java is a name of a memory location that can hold some value. Variables provide an easy way for programmers to access memory locations. The word variable itself is a combination of “vary + able “, a value that can be changed. Every Java variable has: A name A data type which specifies the size and layout of variable, memory location associated with it, range of values that the variable can hold and operations that ca..
|
|
I am going to try and enjoy the small things in life and focus more on those close to me; something that is not always easy when caught up in the hustle and bustle of life.
|
|
I am going to try and enjoy the small things in life and focus more on those close to me; something that is not always easy when caught up in the hustle and bustle of life.
|
Update 2018-04-19 - GitHub has implemented some rules around retiring "namespaces". To prevent developers from pulling down potentially unsafe packages, we now retire the namespace of any open source project that had more than 100 clones in the week leading up to the owner’s account being renamed or deleted. This is a decent half step but I'd still love to see either permalinks or every namespace of a user permanently retired ....
|
|
Update 2018-04-19 - GitHub has implemented some rules around retiring "namespaces". To prevent developers from pulling down potentially unsafe packages, we now retire the namespace of any open source project that had more than 100 clones in the week leading up to the owner’s account being renamed or deleted. This is a decent half step but I'd still love to see either permalinks or every namespace of a user permanently retired ....
|
|
UPDATE: I’m leaving this series up for historical purposes, but please note that I no longer recommend Ubuntu Core or snaps for use in robotics. This is the third blog post in this series about creating your first robot with ROS and Ubuntu Core. In the previous post you were introduced to the Robot Operating System (ROS), and got your robot moving by ROSifying one of the CamJam worksheets. Today we’re going to move beyond the CamJam workshe..
|
|
The concept of Filesharing (and digital piracy) has been around since before even the basic days of the internet - where floppy disks, and, even earlier, rolls of punch-paper, were shared at swap meets. The Internet, as it is always keen to do, revolutionized filesharing in a big way. Bulletin Board Systems was where shareware began to congregate, where the very idea of the “scene” really began. Eventually, the Scene spread to Usenet, the..
|
|
The concept of Filesharing (and digital piracy) has been around since before even the basic days of the internet - where floppy disks, and, even earlier, rolls of punch-paper, were shared at swap meets. The Internet, as it is always keen to do, revolutionized filesharing in a big way. Bulletin Board Systems was where shareware began to congregate, where the very idea of the “scene” really began. Eventually, the Scene spread to Usenet, the..
|
|
John Perry Barlow – A Declaration of the Independence of Cyberspace
-
yasha.solutions
-
8 years ago
-
eng
Governments of the Industrial World, you weary giants of flesh and steel, I come from Cyberspace, the new home of Mind. On behalf of the future, I ask you of the past to leave us alone. You are not welcome among us. You have no sovereignty where we gather. We have no elected government, nor are we likely to have one, so I address you with no greater authority than that with which liberty itself always speaks.
|
|
John Perry Barlow – A Declaration of the Independence of Cyberspace
-
yasha.solutions
-
8 years ago
-
eng
Governments of the Industrial World, you weary giants of flesh and steel, I come from Cyberspace, the new home of Mind. On behalf of the future, I ask you of the past to leave us alone. You are not welcome among us. You have no sovereignty where we gather. We have no elected government, nor are we likely to have one, so I address you with no greater authority than that with which liberty itself always speaks.
|
|
TL;DR: AMP is Google tech for loading pages quickly on mobile. Basically AMP is the Google version of Facebook Instant Articles. Google is pushing this tech as a mean to increase the overall volume of mobile Ad inventory – essentially more page views means more revenues for publishers and Google via DoubleClick. Solving page load issues can be done without AMP and should be probably done without it. Google tech selling page for AMPIn shor..
|
|
TL;DR: AMP is Google tech for loading pages quickly on mobile. Basically AMP is the Google version of Facebook Instant Articles. Google is pushing this tech as a mean to increase the overall volume of mobile Ad inventory – essentially more page views means more revenues for publishers and Google via DoubleClick. Solving page load issues can be done without AMP and should be probably done without it. Google tech selling page for AMPIn shor..
|