HN user

felipelalli

460 karma
Posts64
Comments170
View on HN
www.youtube.com 7mo ago

TempleOS: FlightSim and FirstPersonShooter [video] [REPOST 2015]

felipelalli
2pts1
github.com 10mo ago

Dream: Visual Decoding from Reversing Human Visual System

felipelalli
1pts0
mprest-defense.com 2y ago

Israel's Iron Dome

felipelalli
5pts0
old.reddit.com 3y ago

Mycelium iOS Bitcoin wallet security flaw

felipelalli
1pts1
news.ycombinator.com 3y ago

Ask HN: Where are Reddit users migrating amidst the API fee controversy?

felipelalli
11pts17
lists.linuxfoundation.org 3y ago

Someone claiming to be Satoshi Nakamoto just wrote to the Lightning dev list

felipelalli
9pts16
zerosync.org 3y ago

ZeroSync: Validity Proofs to Bitcoin [pdf]

felipelalli
1pts1
news.ycombinator.com 3y ago

Ask HN: Language that treats key-value DBs like memory?

felipelalli
2pts3
github.com 3y ago

Functional Geometry with Gambit Scheme and Raylib

felipelalli
98pts11
github.com 3y ago

RGB, smart contracts on Bitcoin and Lightning made in Rust

felipelalli
1pts0
merkle.fun 3y ago

General smart contracts in Bitcoin via covenants

felipelalli
1pts0
news.ycombinator.com 3y ago

Ask HN: Why are we so fragmented in databases options?

felipelalli
10pts24
news.ycombinator.com 3y ago

Ask HN: Why are image search engines still so bad?

felipelalli
1pts3
call-with.cc 3y ago

State of Scheme to JavaScript

felipelalli
2pts0
itty.bitty.site 3y ago

Put your pride aside and comment your code for good

felipelalli
1pts1
jamesclear.com 3y ago

How to Stop Procrastinating on Your Goals by Using the “Seinfeld Strategy”

felipelalli
178pts93
bk2coady.medium.com 3y ago

The Hemingway Method (2020) – A Productivity Technique for Continuous Creativity

felipelalli
1pts0
www.troubleshooters.com 4y ago

Troubleshooting Linux Sound (2013)

felipelalli
1pts1
blog.adrianbolboaca.ro 6y ago

Teddy Bear Pair Programming (2012)

felipelalli
3pts1
zero.walltime.info 6y ago

Walltime Zero whitepaper: crypto negotiation without crypto custody

felipelalli
4pts0
www.winestockwebdesign.com 6y ago

The Lisp Curse (2011)

felipelalli
59pts98
www.winestockwebdesign.com 6y ago

The Lisp Curse (2011)

felipelalli
4pts3
medium.com 8y ago

Let’s Enhance: how we found rogerkver’s $1000 wallet obfuscated private key

felipelalli
8pts0
petertodd.org 10y ago

Soft forks are safer than hard forks

felipelalli
2pts0
exame.abril.com.br 11y ago

Uber is banned in the biggest city of Brazil (São Paulo)

felipelalli
2pts0
yeppudaproductions.wordpress.com 11y ago

The fabulous Bitcoin Island

felipelalli
1pts0
schemecookbook.org 11y ago

Shocked: what happened to the Scheme Cookbook?

felipelalli
1pts0
www.adweek.com 12y ago

Brazilian Kids Learn English by Video Chatting With Elderly Americans

felipelalli
176pts30
repository.readscheme.org 12y ago

Debunking the "expensive procedure call" myth (1977) [pdf]

felipelalli
9pts0
news.ycombinator.com 12y ago

Bitmit is shutting down (email)

felipelalli
1pts1

Me: I put your text into AI and ask it to summarize. We really do have a critical problem of mental laziness.

I think it's time for a big move towards immutable databases that weren't even mentioned in this article. I've already worked with Datomic and immudb: Datomic is very good, but extremely complex and exotic, difficult learning curve to achieve perfect tuning. immudb is definitely not ready for production and starts having problems with mere hundreds of thousands of records. There's nothing too serious yet.

Even though I read so many posts criticizing PGP, it's still difficult for me to find an alternative. He states in the article that being a "Swiss Army Knife" is bad. I understand the argument, but this is precisely what makes GPG so powerful. The scheme of public keys, private keys, revoke, embedded WOT, files, texts, everything. They urgently need to make a "modern version" of GPG. He needs a replacement, otherwise he'll just be whining.

[REMOTE] Expert Software Architect (Core & Reliability)

At Eulen Labs, we build products for the sovereign individual, with a focus on security, privacy, and technical excellence. We are looking for a battle-tested, hands-on architect to become the guardian of our core production systems.

The Role

This is a deeply technical, hands-on position for a master craftsperson who prefers architecting and shipping brilliant code to attending meetings. As the technical owner of our high-volume core services, you will be the gatekeeper of quality, the champion of reliability, and the calm voice of reason during a crisis. Your mission: to ensure our systems run with unwavering stability and speed, enabling us to deploy frequently and safely.

Who We're Looking For

We are seeking an expert with 15+ years of software engineering experience in critical, high-volume environments. You are a pragmatist who lives and breathes automated testing, resilient architecture, and the relentless pursuit of improvement. You have a history of leading incident responses and a passion for mentoring others through exemplary code and rigorous reviews.

More info: https://jobs.eulen.app/announcement.html

<<Your accent is Persian my friend. I identified your accent based on subtle details in your pronunciation. Listen to your audio, and bask in my predictive abilities.>> --- Wrong, my friend! I'm Brazilian and I speak Portuguese.

From Robin Linus, in bitcoin-dev mailing list:

We introduce ZeroSync, the first-ever proof system addressing Bitcoin’s scalability challenges with Succinct Non-Interactive Argument of Knowledge (SNARKs). ZeroSync compresses the entire Bitcoin blockchain into a compact proof of validity, enabling instant verification and unlocking various innovative applications. We discuss our prototype implementation of a chain state proof, utilizing the Cairo language, Utreexo, and recursive STARKs. Our work enables diverse applications, including quick bootstrapping of full nodes, trustless light clients, enhanced Lightning Network privacy, and secure cross-chain bridges. Chain state proofs require no consensus changes, which is crucial as forks in Bitcoin are challenging to implement and achieve consensus for. Despite the existing bottleneck of prover performance, we present a range of optimization strategies and demonstrate the practicality of generating a complete chain state proof. Finally, we introduce zkCoins, a client-side validation protocol combined with zeroknowledge SNARKs, drastically improving privacy and throughput of token transactions. In combination with future Bitcoin features, such as Simplicity, zkCoins also enables private and more scalable BTC transactions. The groundbreaking compression capabilities of SNARKs initiated a paradigm shift in cryptocurrency design, and ZeroSync is pioneering their application to Bitcoin.