kreneskyp

6 ms·

1.
by kreneskyp 14d ago
I'm working on a ISO-29148 aligned spec standard with formal modelling baked in. It's meant to sit above the code with types, contracts, proofs and other objects that lower mechanically into code and/or are deterministically
2.
by kreneskyp 14d ago
My answer to this is adding an engineering assurance module to my specification and verification toolkit. Every project has a different definition of success and quality. My goal is to provide a consistent way to define, analyze, and report
3.
by kreneskyp 5mo ago
> If you're trying to learn something new like an algorithm, protocol, or API write that shit by hand. You learn by doing, and when you know how the thing works and have that mental context, you will always be faster than an AI. Als
4.
by kreneskyp 9y ago
For android: https://play.google.com/store/apps/details?id=com.armis.blue...
5.
by kreneskyp 9y ago
Can you expand on why civil forfeiture based on suspected criminality shouldn't require criminal conviction? Forcibily taking money from someone for a civil reason (e.g. child support) is obviously different from taking money because
6.
by kreneskyp 10y ago
I don't think you're familiar with /r/the_Donald's rules. The number one rule is no dissenting. Not even polite discussion is allowed. They've already entombed themselves.
7.
by kreneskyp 10y ago
It's not discrimination to enforce site wide rules against harassment, racism, and brigading (coordinated upvoting). Just because only a few communities are breaking the rules doesn't make it discrimination. Racists and bigots ar
8.
by kreneskyp 10y ago
You left out Petraeus who did worse and still only received probation. The reality is that most cases of mishandling classified information result in little more than a stern talking to from your manager, re-training, and a blemish in your
9.
by kreneskyp 10y ago
Back that assertion up with polling data. The polls I've seen show the opposite. edit: referring to the claim that Clinton voters aren't voting for clinton
10.
by kreneskyp 10y ago
They were subpoenaed by Congress, but not until March 4, 2015. The initial request for emails was made by the State Department. Edit: small mistake. The initial request did come from Congress and went through the State Department. It w
11.
by kreneskyp 10y ago
You're not guilty just because a cop says so. You have a right to a trial for every speeding ticket. Most people just waive that right.
12.
by kreneskyp 10y ago
Abolishing the TSA doesn't mean ending airport security. It would mean replacing it with privatized security. The TSA is universally hated so it wouldn't be that hard to find enough Democrats to go along with it.
13.
by kreneskyp 11y ago
They said they don't generate or store images period, which is at best misleading. It might not generate or store a commonly used image format, but it's still an imaging machine. The machine generates images or it's pure se
14.
by kreneskyp 11y ago
This is only partially correct. These new features reduce the amount of data that must be transmitted to/from the postgres server and how much json must be parsed, but the full row is still written to the WAL (write ahead log). This
15.
by kreneskyp 12y ago
Yes. If someone captures identifiable information then a user can be identified. This can be minimized by using SSL to connect to services. A service may share data so you should also use only a single service within a Tor session. That
16.
by kreneskyp 15y ago
There is zero chance of content without DRM and probably requires locked hardware too. Boxee and Android (cant rent movies on rooted devices) had those requirements for content deals, Ubuntu won't be any different.
17.
by kreneskyp 15y ago
The idea of "drug tourists" is absurd. The worst of the illicit drug addicts can barely take care of themselves. They choose drugs over food and showers. They can't hold jobs and resort to crime to feed their habits. Access to drugs isn
18.
by kreneskyp 15y ago
The problem is that many apps are looking at the wrong states when they design their machine. For instance I worked on an app someone had build in which states were based on a multi-page html form. When I added an android app allowing offl
19.
by kreneskyp 15y ago
Google never said when the emails would go out.
20.
by kreneskyp 15y ago
For those of us without silverlight: mms://itv02.digizuite.dk/tv2b VLC can play it but the server is getting hammered right now. Received 503 the first few tries but then it loaded.
21.
by kreneskyp 15y ago
Hah. You got me there.
22.
by kreneskyp 15y ago
There were various things we weren't allowed to take pictures of but mostly they were very open. You can't even get to the bathroom without a keycard. I don't think they have a reason to be paranoid.
23.
by kreneskyp 16y ago
I didn't see a reason why they sent them early last year anyways.
24.
by kreneskyp 16y ago
Several co-workers and myself are road tripping it from Oregon and splitting hotel rooms. We're all self funding to go. I can't speak for the others but I'm interested in the sessions, though without potential freebies it would have been
25.
by kreneskyp 16y ago
It differs in that this isn't just Hudson or some other testing software. We're providing a self service cloud that open source projects can use in lieu of Amazon, Linode or other paid providers. Eventually windows support will be added.
26.
by kreneskyp 16y ago
Ganeti. It sits a layer above KVM or Xen. The main difference from KVM proper is that it allows management of multiple KVM servers and storage nodes as a single cluster. You get failover, easy migration between nodes, balancing, etc. Wit
27.
by kreneskyp 16y ago
according to leaked cables some middle eastern countries actually encouraged us to bomb Iran. Otherwise I agree that a non-military solution is at least initially appealing. I fear whoever unleashed this has opened a pandora's box of d
28.
by kreneskyp 16y ago
RFID range is between 3-20 feet. Average human arm length is less than 3 feet. The limiting factor here is not RFID range.
29.
by kreneskyp 16y ago
Just because it's "active" doesn't mean the FOB needs a battery for the RFID to work. The car could periodically check for the key. If your RFID required a battery, and required that it constantly be on, then the battery would need to be r
30.
by kreneskyp 16y ago
The key doesn't have a battery. It's usually RFID.

More ›