recentpopularlog in

pozorvlak : computers   1859

« earlier  
Mathematicians Are Studying Planet-Sized Quantum Computers With God-Like Powers - VICE
The Halting Problem can be efficiently verified interactively using two entangled quantum computers
maths  quantum  computers  cs  physics  science  algorithms 
yesterday by pozorvlak
Elliptic curve NIST P-384 | ECC
The NSA recommends P-384 for elliptic curve cryptography, both ECDH and ECDSA. This post looks at P-384 in some detail.
maths  computers  algorithms  crypto  nsa  security  infosec 
3 days ago by pozorvlak and Ruby
Use's Ruby library to track usage patterns within a Rails application.
computers  programming  ruby  observability  rails  devops 
4 days ago by pozorvlak
AWS Step Functions — The Power of Simplicity - WeAreServian - Medium
Since its introduction to the AWS ecosystem in late 2016 at AWS re:Invent conference, Step Functions have changed the way organisations execute a wide variety of tasks. I am going to claim in…
computers  programming  devops  cloudcomputing  amazon  aws 
4 days ago by pozorvlak
Testing and Environment Variables
Learn how to test code using data in environment variables with Climate Control.
computers  programming  testing  ruby  devops  rails 
5 days ago by pozorvlak
Rails Don't Know Testing
Articles by thoughtbot about product design, web development, mobile development, and growth.
computers  programming  testing  ruby  rails  databases 
5 days ago by pozorvlak
Non-Test Code is Trivial
Articles by thoughtbot about product design, web development, mobile development, and growth.
computers  programming  testing 
5 days ago by pozorvlak
Four-Phase Test
Setup, exercise, verify, and teardown.
testing  computers  programming 
5 days ago by pozorvlak
How We Test Rails Applications
We use RSpec feature and specs heavily,
controller and view specs more judiciously,
FactoryGirl for test data,
JavaScript integration specs with Poltergeist or Capybara Webkit,
like test doubles and test spies but not test mocks,
and we stub external requests with Webmock.
computers  programming  testing  ruby  rails 
5 days ago by pozorvlak
Three rules for founding a quantum computing startup
If your problem is worth solving (hard and valuable) it is very unlikely quantum computers are going to help solve it. To warrant a quantum approach (or hybrid approach) you should be looking to enable something novel or for at least 10x improvements. Don’t attempt a moonshot to just build a better mousetrap.
computers  quantum  startups  techindustry  drugs  medicine 
6 days ago by pozorvlak
Feature Interaction Bugs • Hillel Wayne
In most testing frameworks, you’re expected to write a lot of low-level tests and few high-level tests. The reasoning is that end-to-end tests are slow and expensive and only cover a tiny amount of the program’s state space. It’s better to focus on testing all the parts in isolation versus testing that they all work together.
In practice, global correctness does not follow from local correctness. It’s possible for every part to be individually rock-solid but the system to be broken a...
computers  programming  testing  requirements  formalmethods 
7 days ago by pozorvlak
mateodelnorte/meta: tool for turning many repos into a meta repo. why choose many repos or a monolithic repo, when you can have both with a meta repo?
tool for turning many repos into a meta repo. why choose many repos or a monolithic repo, when you can have both with a meta repo? - mateodelnorte/meta
git  vcs  computers  programming  tools 
10 days ago by pozorvlak
ovotech/rac-trigger: Repository for the service hosting the HTTP trigger endpoint
Repository for the service hosting the HTTP trigger endpoint - ovotech/rac-trigger
ovo  api  kafka  computers  programming  tools  testing 
11 days ago by pozorvlak
A mathematical formulation of the tax code?
Esoteric, unusable, high falutin, idealistic: formal methods are sometimes criticized by the computer science community due to a certain elitism that makes c...
computers  programming  formalmethods  tax  law  france  theoremprovers 
14 days ago by pozorvlak
How to choose the number of topics/partitions in a Kafka cluster? - Confluent
Confluent, founded by the creators of Apache Kafka, delivers a complete execution of Kafka for the Enterprise, to help you run your business in real time.
computers  programming  distributedsystems  kafka  scaling 
14 days ago by pozorvlak
Should You Put Several Event Types in the Same Kafka Topic? | Confluent
Should you to use one one big Kafka topic, or several small ones? Martin Kleppmann lays out a set of guidelines for addressing this problem.
computers  programming  distributedsystems  kafka 
14 days ago by pozorvlak
PutsReq lets you record HTTP requests and fake responses
computers  programming  http  api  development  debugging  testing  tools  web 
14 days ago by pozorvlak
Tailscale is a mesh VPN, connecting your computers, databases, and services together securely, without proxies.
computers  networking 
20 days ago by pozorvlak
kelveden/confluent-cli: Basic CLI for confluent platform
Basic CLI for confluent platform. Contribute to kelveden/confluent-cli development by creating an account on GitHub.
computers  tools  programming  kafka 
25 days ago by pozorvlak
The Business Case for Formal Methods • Hillel Wayne
This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. Adapt the material to your specific needs.
Quick notational note: I’m leaving out the code verification side of formal methods, mostly because design verification is a much easier sell.
computers  programming  debugging  formalmethods  distributedsystems 
25 days ago by pozorvlak
Reducing Shard Usage - bonsai
Managing shards is a basic skill for any Elasticsearch user. Shards carry system overhead and potentially stale data. Keeping your cluster clean by pruning old
computers  databases  scaling  elasticsearch  distributedsystems 
27 days ago by pozorvlak
Shard Primer - bonsai
For people new to Elasticsearch, shards can be a bit of a mystery. Why is it possible to add or remove replica shards on demand, but not primary shards? What’s
computers  databases  elasticsearch  distributedsystems 
27 days ago by pozorvlak
Python Negatypes • Hillel Wayne
Back in 2007 Python added Abstract Base Classes, which were intended to be used as interfaces:
from abc import ABC class AbstractIterable(ABC): @abstractmethod def __iter__(self): while False: yield None def get_iterator(self): return self.__iter__() ABCs were added to strengthen the duck typing a little. If you inherited AbstractIterable, then everybody knew you had an implemented __iter__ method, and could handle that appropriately.
Unsurprisingly, this idea never caught on. Peopl...
computers  programming  python  types 
28 days ago by pozorvlak
Compiling Dark to SQL - Darklang - Medium
We recently shipped a new Dark feature that compiles Dark code to SQL. This post goes into the nitty gritty details of how and why we built it. One of the premises of Dark is that it breaks down the…
computers  programming  darklang  compilers  databases 
28 days ago by pozorvlak
A sad day for Rust
actix-web is dead. This situation is bad, from all sides. When Rust was a tiny, tiny community, I thought to myself, “wow, I wonder how long this will last? Probably 1.0 will kill it.” Sort of playing off of Eternal September, I assumed that over... | Steve Klabnik | “The most violent element in society is ignorance.” - Emma Goldman
computers  programming  reddit  opensource  web  rust 
4 weeks ago by pozorvlak
How fast do I talk? • Hillel Wayne
I speak very fast. It’s like the words are piled up in my mouth and I can’t say one without the rest tumbling out. Through my whole life people have told me to slow down, speak more clearly, and enunciate. I can do it if I concentrate but I quickly relapse into gushing out words.
As I now give lots of conference talks, this has become a professional issue:
computers  programming  j  talks  dataviz  datascience 
4 weeks ago by pozorvlak
Hypermodeling Hyperproperties • Hillel Wayne
When we design programs, we usually look for two kinds of properties: that “bad things” never happen and that “good things” always happen. These are called safety and liveness properties, respectively. These are properties that we want to hold true for every possible program behavior. “We always complete every request” is a liveness property. If our system has it, every program trace will complete every request. If it doesn’t hold, I can give you a example behavior where the server n...
computers  programming  formalmethods 
4 weeks ago by pozorvlak
Which means that 64-bit time_t is a *somewhat*-ultimate "lossless and future-pro... | Hacker News
256 bits is more than enough to record timestamps in "Planck times since the Big Bang" until the end of any physically possible civilisation; 477 bits is enough to record "until the heat death of the Universe".
time  science  aliens  physics  computers  quantum  cosmology 
5 weeks ago by pozorvlak
Everything You Know About Latency Is Wrong – Brave New Geek
Gil walks through a simple, hypothetical example: a typical user session involves five page loads, averaging 40 resources per page. How many users will not experience something worse than the 95th percentile? 0.003%. By looking at the 95th percentile, you’re looking at a number which is relevant to 0.003% of your users. This means 99.997% of your users are going to see worse than this number, so why are you even looking at it?
To understand latency, you have to consider ...
computers  devops  web  dataviz  statistics  optimization  distributedsystems 
6 weeks ago by pozorvlak
« earlier      
per page:    204080120160

Copy this bookmark:

to read