igravious

6 ms·

1.
by igravious 6d ago
https://news.ycombinator.com/from?site=twitter.com There have been 34 Twitter/X link submissions in the past day, ~that's 12,000 submissions a year. If your reason is that you have to be logged in to use it proper
2.
by igravious 15d ago
Exactly; couldn't have put it better myself.
3.
by igravious 20d ago
My Claude too, have no fear. You are not the only one.
4.
by igravious 24d ago
Intriguing. Who is it? What is it? any ideas? https://openrouter.ai/stealth/ox-alpha
5.
by igravious 24d ago
Now fill the context in batches of 10% and see where its obedience drops off
6.
by igravious 25d ago
I like Grok 4.6 the model, I like it for a number of reasons. I like Grok Build too. However, I've pointed Grok 4.6 at a fairly complex codebase and asked it to review/audit it for issues and it's come back with a whole laund
7.
by igravious 25d ago
ah, i see -- you're one of those people > There are no other models out there for coding. that wasn't your claim. your claim was: > There are so many other better models right now. wrt coding that is untrue.
8.
by igravious 26d ago
not for coding.
9.
by igravious 26d ago
Also related and recent: https://news.ycombinator.com/item?id=49265305 "Claudish to English" ( https://github.com/gvzdv/claudish-to-english ) 4 points | bryan0 |10 days ago | 2 comments
10.
by igravious 27d ago
Sam? Is that you?
11.
by igravious 27d ago
All four done, full suite green, and the earlier probes still pass. P1-1 — the refusal is now a full transaction. This was wrong twice, each time more subtly: first it wrote the loser's stale tables and deleted the winner's issues
12.
by igravious 27d ago
Clever! :) Difficult! :(
13.
by igravious 1mo ago
create a file called (for instance) `.ai-instructions.md` and symlink both `CLAUDE.md` and `AGENTS.md` to it
14.
Hugging Face CEO says China is winning the AI race and dominating on open models(cnbc.com)
7 points by igravious 1mo ago|0 comments
15.
by igravious 1mo ago
Amen brother, at this point I just copy and paste Claude's (Opus 5, Opus 4.8 -- doesn't matter which) summaries over to the window Kimi is in and: this is from claude, turn it into English for me would you? ""&qu
16.
by igravious 1mo ago
hats off -- fantastic work -- worked out the box Operating System: TUXEDO OS KDE Plasma Version: 6.6.5 KDE Frameworks Version: 6.24.0 Qt Version: 6.10.2 Kernel Version: 6.17.0-124040-tuxedo (64-bit) Graphics Platform: W
17.
by igravious 1mo ago
DeepSeek Harness -- your common-or-garden coding harness https://venturebeat.com/technology/deepseek-harness-launches...
18.
by igravious 1mo ago
why Grok not through `Grok Build` ?
19.
by igravious 1mo ago
feel for the guy, but times change and we gotta change with them, such is the nature of things i've been thinking about this upending process a bit (as i'm sure we all have) and the nearest historical parallel to the backlash agai
20.
by igravious 1mo ago
The Begriffschrift has in no way been consigned to the rubbish heap of history. What gave you that impression? It is seminal. That it had one unresolved paradox in its set-theoretic foundations does not scupper the philosophical insights, n
21.
by igravious 1mo ago
It is not. The foundation of math is contested -- but afaik it is widely held that HoTT is the, erm, hottest contender to the throne https://en.wikipedia.org/wiki/Homotopy_type_theory
22.
by igravious 1mo ago
Logicomix is novel, and done well, but flawed … it's deficiencies lie in what it leaves out which may come across as an unfair charge but in this case the charge is warranted. There is a more historically correct and less orthodox work
23.
by igravious 1mo ago
Exceptional bovines.
24.
by igravious 1mo ago
I have genuinely never heard of Lovable and I thought I was relatively plugged in to the tech zeitgeist :/ Maybe I'm too much of a CLI guy (always preferred Vim & co. to Rubymine/VS Code/etc)
25.
by igravious 1mo ago
every time the meta-theory is altered enough by a feature set, feature, or sub-feature that consistency/soundness may be affected the change normally gets wired through the fundamental lemma and the ripple towards it and away from it c
26.
by igravious 1mo ago
yup :) i'm doing opencode <-> openrouter <-> official deepseek api (i don't get the opencode hate, i like it) how are you doing it? am also using Kimi K3 via kimi-code and also GLM 5.2 via ZCode happy with all three, t
27.
by igravious 1mo ago
fwiw I have a bunch of LLMs writing first Lean code and now Agda code. My observation. LLMs find reasoning about Agda as difficult as I find reasoning about C code. I've thrown a lot of gnarly C and Ruby code at all sorts of LLMs and t
28.
by igravious 1mo ago
OK https://youtu.be/FavUpD_IjVY
29.
by igravious 1mo ago
Hah. Clever.
30.
by igravious 2mo ago
threat? that's a weird way of describing a near frontier open weights un-crippled useful coding buddy do you work for OpenAI or Anthropic per chance?

More ›