skysight-inc/HackerNews huggingface dataset:
I haven't, but I'm looking for something with more batteries included. Can you point to any examples?
Its understanding of problems was very bad last time I used it. Meaning it was difficult to communicate what you wanted it to do. Usually I try to write in the Mathematica language, but even that is not foolproof.

Hopefully they have incorporated more modern LLM since then, but it hasn’t been that long.
We do rotating filters for that. Items are added to the current and next bloom filters, and we stop serving from one, serving from the next, delete the former, and start the next filter.

Another option is a cuckoo filter; it is like a bloom but allows deletion
Someone used MIL which from context must be mother in law.

Also phrases. "If I recall correctly", "In other words", and all eight different slightly different variations like AFAICT... like what.

(room full of programmers. apparently none of them using any high tech like abbreviation expanders)

My favorite is IANAL because of how ungodly it looks.
Clapping Music for two flip-disc displays
yes, it looks all good, until you want to change it. For instance, to make the file name a CLI parameter, you need to understand things like type classes, specifically Monad, Functor and Applicative. You may need a long time to be at ease with these things and a superficial understanding will not take you very far. In Python, it'll take you a few minutes to do the same thing.
For others interested in this idea, look up "Bentley-Saxe transformation". These lecture notes are very readable: https://jeffe.cs.illinois.edu/teaching/datastructures/notes/... .

A recent paper trying to systematically apply the idea to databases "Towards Systematic Index Dynamization" ( https://bpb-us-e1.wpmucdn.com/sites.psu.edu/dist/b/123163/fi... )
Thanks so much for sharing! I'm going to check out the website and learn more about your service. I'll reach out if I have any questions.
> There is a lot of value in being close for many tasks!

horseshoes and hand-grenades?
When you give it a large math problem and the answer is "seven point one three five ... ", and it shows a plot of the result v some randomly selected domain, well there could be more I'd like to know.

You can unlock a full derivation of the solution, for cases where you say "Solve" or "Simplify", but what I (and I suspect GP) might want, is to know why a few of the key steps might work.

It's a fantastic tool that helped get me through my (engineering) grad work, but ultimately the breakthrough inequalities that helped me write some of my best stuff were out of a book I bought in desperation that basically cataloged linear algebra known inequalities and simplifications.

When I try that kind of thing with the best LLM I can use (as of a few months ago, albeit), the results can get incorrect pretty quickly.
Can you define what you mean by novel here?
> Just today I used a completely local AI research tool, based on Ollama. It worked great.

Is it on github?
Managing Data Corruption in the Cloud
https://github.com/TheBlewish/Automated-AI-Web-Researcher-Ol...
In the wake of the o1 release, and with the old aider benchmark saturating, Paul from aider has created a new, much harder benchmark. o1 dominates by a substantial margin.

https://aider.chat/docs/leaderboards/
https://aider.chat/2024/12/21/polyglot.html
Thank you for the demo and for sharing. I like that you can scale your service as needed.
That is why being #2 in technical product development can be great. Someone else pays to work out the kinks, copy what works and improve on it at a fraction of the cost. You see it time and time again.
Show HN: A spaced repetition vocabulary app for learning any language
I've been jotting down words and phrases in my language learning journey since I was small, but I've always struggled with retention (got piles of notes and never used them).

While there're many vocabulary apps out there, most lock you into their pre-made content. Voclip lets you input the words or phrases you want to learn, and it automatically creates:

- Explanation in your preferred language
- Natural example sentences showing a real-world usage
- High quality pronunciation
- Spaced repetition scheduling to optimize retention

It currently supports: English, Chinese, Japanese, Spanish, Portuguese, and French - with more languages coming soon!

Try it out and let me know what you think!
Yeah, this is a pretty big difference to lack of trust in "experts" and "institutions". If someone doesn't trust medical experts that they should vaccinate their kids, they perpetuate objectively dangerous illnesses. If someone doesn't trust critics, at worst they perpetuate...subjectively bad movies and music?
High interest rates are inflationary because they increase government transfer payments.
This may be devastating for the small city of Lexington, Kentucky. Seems like this was one of the only major businesses in the area.
codemike.com has been taken for a while already.
Yeah I used the full litestack (and litestream for backups) for my SaaS. Oldmoe is also auper helpful on twitter.

Once Rails 8 came out I switched it all over to the solid* gems which pretty much did the same thing.

Sqlite is awesome in the beginning, especially as there are no extra services to start (I only have a web process and a jobs process), all is sqlite.

Sometimes there are db locking issues (using blazer gem, so I guess that uses a different adapter), and I had to optimize some queries. But that’s about it. The SaaS processes thousands of job daily (mission control gem is awesome) and stable so far.

At one point our DB grew to 16GB because I stored all Api requests. Even then it was still fast (except queries on that api requests table).

Running four sqlites definitely saved me some time which I could use for customer focused things. Highly recommend for MVPs, probably more.
Thanks for the feedback!

You’re right that Applyvite is currently focused on Chrome users. As a solo developer, I chose to prioritize Chrome to keep things manageable. If I can generate enough revenue, I’d love to expand to other browsers in the future!

Regarding the copy-paste comparison, I’d like to highlight what makes Applyvite different: it’s not just an AI-enhanced writing tool. The Chrome extension integrates seamlessly with our document builder, where all your job applications are organized in one place. This saves time and avoids the hassle of juggling multiple tools.

The AI improves your writing, but the real strength of Applyvite is how it simplifies and centralizes the job application process. No more scattered job descriptions or disconnected tools – everything is streamlined.

Give it a try if you’re curious – I’d love to hear your thoughts after using it. Thanks again for taking the time to share your perspective!
Here you go

https://github.com/TheBlewish/Automated-AI-Web-Researcher-Ol...
Functional domain modeling in Rust – exploration
After watching this talk https://youtu.be/2JB1_e5wZmU?si=WXoYxGnSOoMYwCFU I was wondering how it could be implemented in Rust
I figured their model was independently evaluated against the questions/answers. That's not to say it's not compromised by "Here's a bag of money" type methods, but I don't even think it'd be a reasonable test if they just handed over the dataset.
The Swedish cabin on the frontline of a possible hybrid war
It means they can't artificially limit what users are able to do with devices they own.

Ie. if Apple can use a device feature in their own apps, developers should be able to use the same feature and users should be able to get that app, whether through the store or sideloaded.

The whole EU argument is "users paid for this device, it belongs to them"
>Use local solar generation, and a lot of batteries. This works well in most of the world, but less so in northern Europe (it's not very sunny).

WHERE???? Nobody gets their electricity this way at any reasonable scale.
I don’t know if you can say that you are fighting a societal malaise by meeting with the same men every so often.
Honestly I’m not convinced it is a solved problem.

I have been trying to get my head around OAuth, zero trust, Fido, SAML et al - and I am not sure I get it.

It’s not that say “JWT tokens might be dangerous” it’s how to hang it all together in a sane manner.

For example I was listening to Security Cryptography Whatever podcast and one of the guests (Chrome dev?) said obviously don’t trust everything that comes down an established TLS connection but verify / auth each request.

That’s a pretty tall order and seems to nullify quite a lot of established frameworks

But realistically I think a lot of frameworks and standards serve different needs than “smallish number high value clients”
The commenter said "... they are classified out of habit" and you omitted that in your reply. I think it is a fair point to consider.
I would certainly think so. The statements mathematicians seem to be interested in tend to be at a "higher level" than simple but true statements like 2+3=5. And they necessarily have a short description in the formal language of ZFC, otherwise we couldn't write them down (e.g., Fermat's last theorem).

If the truth of these higher level statements instantly unlocks many other truths, then it makes sense to think of them in the same way that knowing BB(5) allows one to instantly classify any Turing machine configuration on the computation graph of all n ≤ 5 state Turing machines (on empty tape input) as halting/non-halting.
Meta to add display to Ray-Bans as race over smart glasses intensifies
SvelteKit added hash-based routing
Panama canal will be returned to the loving embrace of the USA
And as we've seen in last few years, large chunks of population do not trust experts.

Think this thread has gone from "how to Trust AI", to "how do we Trust Anything".
> That's true but apart from Poland, all large EU countries have anaemic weapon production and diverted all their military spending into social programs decades ago, which they cannot reverse.

I would say that is a half-truth. You are right that Poland is an outlier in the EU with regards to its military expenditure and preparation. However, the idea that it is because military spending in other countries was "diverted into social programmes" is a politically charged red herring. Social expenditure and military expenditure are different by an order of magnitude and are not negatively correlated.

Poland's expenses on social programs are within the EU average, and Poland has not made any sacrifices in that regard to maintain its military expenditure. Conversely, the country with the highest social spending in the EU by a large margin (France) is also the 8th in terms of military spending. Meanwhile, some of the countries with the lowest military expenditure (e.g. Ireland or Luxembourg) are also some of the ones with the lowest social expenditure.
https://archive.is/b8yBS
Google Cast is literally open already. Anyone can incorporate it into their app on any platform...
I got a Lexmark for their driverless IPP Everywhere support and it's the best zero-fuss printer I've ever owned.

Xerox doesn't have any IPP Everywhere devices, so I hope this isn't Lexmark's death knell.
I wonder if these are tokenization issues? I really am curious about metas byte tokenization scheme...
It’s the same app actually. At least on iOS.
What was the AI search tool?
Lexington has a surprising amount of employers, we should be fine. I doubt they're going to close the HQ anyway.

Did you know Tempur-Pedic is Lexington grown? Fast food chain fazolis is based here, long John silver's was. Valvoline moved here a long long time ago.

Hall Rogers is trying to make "silicon hallow" a thing so there's a lot of funding for tech companies to setup shop in Kentucky
This sounds like an argument in favor of AI personhood, not an argument against AI experts.
Because if you want to refer to things by a UUID, now you have two indexes
By coincidence I re-watched that film this weekend (I like it a lot) and seeing this article immediately made me think of it. Yes, in the film he takes meds, but he stops doing it after a while because of the side effects (impotence amongst others). Then he learns to live with the voices.
I think Haskell seems harder because it's built on another set of abstractions (laziness, typeclasses) where Python abstractions (iterators in this case, plus the with statement for resource acquisition/cleanup) are more common, but I could be wrong (I've been working with Scala for close to a decade now so functional style looks more familiar that imperative now.)

(I also always forget how to format comments, the ref is here: https://news.ycombinator.com/formatdoc )
It's not really that Haskell is "powerful", but the type system will catch a lot of errors for you and make refactoring much easier.

Also, I wouldn't recommend starting FP with Haskell. It's hard, mostly because of the monads (and laziness can make things more confusing too). Also the syntax which is confusing because indentation is meaningful in some places, but not others.

On the other hand, a language like Scheme is really super easy. Even OCaml is super simple if you stick to the classic ML subset of the language which can take you a very long way. These languages have been using to teach programming to complete beginners. Seriously, OCaml is arguably simpler than Python, and without doubt order of magnitude simpler than C++.

If you're familiar with things like lambda, closures and functions like map or filter in Python, you already know most of what you need to write OCaml code.
https://web.archive.org/web/20240927002632/https://chromeweb...

There are several complains in the reviews, though it all seems a bit bizarre in that the issue was with an opt-in so-called "eco-mode" that basically was throwing pop-ups with affiliate links.
Show HN: Bloom – Build Web Components with JSX and Async Generators
This level of conspiracy thinking requires evidence to be useful.

Edit: I do see from your profile that you are a real person though, so I say this with more respect.
I'm sure it was independently evaluated, but I'm sure the folks running the test were not given an on-prem installation of ChatGPT to mess with. It was still done via API calls, presumably through the chat interface UI.

That means the questions went over the fence to OpenAI.

I'm quite certain they are aware of that, and it would be pretty foolish not to take advantage of at least knowing what the questions are.
Late 20s you'd be just a regular idiot. Wait until you get to your 40s then you'll have enough experience to start thinking that.;)
open source rust implementation of Hacker News
https://satoshi.family/
True. In Germany some politics are calling for reactivating reactors, but is the energy companies that don't see a future that makes it worth the effort. Regarding safety, here, we rather have a unsolved nuclear waste problem. While municipalities profited from the plants, nobody wants to have the waste. There are other regions in the world, that are probably better suited for disposal, but I think one would need to pay quite a high price for disposal that would again add more to the already high costs. I have nothing against research towards more sustainable reactor types, but one needs to be honest about life cycle costs and not hope for future generations to solve the disposal cost for both waste and the plants themselves.
Just flagging it properly.
The intricacies of implementing memoization in Ruby
But there’s no calendar or contacts support with stalwart right?
That's the equivalent to what we are asking the model to do. If you give the model a calculator it will get 100%. If you give it a pen and paper (e.g. let it show it's working) then it will get near 100%.
Corporations have earned all the hate they get, UHC even more so.

Whether AI decimates the likelihoods of everyone is only more likely with unchecked corpo power in control of everything.
Lexington is the home of the University of Kentucky. Lexmark shuttering their plant wouldn’t be _good_ for the economy, but Lexington is first and foremost a “college town.”
Show HN: Your webcam as ASCII Art
You identify objective metrics, and confirm that they're objective and useful over the course of several days / weeks in a variety of different mental states. For example: "everyone thinks The Cloud™ will solve their problems, even though it never has" -> mass insanity. "Everyone thinks the sun will rise tomorrow, because it always has" -> extrapolation / inductive reasoning (probably fine).
Looks like the website is built with Laravel[1] using Livewire[2] (Alpine JS on the front-end) and the UI library used is Flux[3].

[1]: https://laravel.com/

[2]: https://livewire.laravel.com/

[3]: https://fluxui.dev/
Very cool! Love the feature to apply chapters on the scrolling bar, I recreated something similar with Claude in half an hour. Thanks for the idea.
Show HN: I built a tool for renting cheap GPUs for inference
I wasn’t even aware Xerox was still around..
You are comparing a machine the size of a container with GPUs?

its nice to be aware of this but this is so fastly different from a critisism point of view that i don't think that matters.
It’s an idiom, like the detective sniffed out some clues.
I feel like they could maybe argue that when Honey is used and actually applies a coupon and saves the user money. But when they click the “OK” button to dismiss the pop-up that says “sorry, we didn’t find any coupons for you”, there’s absolutely no excuse for stealing the affiliate cookie.
Unrelated to the discussion of JMAP, but I had the pleasure of helping host the mentioned Inbox Love conference, assisting Josh Baer and Jared Goralnick. That conference was such a fun one!

Targeted, focused conferences like Inbox Love, with 150ish or fewer attendees, are by far my favorite because you can actually get to know folks, ideas flow more easily, and everyone is focused on approximately the same thing. Much better than huge, multi-track conferences. We should host more of those as an industry.
Official release: https://global.honda/en/newsroom/news/2024/c241223beng.html
World cup 1958, Brazil National team coach explains a very convoluted and intricate tactical play for a goal in their match against Russia (then Soviet Union).

A very famous player - Garrincha, arguably one of the greatest players of early football/soccer - listened to his explanation and asked

"That's very cool and all, Mr. Feola. But have you checked with the Russians?"

(In English I think 'did the Russians agree' may sound more idiomatic)

[1] https://barrichelo.com.br/teoriadosjogos/list-trechosimprime...
According to this[1] it looks like Apple is more or less directly funding the helpline, so it's more like Apple is outsourcing the work.

Note that I don't think the 2024 table is complete yet. Compared to 2023 there's hardly anything on it. In 2023 you can see that Meta was specifically funding the helpline. Lots of other major tech companies show up too.

Though mostly the charity seems to run on European taxpayer money (~60% of its funding).

[1] https://www.accessnow.org/financials/
Regatding China recent AI advances, I would add to your point... I think China has more Chinese-language datasets that the West will find hard to get and train for effectively, than the West has in terms of its English datasets which both parties can exploit.

Additionally China has greater volume of 'less expensive manpower' and greater coercive power to create synthetic datasets than what we will see coming to bear from the West. I haven't seen other people point this out. The next few years will be intetesting times.
Hi guys,

as the title suggests, we were struggling a lot with hosting our own models at affordable prices while maintaining decent precision. Hosting models often demands huge self-built racks or significant financial backing.

I built a tool that rents the cheapest GPU VMs from your favorite Cloud Providers, spins up inference clusters based on VLLM and serves them to you easily. It ensures full quota transparency, optimizes token throughput, and keeps costs predictable by monitoring spending.

I’m looking for beta users to test and refine the platform. If you’re interested in getting cost-effective access to powerful machines (like juicy high VRAM setups), I’d love for you to hear from you guys!
I always just referred to them as “murder hornets” anyway (see the bee massacre video below)

https://www.youtube.com/watch?v=K_8B4bcrSs8
Nvidia has a unique problem, wants to move fast and has a shit load of money.

No need for Nvidia to go first to an industry standard and neither for AMD.

Personally would be great its getting backported but its so far away from an normal use case.
Could it be the top comments even though most voted are also most commented and more divisive and controversial? And the most boring comments are somewhere at the back? Hence big amount of failed predictions at the top.
Sriram Krishnan named Trump's senior policy advisor for AI
Lobotomizing Some Models
Government backed SSO is probably how this ends up. I suspect we get to it because it also solves the election influencing issues that western democracies are seeing
No it can't, and there's no such thing as AI. How is a thing that predicts the next-most-likely word going to do novel math? It can't even do existing math reliably because logical operations and statistical approximation are fundamentally different. It is fun watching grifters put lipstick on this thing and shop it around as a magic pig though.
I have no idea why that's a thing. :D

Personally I use the simple pricing scheme and looking at billing page, I pay around ~$0.35-0.4 monthly for 5 domains, with 4 explicitly set email addresses and catch-all for all domains to a common mailbox. Also I must state again, there is quite little traffic on all.
- nuclear drones

- another big drug breakthrough similar to ozempic

More broadly over the next decade, a technological renaissance, a sociological regression
I speak the queens English, I got 92%. So I spoke in Spanish: 92%. Fair enough.
My partner (Italian) just spoke in English: 92%.
Do better.
Fazoli’s is still around? I don’t think I’ve seen one in 20 years
Ironically, imgur took up half my screen on mobile with popups while I was trying to look at this image.
MI300X vs. H100 vs. H200 Benchmark
when i tried studying, i got really frustrated because i had to search for so many things and not a lot of people would explain basic math things to me in a simple way.

LLMs do already a lot better job at this. A lot faster, accurate enough and easy to use.

I can now study something alone which i was not able to do before.
You can, which is why tools like Traceloop do this.

Although it's worth noting that long context + observability doesn't always work with o11y systems since they usually put limits on the size of a log body or trace attribute.
I think the other effect, that Apple is a status symbol, is more effective. Apple is expensive (less so than before, but still). In other words, an iphone "proves" that you are better than your neighbor.

And people defend status symbols as if they're defending baby Jesus from Satan.
same, i would use it to build a thing that makes my phone ring at the push of a button.