chaisan

14 ms·

1.
by chaisan 5mo ago
we moved our whole org off Vercel after that selfie Rauch put out. rotten company, overpriced product for what it is, sneaky practices. never looked back.
2.
Autoresearch for Integer Factorization(github.com)
4 points by chaisan 6mo ago|0 comments
3.
by chaisan 6mo ago
have examples?
4.
by chaisan 6mo ago
nice. for which problem?
5.
by chaisan 6mo ago
yess. loads of space for further exploration here. there is an attempt to keep things as general as possible in the expert.md file, but hard to mitigate overfitting fully. however, changing the seed will not get you much further with all el
6.
by chaisan 6mo ago
sure. in the limit, everything is parameter tuning. with large enough NP-hard problems, the complexity of the search space is big enough that its infeasible to get to a better state by just tuning params in any reasonable amount of time.
7.
by chaisan 6mo ago
wrt. token usage?
8.
by chaisan 6mo ago
somewhat
9.
by chaisan 6mo ago
and it would take an algo change to the solver to jump to the next local optimum
10.
by chaisan 6mo ago
yeh. ofc. but on any problem larger than 40 variables, the gains from random restarts or initializations will quickly plateau
11.
by chaisan 6mo ago
the sum of the weights of the unsatistied clauses. we want to reduce this number
12.
by chaisan 6mo ago
as its from 2024 (MaxSAT was not held in 2025), its quite likely all the solvers are in the training data. so the interesting part here is the instances for which we actually got better costs that what is currently known (in the best-cost
13.
by chaisan 6mo ago
its just comparing the cost of the best solution found to the best known cost we had before. O(N). why optimistic?
14.
by chaisan 6mo ago
nice. EDA indeed one of the top applications of SAT
15.
Autoresearch for SAT Solvers(github.com)
167 points by chaisan 6mo ago|32 comments
16.
Autoresearch for SAT Solvers(github.com)
3 points by chaisan 6mo ago|1 comments
17.
by chaisan 6mo ago
An autonomous AI agent that teaches itself to become the world's top expert on MaxSAT. Given weighted MaxSAT instances, it learns novel strategies, finds better solutions and iteratively refines its toolbox. No human guidance.
18.
Monitor your world with one daily report(monitorish.com)
1 points by chaisan 7mo ago|1 comments
19.
by chaisan 1y ago
reminds me of this idea of Do What I Mean (DWIM) coined in the 60s by Warren Teitelman. more relevant now than ever
20.
by chaisan 1y ago
the scariest safety fuse isn’t in the model. it’s the gap between chair and keyboard
21.
PromptConcierge – agent that helps you find the optimal prompt(github.com)
1 points by chaisan 1y ago|0 comments
22.
The fastest NP-hard solver is 50 lines of code(github.com)
3 points by chaisan 2y ago|0 comments
23.
by chaisan 2y ago
The workflow of starting with and iterating on a PRD is already taking off: https://x.com/daniel_mac8/status/1871372159748079893 https://skylarbpayne.com/posts/cursed-cursor
24.
Worlds Longest Redirect Chain(amzn.com)
3 points by chaisan 2y ago|0 comments
25.
by chaisan 2y ago
Ntropy ( https://ntropy.com ) | ONSITE, Full-time | Office in San Francisco and London, UK | SWE, ML | $130-200k Ntropy is building domain-specific caching infrastructure for LLMs that makes it possible to reduce p99 latencies by
26.
by chaisan 3y ago
nice. where is the the main part of the 4.4x boost on ARM coming from?
27.
by chaisan 3y ago
I keep running into issues where I update a selector which change the memory reference and causes performance issues. Have you found any good ways of avoiding that?
28.
Transaction Enrichment with LLMs and SLMs(blog.ntropy.com)
2 points by chaisan 3y ago|0 comments
29.
by chaisan 4y ago
Great stuff! How do you measure frontend performance? Do you have any production metrics?
30.
by chaisan 4y ago
Ntropy | https://ntropy.com | data-QA, backend, full-stack | Remote | Full-time Ntropy enables companies to build a new generation of products and services on top of financial transaction data. We recently closed our series A an

More ›