HN user

ngrilly

2,759 karma

twitter.com/ngrilly

[ my public key: https://keybase.io/ngrilly; my proof: https://keybase.io/ngrilly/sigs/-qaAeMX687qmnP5uDMJ7PwWdywLGI8bnM0E8lhn-VBU ]

Posts73
Comments1,557
View on HN
github.com 10mo ago

AutoCodeBench: Large Language Models Are Automatic Code Benchmark Generators

ngrilly
2pts0
saewitz.com 1y ago

The Mental Model of Server Components

ngrilly
10pts0
nickblow.tech 1y ago

I've Soured on Go

ngrilly
11pts3
www.grilly.com 1y ago

Every programming language needs its killer app to succeed

ngrilly
4pts2
planetscale.com 1y ago

PlanetScale Metal: There's no replacement for displacement

ngrilly
2pts1
sublime-systems.com 1y ago

Cement made at ambient temperature using renewable electricity

ngrilly
2pts0
arxiv.org 2y ago

Planck stars, White Holes, Remnants and Planck-mass quasi-particles

ngrilly
62pts32
arxiv.org 2y ago

Self-Supervised Learning from Images with a Joint-Embedding Predictive Archi

ngrilly
1pts0
nathancraddock.com 2y ago

My thoughts on Vim, terminals, and GUI editors (2022)

ngrilly
2pts0
www.threads.net 2y ago

Toner interviewed about Altman's firing: "We learned about ChatGPT on Twitter."

ngrilly
3pts0
www.infoq.com 2y ago

Redesigning OLTP for a New Order of Magnitude

ngrilly
2pts0
www.tu-darmstadt.de 2y ago

The Internal Clock of Materials

ngrilly
2pts0
www.tiktok.com 2y ago

Brittany Peach Cloudflare Layoff [video]

ngrilly
16pts20
ngrilly.substack.com 2y ago

What innovative tech companies do that others don't

ngrilly
2pts0
www.theguardian.com 2y ago

Artificial intelligence is powering politics

ngrilly
3pts0
blog.orhun.dev 3y ago

Zig Bits 0x4: Building an HTTP client/server from scratch

ngrilly
5pts0
foundation.rust-lang.org 3y ago

Rust Identified as Safer Coding Tool by NIST

ngrilly
74pts7
greydanus.github.io 3y ago

Simulating the Universe Could Yield Quantum Mechanics

ngrilly
3pts1
bigthink.com 3y ago

Brain experiment suggests that consciousness relies on quantum entanglement

ngrilly
16pts9
www.theguardian.com 3y ago

Ukrainian troops report outages of Musk Starlink devices

ngrilly
10pts3
onlinelibrary.wiley.com 3y ago

Advanced artificial agents intervene in the provision of reward

ngrilly
2pts0
slite.com 4y ago

We Built Discussions

ngrilly
9pts3
blog.stalkr.net 4y ago

Universal Go exploit using data races, no imports

ngrilly
2pts0
tip.litestream.io 4y ago

LiteStream support for SQLite live read-only replicas

ngrilly
44pts15
www.techinasia.com 5y ago

The ‘two-pizza rule’ productivity hack by Jeff Bezos was a failure

ngrilly
1pts0
domainnamewire.com 6y ago

The interesting connection between the .Org deal and ICANN

ngrilly
4pts0
github.com 7y ago

How is CUE different from jsonnet?

ngrilly
2pts0
www.theregister.co.uk 7y ago

Facebook blames 'server config change' for 14-hour outage

ngrilly
6pts2
refined.chat 7y ago

Slack Threads: FTFY

ngrilly
2pts1
m.phys.org 7y ago

New theory could explain missing 95 percent of the cosmos

ngrilly
2pts2

I'm in the same situation. But I was shocked discovering it goes both ways: many new Gemini functionalities are only accessible using a consumer account instead of a Workspace account. Also, Gemini is now the only major AI assistant with no support for MCP connectors. Instead of adding this to the core product, like ChatGPT and Claude did, somebody at Google decided that it was smarter to add this fundamental feature to a new product instead: for enterprises this is Gemini Enterprise (which is a product completely different from the Gemini app); for consumers this the new Gemini Spark agent (meaning that you can use MCP within Spark but not within a "non-agentic" chat)... It's clear to me this a symptom of Google shipping their org chart, which is a disaster from a product perspective.

Also a big proponent of Google and Gemini, but their stubbornness in artificially splitting their consumer and enterprise products is extremely annoying. It's pretty weird that I have access to more powerful tools when using my personal Google account compared to my corporate Google Workspace account.

The only thing I'm jealous of with regards to python is how seamlessly you can do JSON schema enforcement on HTTP endpoints.

Yes, it is much easier in Python because type annotations are reflected at runtime.

Deno 2.8 2 months ago

Python type annotations are available at runtime, which can be used for serialization and validation (for example in FastAPI).

I was referring to the case where the founders and investors sell the startup to larger company. Of course, if they don't sell, and the company stays founder-led, the outcome is often better. I didn't know Zoho never took (serious) VC money.

I'm afraid this is a form of reversion to the mean. Successful startups are made of exceptional people: the founders, the initial investors, the first employees, the first clients. But when they get acquired by much larger companies, they are necessarily diluted in pool of people that are more "normal", less exceptional. This includes the customer base that is more "normal" as well. Slowly but surely, the extraordinary product/service the startup has been developing reverts to the mean. This is quite sad, because it feels inevitable. I'd like to know how to avoid it.

Not an ad at all. I've been using Linear for the past 4 years. Been using Jira, Trello, GitHub Issues, and other issue trackers before. Linear is simply incredibly better compared to Jira. I had tons of colleagues in my current team and former teams who were skeptical at first, tried it, and 2 weeks later wre saying they would never come back to Jira. I've seen many similar comments here on HN over the past few years.

I've sold out 4 months ago

I don't understand. Why the disappointment? Pi is still open source. Nothing is changing. Earendil's majority owners have a perfect track record when it comes to open source. Armin is a super star in the Python and Rust ecosystems.

The MacBook Neo 4 months ago

Exactly. PC manufacturers have so many SKUs and are changing so many things from one model to another that their brand doesn't mean anything anymore. Buying a Dell, HP, Lenovo or Asus branded laptop doesn't say anything meaningful about what you're actually going to get. Unlike Apple (or Framework) where the brand still means something.

Hard disagree. We use both in my company. Google Chat is definitely better than Teams for actual collaboration: it's easier to track unread messages in "Home" (it's the "inbox"), and channels (called "spaces") are much better designed (they are conceptually closer to Slack's channels). Also, it's not crashing all the time. What's missing: the message editor doesn't support nested bulleted lists, we can't archive a space/channel.

Nerd: A language for LLMs, not humans

Interesting take, because I think precisely the opposite. Coding agents let us produce a lot of code, code that we need to read and review. That means we need languages optimized for code generation by AI, and code review by humans.