skysight-inc/HackerNews huggingface dataset:
our linux user group puts up a penguin. since the meeting is always in the same pub, the penguin is left there on a shelf when not in use
I think it's the same and I cannot be convinced otherwise.
Bitcoin has a proof of work based blockchain.

The length and story of the chain is a unique experiment, unlikely to be replicated ever again in my opinion
Better than an average human then.
It's not that black and white. I know of no single person who is correct all the time. And if I would know such person, i still would not be sure, since he would outsmart me.

I trust some LLMs more than most people because their BS rate is much much lower than most people I know.

For my work, that is easy to verify. Just try out the code, try out the tool or read more about the scientific topic. Ask more questions around it if needed. In the end it all just works and that's an amazing accomplishment. There's no way back.
Can anyone explain to a layman like myself why it wouldn't be better if we just used bytes as tokens?
Around here the main culprits of spreading loneliness, esp. among men and women in their late 20s and later, are marriage and kids and the victims are those who didn't go for it, or didn't happen for them. Now, we can get into the deep debates of "you can be lonely in a family or among people" but let's keep that aside for some other day.

It must be a different geography/culture thing but if I want to deal with loneliness a bar or a pub is probably the last place I'd go looking for people to spend time with drunk. Hobbies, workshops, sports are the venues that work. For me letter writing seems to work - but very little. Met some friends and if they are from nearby cities or my own city then we kind of make time to meet et cetera. But it's not sustainable.

What this article lists is more like - there is already a group of friends who meet at a reserved table regularly. How does it even begin to work against loneliness? Loneliness IMHO is when you have no one to spend time with or they can't make time or you can't make time.

It comes down to this - you might want to figure out what kind of person you are early in life (as in mid 20s early) and what do you need in life in terms of company and possibly work on possible loneliness later in life - or plan against it - but that doesn't happen, does it? Also, at least in our generation's case, the social scene changed faster than one could cope and the COVID was almost like pulling the rug. Before and after were so different that felt unrecognisable. I have friends who loved the closed world of COVID and couldn't care less about the lack of people who give them their time and want their time, on the other hand there are people like me who are getting more miserable everyday for the lack of it and now wonder whether going for marriage probably would have been a better decision practically and realistically. Then you wonder maybe not.

My fight against it is by keeping very fit, resuming running, resuming reading (as in active reading otherwise it never stopped), get into cinema (again actively - join some film clubs/forums etc), multiple weekly sports (and one daily), and starting gym (which is part of keeping fit of course) et cetera. And the most important - I am still dealing with it - is fighting procrastination. The keeping fit part really helps, it might not seem so. But it does. It helps both physically and mentally.
I recall finding them as a teen myself on the internet, there were books and stuff on the subject but it was treated like something that might be risky, in the best of cases you would end un with a benign tulpa worse case you end up similar to OP or worse

It was certainly treated as "underground" knowledge, less something like you would share and more something you would find on a chan
I just spent a few days trying to figure out some linear algebra with the help of ChatGPT. It's very useful for finding conceptual information from literature (which for a not-professional-mathematician at least can be really hard to find and decipher). But in the actual math it constantly makes very silly errors. E.g. indexing a vector beyond its dimension, trying to do matrix decomposition for scalars and insisting on multiplying matrices with mismatching dimensions.

O1 is a lot better at spotting its errors than 4o but it too still makes a lot of really stupid mistakes. It seems to be quite far from producing results itself consistently without at least a somewhat clueful human doing hand-holding.
Luxury good is anything that is not strictly necessary for a given purpose, in this case daily life. You will likely need a smartphone of some kind in this day and age to live, but you do not strictly need an iPhone. Hence, iPhones are a luxury good.
It is not between soccer fans.

Many brits cannot behave when they are on vacation, mostly because of alcohol. Not all of them, but a significantly high portion of them compared to other countries. But german have similar reputation regarding being drunktards especially when in large groups.

Other nationalities may have their own reputations and clichés. Spanish people are loud, french people complain about everything and don't make a single effort to speak the local language, etc.

As always it is always about statistics and the biggest groups tend to have the more stereotypes and generalizations. But clichés often exist for a reason.
I was really hoping you'd quote the wrong law. That would have been a sigma move.
Using Postgres is becoming easier with the new Rails Solid [Queue, Cable, Cache] stuff.
I fully agree with your final statement, but needing to constrain the problem in an artificial way to prove it's NP-complete doesn't mean the constraint was justified or realistic, because then you've only proved the constrained version of the decision problem is NP-hard.

There might be plenty of perfectly "good" tokenizers (whatever that ends up meaning) that can be found or generated without formulating their design as an NP-complete decision problem. Claiming "tokenization is NP-complete" (paper title) in general seems like an overstatement.
Exploring LoRA – Part 1: The Idea Behind Parameter Efficient Fine-Tuning
Show HN: Reubah – a web-based tool for convert images/docs
Hi guys, I just created a simple web-based tool for converting images and documents. Feedback is appreciated!
NextBigThing™ will eat into the attention market share of LLMs. It will be a breakthrough in one of these fields:

a) Quantum Computing
b) Energy (storage/generation)
c) BioTech

We will see an exciting application of Real Time Linux.

Cease-fire in UA. First negotiations about drawing new borders between UA and RU.
also my experience, when meeting with friends on austria i was often the only one who didn't drink alcohol. i can't remember a single time that anyone would notice or say anything about it.
Alan Greenspan phrased it as “irrational exuberance”.

Also, most Americans’ tax advantaged retirement accounts (via 401Ks) are locked in with consistent contributions to diversified index funds or ETFs containing primarily large market cap companies that make up a majority of the stock market.
Why standing on one leg matters
I recall hearing about this a while back, and how the team at Meta had implemented hotswapping to deploy new rules, without redeploying the entire executable, even though the rules were expressed in a Haskell DSL.

Unfortunately, I have never seen hotswapping of Haskell code anywhere else. All I can find is this library [0] by Simon Marlow.

Together with Cloud Haskell [1], hotwapping would allow to create pretty flexible distributed systems à la Erlang/OTP.

[0]: https://hackage.haskell.org/package/ghc-hotswap

[1]: https://github.com/haskell-distributed/distributed-process
It's fascinating that this has run into the exact same problem as the Quantum research. Ie, in the quantum research to demonstrate any valuable forward progress you must compute something that is impossible to do with a traditional computer. If you can't do it with a traditional computer, it suddenly becomes difficult to verify correctness (ie, you can't just check it was matching the traditional computer's answer.

In the same way ChatGPT scores 25% on this and the question is "How close were those 25% to questions in the training set". Or to put it another way we want to answer the question "Is ChatGPT getting better at applying it's reasoning to out-of-set problems or is it pulling more data into it's training set". Or "Is the test leaking into the training".

Maybe the whole question is academic and it doesn't matter, we solve the entire problem by pulling all human knowledge into the training set and that's a massive benefit. But maybe it implies a limit to how far it can push human knowledge forward.
> I still don't get how one can have blind brand loyalty to a corporation.

Constant exposure to billion dolar driven advertising is very effective in brainwashing people into thinking of brands as friends. While the opposite is usually true.
It's baffling that we allow this in our societies in such extend.
THIS!

Litestack seems great and probably partially paved the way for similar functionality directly in Rails 8 with the new solid* gems.

Those plus litestream are a treat
You didn't get it. The surgeon is by necessity a random person before he learns his trade. Just like a reviewer. You're not born into it. Expertise in evaluating art is usually self-made expertise (the academic expertise in this field has zero value), meaning they're all "random people".
I think I recall that being somewhat disputed because the relationship status was self reported, some suggested that men might not consider certain types of relationships as serious but women do, so there's a disparity in reporting what is and isn't an actual relationship and the reality might be more balanced. Sweden statistics, xd.

From what I can find after a brief search, there's this one [0] that claims 63% for men, 34% for women, and [1] there's a a generally known toxicity around dating these days that makes these numbers entirely believable. I don't pretend to have a large enough network of acquaintances to make a good guess, but hardly anyone I know isn't single, and I know maybe two or three religious types that are actually married.

As for gen Z men being especially undesirable, there's well... [2].

[0] https://www.pewresearch.org/short-reads/2023/02/08/for-valen...

[1] https://old.reddit.com/r/GenZ/comments/1eo9bzj/interesting_b...

[2] https://www.ft.com/content/29fd9b5c-2f35-41bf-9d4c-994db4e12...
I think acronyms (or initialisms) are a form of community enforcement. If using jargon to reinforce that people in the group understand.

Or maybe that’s my best interpretation. As it’s also just faster to type PNW than Pacific Northwest and someone who lives there must need to type it quite a bit.

But either way, HN is a community and many people value efficiency and, more specifically, code systems for efficient communication.
Did you actually write 500KB as 0.5MB to make it sound BIGGER?

Clever.
For anyone else outside the loop, MegaLag released a video [1] yesterday exposing the shady practices by Honey

1: https://youtube.com/watch?v=vc4yL3YTwWk
Lighting then VS Now: Fire before Electricity [video]
that's why it is important to make friends outside of work. and for friends at work i try to find common interests that are unrelated to work.
> It would make so easier and reliable to have a single client that works really well across personal and business email accounts, for example.

Does not Thunderbird work with Gmail/Microsoft/etc? Does not Apple's Mail.app?
My anecdote is that that has never happened to me and all IMAP clients seem fairly stable to me. Do with that information what you will.
people who live there don't want a bar (which here, often means drunk, yelling, rowdy, drunk-driving, publicly-urinating people) going up right next door to their house/condo. Other example of zoning laws would be auto repair shops (15 broken-down oil-leaking cars parked down the street). each city can decide these things.
Post your portfolio alongside please :)
If only there were some kind of HTTP headers that could help them stop doing a GET every hour!

Gosh darn, if only I could say "Hey, please only send me the data if it's been modified since I last requested it an hour ago" somehow.
It depends on how you do it: the QR code, link, long-distance or text-message process does indeed upload to Samsung servers.

https://www.samsung.com/uk/apps/quick-share/?srsltid=AfmBOor...
Show HN: Sales Agents Built with OpenAI, Twilio, and Google (Sheets/Calendar) [video]
This weekend, I built an AI sales system that automates cold calls and books meetings – here's how it works.

Icombined Twilio for the phone calls, OpenAI for the speech to speech AI, and Google Calendar / Google Sheets to replace a CRM.
The result? A system built on Google Sheet that lets you upload a prospect list, provide some context and guidelines, and then let your AI agents handle the cold calls until they book meetings directly into your calendar.

Check out the demo here https://vimeo.com/1041701840 – you'll see not only how natural the AI agents sound (thanks to OpenAI's advanced voice mode), but also how everything from the agents to the timezone is customisable.

Please note that this isn't a product launch - I will be testing it internally with SPAR in early Jan, and I'll share the real results then.

That being said, if you :
* Need this solution for yourself
* Have questions about the code
* Are curious about what we do at SPAR

Feel free to reach out via comment or DM.

Finally, Happy holidays and all the best for 2025!
see my previous comment in this thread (if you're asking why they are "illegal", really just forbidden by zoning laws)
> at every bar in the country

[[citation needed]]

But the thing is this... every pub and bar chain in the world is like this, pretty much, except Sam Smiths. That was the point of the article.

The company does not and will not sell ANY third party products. EVERYTHING the chain sells, it makes.

No Coke. No Pepsi. No Heineken. No Guinness. No other brands at all of alcoholic, non-alcohol, snacks, or foods.
A news aggregator in a few lines of Python
Nothing fancy, just pulls links from rss feeds and writes them to a html file.

Script here:
https://github.com/nx1/nx1.github.io/blob/master/news/make_n...

The page can be made to refresh using GitHub actions by adding this file to your repo:

https://github.com/nx1/nx1.github.io/blob/master/.github/wor...
Trump appoints college football player Bo Hines to head crypto council
Agree the article doesn’t answer the question at all.

My guess is expertise and scale; if Apple finds five such users a day, that doesn’t support a staff of 100 forensic experts. But if Apple, Facebook, Google, etc, etc, find 500 users a day, that might.

But who knows? The article sure doesn’t.
What do you think of Murphy's or Beamish?
If constrained by existing human knowledge to come up with an answer, won’t it fundamentally be unable to push human knowledge forward?
So long as you know what If-Modified-Since is, and use it, you can have all or none of the sympathy you want.
I'd like to see this for smaller n, to see if there are motifs or patterns, which can be used to implement memoisation like Hashlife (https://en.m.wikipedia.org/wiki/Hashlife), or to reveal new formulas for exploring Collatz sequences with.
Reddit is now only useful as data for AI training.
New Pain Medication Suzetrigine Prevents Pain Signals from Reaching Brain
Good on you champ.
> If JMAP is to be successful, having support in Thunderbird is a must have first step. It's not helpful if the same party that provides the mail service provides the frontend as well.

And if you're going to fund development, also put it in Dovecot.

* https://en.wikipedia.org/wiki/Dovecot_(software)

It does seem to be in Cyrus, but I'm not sure what the marketshare of that software is nowadays:

* https://en.wikipedia.org/wiki/Cyrus_IMAP_server

* https://en.wikipedia.org/wiki/Comparison_of_mail_servers
Then much of human research and development is also fundamentally impossible.
It's worth noting that Simon Marlow is at Meta, and indeed is also the author of the present article.
> More like a skill issue

Hey, I think you mistook HN for Reddit.
He did not write it for others to read. Please respect his privacy and don't read them.
If you assume that BTC's market cap increases 5x-10x per $1 in inflow it receives, if it does another $100b in inflows next year, it'll be between $120k-$130k
Different than an average human.
Interesting, I find it useful. A couple of features you could think about:

1. Is there a feature to create a "pull request" to the collection maintainer to propose adding some extensions to their collection? Otherwise, there would be several public shared collections for the same use-case and it may become scattered.

2. I'd like to be able to favorite / like / star a collection, and that to be used as a signal to search results ranking.

Another adjacent domain to expand could be Tampermonkey scripts.
So ‘trust me bro, it happens’?
A lot of the western GDP is stuff like marketing, ads, accountants - none of these are useful when the bullets are flying - ask the CEOs.

The war will stop on the current lines, and Russia will use the 4 years of respite to re-arm and take the rest of Ukraine in 2028.
This comment is seriously uniformed as one can clearly see by all the responses garnered, or a quick stop by the place.
It’s interesting to me that you talk about watching podcasts. To me, they are still mostly a feed of audio files with some outlier video podcasts gathering big audiences.

Am I out of date on that? Is video the primary format for podcasts now?

> 1% of the population

Human population. I bet they are used for training a significant number of big AIs.
Yeah think about sociopaths. People want them shot on sight all for the crime of having a personality disorder in need of treatment.
I use Poetry and pin the Python version. Ugly, but it works.
AWS announced 2 or 3 weeks a way of formulating rules into a formal language.

AI doesn't need to learn everything, our LLM Models already contain EVERYTHING. Including ways of how to find a solution step by step.

Which means, you can tell an LLM to translate whatever you want, into a logical language and use an external logic verifier. The only thing a LLM or AI needs to 'understand' at this point is to make sure that the statistical translation from left to right is high enough.

Your brain doesn't just do logic out of the box, You conclude things and formulate them.

And plenty of companies work on this. Its the same with programming, if you are able to write code and execute it, you execute it until the compiler errors are gone. Now your LLM can write valid code out of the box. Let the LLM write unit tests, now it can verify itself.

Claude for example offers you, out of the box, to write a validation script. You can give claude back the output of the script claude suggested to you.

Don't underestimate LLMs
> I don’t know why Fastmail has developed mobile apps but no desktop applications so far.

I wonder what the mobile app adds beyond what the platform-agnostic webapp already does.
You are still misinterpreting my words.

I said, and spelled out and clarified:

All *I KNOW*.

If you can falsify my argument by producing examples of people who recommended Linux as a general-purpose end-user OS before Mac OS X existed and did so publicly, in published or recorded work, and who have not switched to macOS since and persist in recommending Linux in preference to it, then I will concede your point.

I am not being confrontational for the sake of it. I think you are misinterpreting me and arguing with something I didn't say.
> a power hungry subpar parrot

You may yet live to be bitten in the gluteus maximus by said parrot.
Ah shit you're right, I forgot about that, yeah they are absolutely on it. I guess it makes more profit for people to believe that they're actually talking to a real person if they can't tell the difference anyway.
All I've seen here are non-response "responses". You saying they actually responded on Reddit, or what?
I don't think many expect AI to push knowledge forward? A thing that basically just regurgitates consensus historic knowledge seems badly suited to that
Toward security in sustainable battery raw material supply
Isn't Wolfram Alpha a better "ChatGPT of Math"?
I think that’s provably incorrect for the current approach to LLMs. They all have a horizon over which they correlate tokens in the input stream.

So, for any LLM, if you intersperse more than that number of ‘X’ tokens between each useful token, they won’t be able to do anything resembling intelligence.

The current LLMs are a bit like n-gram databases that do not use letters, but larger units.
I haven't checked in a while, but last I checked ChatGPT it struggled on very basic things like: how many Fs are in this word? Not sure if they've managed to fix that but since that I had lost hope in getting it to do any sort of math
Even accepting for additional cost with human. With the current model we are still roughly 10^3 in terms cost.

Less risky to deploy question will probably come once it is closer to 10x the cost. Considering the model was even specifically tuned for the test and doesn't involve other complexity I will say we are actually 10^4 cost off in terms of real world scenario.

I would imagine with better algorithm, tuning and data we could knock off 10^2 from the equation. That would still leave us with 10^2 cost to improve from Hardware. Minimum of 10 years.
you want alone time but also time away from family, which can be filled by meeting others. i know it's not easy, but i would try at least once a month. also arrange the same for your partner.

you want friends that allow you to share and open up on problems that you face. as soon as you have your first fight you'll want some else to talk to.

a psychologist also told me that putting all your companionship needs on your partner can be burdensome. for example if i like to play board games and my wife doesn't then i better keep meeting others to play instead of giving up playing
Britticisms? In English? The hell you say!
I think that very much depends on the Stammtisch. There are also welcoming ones and open ones. Some you might have to RSVP for, some you hear about from friends.
IMO it’s dangerous to call experts experts as well. Possibly more dangerous.
How to train an AI strapped to a formal solver.
Good idea. Although, from the little exploration I did with examples for small n, given the low stopping times, the behaviour was very boring. Nothing necessarily interesting. But then again, I didn't explore it exhaustively.
In new code I try to use threads, but certain things like yield which rely on async are simply too common and useful to stop using.

So far in production if I need to use multiple cores, I use multiple processes and design apps that way. The discipline this imposes does seem to result in better apps than I wrote in an environment like Java with tons of threads.
I'm pretty sure i saw a video from Nvidia research using generated environments for training robots etc.

Can't find it quickly though.

Nvidias Omniverse is one of the core things though
Not sure if it's been mentioned but 1831 on a keypad makes a triangle, or a prism, if you will.
Rachel isn't serving adverts on on her blog. She's not trying to sell you on her consulting business.

So my question to you is... ...why is it so anti-you, and why should it be different?
No:
https://github.com/0xnurl/gpts-cant-count