ibarrajo

5 ms·

1.
by ibarrajo 1mo ago
I’ve been vibe coding a lot of Lean this year. What i found is that it is amazing once you determine and the invariants that are essential to the guarantees you want to keep. I built my own formally verified workflow engine, it was easy but
2.
by ibarrajo 1mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes (SF, NYC for the right team) Technologies: Go, Python, Rust, TypeScript, Kotlin | LLM agents, multi-agent orchestration, MCP, RAG | Postgres, Redis, Kafka, gRPC, Kubernet
3.
by ibarrajo 2mo ago
I’m doing this by working all logical steps into lean (formal verification) the quick feedback loop between the AI prose and the Lean verification errors and warnings ensures that its logically consistent. The issue that remains are two thi
4.
by ibarrajo 2mo ago
I’ve been math-vibe coding a few months now. It’s surprisingly easy to do with AI. The hard part has been manually verifying and validating the results. I took one of the smaller findings (disproving a conjecture) and wrote a paper as my fi
5.
by ibarrajo 3mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes (SF, NYC for the right team) Technologies: Go, Python, Rust, TypeScript, Kotlin | LLM agents, multi-agent orchestration, MCP, RAG, evals, GPTQ/quantization, Triton |
6.
by ibarrajo 3mo ago
I’m sitting on a 0-day rce on the tizen browser (smart tv) Didn’t bother submitting since who actually uses tizen?
7.
by ibarrajo 3mo ago
You can already do this, it’s called reticulum. Essentially it’s encrypted internet/networking over any type of network including LoRa. Issue is the size of the community and linking up to actually serve internet or surface public serv
8.
by ibarrajo 4mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes (SF, NYC for the right team) Technologies: Go, Python, Rust, TypeScript, Kotlin | LLM agents, multi-agent orchestration, MCP, RAG, evals, GPTQ/quantization, Triton |
9.
by ibarrajo 5mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes (SF, NYC for the right team) Technologies: Go, Python, Kotlin, TypeScript, Rust | Cadence/Temporal, Kafka, gRPC, Postgres, Redis, Kubernetes | AWS, GCP, Cloudflare |
10.
by ibarrajo 6mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes (SF, NYC for the right role) Technologies: Go, Python, Kotlin, TypeScript | Cadence/Temporal, Kubernetes, Kafka, Postgres, Redis | GCP, AWS | LLM agents, workflow or
11.
by ibarrajo 7mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes (SF, NYC for the right role) Technologies: Go, Python, Kotlin, TypeScript | Cadence/Temporal, Kubernetes, Kafka, Postgres, Redis | GCP, AWS | LLM integrations, workf
12.
by ibarrajo 8mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes, open to SF, NYC for the right role Technologies: Go, Kotlin, Python, TypeScript, PHP, Java, Cadence Workflows, Kubernetes, GCP, AWS, Postgres, Redis, Kafka, Docker Rés
13.
by ibarrajo 10mo ago
Location: Seattle, WA Remote: Yes Willing to relocate: Yes, open to SF, NYC for the right role Technologies: Go, Kotlin, Python, TypeScript, PHP, Java, Cadence Workflows, Kubernetes, GCP, AWS, Postgres, Redis, Kafka, Docker Rés
14.
by ibarrajo 11mo ago
I just had to try, got a bitmap and set it directly on the canvas using js, I wonder if it will print. Canvas is 348x348. https://gist.github.com/ibarrajo/d5dc106cf226a0f2286e7e959ce...
15.
by ibarrajo 3y ago
Location: Seattle, WA Remote: Yes Willing to relocate: No Technologies: Python, Kotlin, Java, PHP, Laravel, Postgresql, Mysql, AWS (EC2, RDS, ECS, Lambda, etc..), Linux, Kubernetes, Kafka, VueJS, Angular, Node, Typescript, Javasc
16.
by ibarrajo 3y ago
Small businesses such as mine have been unable to process payments nor log in. Disappointing in such a critical service. This is now 10 hours in.
17.
by ibarrajo 3y ago
Coffee engineer? You’ll still be working with Java I bet
18.
by ibarrajo 6y ago
Jobscan.co | Seattle | Full time / Onsite | Director of Engineering and Senior Software Engineer Roles Jobscan is a fast-growing start-up in the heart of historic Pioneer Square, Seattle, WA. Jobscan is web service that helps job seeke
19.
by ibarrajo 7y ago
Jobscan.co | Seattle | Full time / Onsite | Director of Engineering and Senior Software Engineer Roles Jobscan is a fast-growing start-up in the heart of historic Pioneer Square, Seattle, WA. Jobscan is web service that helps job seeke
20.
by ibarrajo 7y ago
Jobscan.co | Seattle | Full time / Onsite | Senior Software Engineer, Software Engineer Jobscan is a fast-growing start-up in the heart of historic Pioneer Square, Seattle, WA. Jobscan is web service that helps job seekers land more in
21.
by ibarrajo 7y ago
I would love to see a news article where Fremont's brewery "Beer Patrol" Crown Victoria is mistaken for an actual official cop car. https://pasteboard.co/IykxzXT.png
22.
by ibarrajo 7y ago
Managed to have -12% compression rate =D Couldn't copy and paste the link, it takes forever https://pastebin.com/e8ivtyev
23.
by ibarrajo 8y ago
Location: San Diego, CA. (currently in Mexico City until April 4th) Remote: Yes Willing to relocate: Mexico City, Seattle, San Francisco, Berlin. Technologies: Python, PHP, NodeJS, Angular, PostgreSQL/MySQL, AWS, GCP, Heroku, OpenShift
24.
A satirical simulation of the modern human condition(realidad.studio)
1 points by ibarrajo 9y ago|0 comments
25.
KKR confirms it will buy WebMD for $2.8B in cash(techcrunch.com)
3 points by ibarrajo 9y ago|0 comments
26.
by ibarrajo 10y ago
Please don't do this if your car has oxygen sensors, a catalytic converter or fuel injectors (basically all cars 1980+) Why? Besides polluting more you're going to reset the car's ECU and it takes a few drive cycles in differ
27.
by ibarrajo 10y ago
We already had this, it's called a hard drive
28.
Alibaba to train a million youngsters in e-commerce(thestack.com)
1 points by ibarrajo 11y ago|0 comments
29.
by ibarrajo 11y ago
I thought the sugar in the car's fuel tank was a myth. Yet it's there on page 13-14 (PDF pg. 10-11) And I never ever heard of using sugar to compress a sponge in order to clog the drain.
30.
by ibarrajo 11y ago
We already have that, It's called OBDII. Besides error codes, OBDII has 8 emissions monitors. In California all cars after 2001 are checked by means of a visual and these 8 readiness monitors: catalyst, heated catalyst, EVAP, SAI, O2,

More ›