kreneskyp

Joined 17 years ago

Karma
153
Submissions
67
Member since
Jul 17
Lead Software Engineer for the OSU Open Source Lab
View on Hacker News

Recent submissions

Comment · 22 days ago
I'm largely building tools for myself and my agents. This allows me to battle test internally before releasing code to the wild. It adds some time but largely it's part of my regular work unless something breaks badly. (I also run multiple agent teams simultaneously and do staged rollouts to reduce blast radius of the latter)

This method also helps with the classic problem of being unable to identify essential complexity up front.

Comment · 1 month ago
Because it's still cheaper and safer to implement in Rust and allow a compiler to mechanically and deterministically transform it into machine code. The value of abstractions are not going away.
Comment · 1 month 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 verified.

I'm targeting Rust primarily but my goal is that any language could sit under it via an integration layer.

https://github.com/agent-ix/quoin

The first public version of the formal specification standard isn't available yet. Pushing hard to get it out soon! But Quoin ships with an earlier version of the spec standard. It features derived property tests, which was the POC for fully adopting a formal-spec-to-derived-formal-verification ecosystem.

Comment · 1 month ago
Comment · 6 months 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. Also, when did we stop liking to learn?

I vibe engineer to learn. I am currently doing this with a project to build a Vector DB extension in postgres. Several aspects of this project are very new to me. I don't write any of the code. I have never written a single line of Rust. I do, however, spend a significant amount of time discussing architecture and design with the agents.

I started with well known algorithms (HNSW, IVF, DiskANN, TurboQuant, RabitQ, PQFastScan) and have since moved on to a novel implementation based on fairly recent research papers.

My primary goal is to learn. That is a success and ongoing. A stretch goal is to contribute novel ideas back to the community, which may be useful even if what I build isn't ever production ready.

Comment · 9 years ago
Comment · 9 years 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 you suspect a criminal offense.
Comment · 10 years 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.
Comment · 10 years 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 aren't a protected class.
Comment · 10 years 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 file.

Comment · 10 years 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

Comment · 10 years 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 was not a subpoena though, that came later.

Edit 2: Since it was clear to some, the reddit post was dated July 24th, 2014. That's 7 months, prior to the first subpoena.

Comment · 10 years 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.
Comment · 10 years 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.
Comment · 11 years 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 security theater. Either way they are attempting to deceive people and they shouldn't be trusted. (doubly so since previous claims that they don't store images is a proven lie)

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton