skysight-inc/HackerNews huggingface dataset:
My issue is that it just pays more. I have no similar paying option that would have good experience in that sense.
Going Live was before PhONE Day, so it was 081 811 8181 back then. Live and Kicking stuck with the same number when it took over, with it gaining the extra digit fairly early in the run.
I used to enjoy using browsers like W3M, if you can just throw assets at your favourite tool of choice, like an image viewer, a video player, it just feels better for me as I don't have to learn a different interface for every site I visit.
You're underestimating the emergent behaviour of these LLM's. See for example what Terrence Tao thinks about o1:

https://mathstodon.xyz/@tao/113132502735585408
*> also make their SoTA GEMM/Conv implementations open-source and available for study (Cutlass)"

Cutlass is a fine piece of engineering, but it is not quite as good as their closed source libraries in real world workloads. There is secret sauce that is not open sourced.
What complexity class will be the problem of construct only hards to solve knapsack (or others) problems?
Steam Decks run on Arch Linux
> Since the rise of individualism, everyone has a different definition of "fun"

I don't think this is anything new. Back one or two centuries ago there were clubs and societies for people having common interests, social classes and behaviors.

> A few days ago I organized a party for a few friends of mine, and even from organizational perspective it was a nightmare: this guy likes burgers while that guy is vegan. This guy wants to get wasted, that guy only smokes weed, while the other one needs to stay sober. This guy can come at 21:00 at earliest, while the other needs to leave at 22:00 at latest.

I think you overthink it. The one who organize is the one who decides. You define a place, people adapts or don't come. Simple as that.

In any group of friends or acquaintance, there are those that comes since the beginning, other who are always late, some who always leave early, some who are heavy smokers and spend all their time smoking outside, others who can't handle the smoke and stay inside and some who adapt and spend time in both area. Some people who always disappear for a while. In that group, some people barely spend time together. That is fine, you don't have to be the all of us together from start to finish.
Pretty sure this is out of date now
Lean is a currently-niche programming language / proof-assistant.
A proof assistant is basically a tool to construct mathematical proofs, which verifies that the proofs are correct like how a compiler verifies types in your programs.

IIUC a regular programming language with a certain set of restrictions already duals as a proof-assistant as discovered by Curry & Howard. By restrictions, I mean something like how Rust forces you to follow certain rules compared to Java.
This? https://en.wikipedia.org/wiki/JSON_Meta_Application_Protocol

They cited IMAP's complexity, high resource use,

JMAP is implemented using JSON APIs over HTTP

They complain about complexity, then add another two layers of complexity in their own protocol?

I think POP3 is the simplest standard, and have also written a basic IMAP client. Parsing IMAP isn't as easy as a binary protocol, but it's definitely not at the level of HTTP JSON bloat that seems to have infected all "modern" protocol designers. I can use POP3 reasonably easily from a netcat (and have done so many times in the past), and IMAP is a little harder but doable. I don't expect that to be doable for JMAP which is text-based like the other HTTP JSON bloatocols, but unlike the earlier text-based standards like SMTP POP3 IMAP IRC MSNP etc., it seems to have all the disadvantages of a text-based protocol but none of the advantages.
Paging Ms Streisand.

Like, seriously, how bloody stupid is this?
The best way to predict the next word is to accurately model the underlying system that is being described.
mastodon is a fediverse client
good to see slop propagate though
My guess any person who shared affiliate links have good grounds for being part in a lawsuit. Not only they did not receive any money from PayPal for promoting Honey they had their affiliates stolen.

Honey will likely try to cop out by claiming the affiliate only changes if the user clicks the button and thats intent.
We’re discussing a literal war, with all the death and destruction that entails, and your claim is “the bigger harm” is not wasting more money on a power hungry subpar parrot that is accelerating the dissemination of disinformation and making it harder to fight climate change with its energy consumption.

We’re all doomed. Anyone who believes AI will kill us is delusional, humans are greedy and stupid enough that we’ll do it ourselves.

https://www.newyorker.com/cartoon/a16995
> Lets say instead that he has a history of callous disregard for the rights and dignity of others, the truth, those closest to him (partners, children, etc), and the world at large.

I mean, that fits most definitions of ‘evil’, other than the cartoonish moustache-twirling variety, which was always more of a literary trope than a real thing.
I am fairly optimistic about LLMs as a human math -> theorem-prover translator, and as a fan of Idris I am glad that the AI community is investing in Lean. As the author shows, the answer to "Can AI be useful for automated mathematical work?" is clearly "yes."

But I am confident the answer to the question in the headline is "no, not for several decades." It's not just the underwhelming benchmark results discussed in the post, or the general concern about hard undergraduate math using different skillsets than ordinary research math. IMO the deeper problem still seems to be a basic gap where LLMs can seemingly do formal math at the level of a smart graduate student but fail at quantitative/geometric reasoning problems designed for fish. I suspect this holds for O3, based on one of the ARC problems it wasn't able to solve: https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_pr... (via https://www.interconnects.ai/p/openais-o3-the-2024-finale-of...) ANNs are simply not able to form abstractions, they can only imitate them via enormous amounts of data and compute. I would say there has been zero progress on "common sense" math in computers since the invention of Lisp: we are still faking it with expert systems, even if LLM expert systems are easier to build at scale with raw data.

It is the same old problem
where an ANN can attain superhuman performance on level 1
of Breakout, but it has to be retrained for level 2. I am not convinced it makes sense to say AI can do math if AI doesn't understand what "four" means with the same depth as a rat, even if it can solve sophisticated modular arithmetic problems. In human terms, does it make sense to say a straightedge-and-compass AI understands Euclidean geometry if it's not capable of understanding the physical intuition behind Euclid's axioms? It makes more sense to say it's a brainless tool that helps with the tedium and drudgery of actually proving things in mathematics.
I'm not sure if those still count as fans or former fans suffering from nostalgia. Consider Call of Duty. I really liked 3 and 4. After that, not so much, and I have not even bothered with recent ones. They could've stopped there, as far as I'm concerned. I also did not really like The Phantom Menace either, but I get the appeal for _others_ (and I liked the next one a lot more). Do I include that in my review? If it is a personal review, no. If it were a professional review for a magazine or website (i.e. critic)? Sure. I believe (cannot prove) the main reason the latest Star Wars movies gets a lot of flak is Star Wars = Disney, and Disney is too 'woke' for some people. They don't like a female POC lead.
Google gives first result as "Purdue University Northwest". But assume that's not what OP meant, or did they? Pacific North West is the second result.

This seems to be a very American thing - using acronyms that is American only but then that's what HN must be - mostly American in terms of members :)
Ask HN: Concerns About Workplace Behavior
Hi HN,

I started a new job recently. However, after several months, I noticed different behavior patterns among my colleagues. I think the first 5-6 months were fine, but then I began to notice certain things. For example, during stand-up calls, most of my colleagues would purposely switch their cameras off when I spoke, even though my camera is always on. Additionally, I noticed several inappropriate, greasy jokes directed at me. I also observed that some colleagues started speaking to me as if they were my manager. My performance is fine, and my manager doesn’t seem to have any issues with me, although I’ve noticed that he is also part of this behavior.

Does this behavior seem like bullying or gaslighting?

What would you do if you were in my situation?
Did it also make it impossible to steal it?
I just really doubt this when it comes to China.

Betting against China being able to build anything at this point seems pretty dumb.

Almost delusional I would say.
I disagree. The shape of the instrument makes some sounds easier to make than others. Pianos are inherently polyphonic while trumpets play one note at a time. Anything made in the shape of twitter will result in twitter like behavior.
You are probably thinking of gaea - not gaia. Gaia is also a world generator but not as widely recognised as gaea (and gaia is only implemented as a unity plugin IIRC).
The politics of Ukraine war is extremely complicate. After WW2 Ukraine got territories from Hungary (and they are still very mad because of this), Slovakia, Poland and Romania. Then Ukraine had very aggressive policies against the people from these territories and they mostly failed, these minorities speak Russian as the second language, not Ukrainian. This is not something that it is easily forgotten, people in the countries listed above still have family in Ukraine and have first hand experience of the situation.
> 60% of gen Z men are single, 30% women

I always do a double take when I read such statistics. How can they possibly add up? Are gen Z men considered particularly undesirable leading to lots of relationships with large age gaps? Is there a ridiculously large overhang of gay women (over men)? Is there a huge number of men with multiple partners?

These gender disparities are difficult enough to believe when they come to sexual relations, it gets even harder when talking about relationships.

I guess what I'm saying is: I don't believe those numbers as stated and would be interested in an explanation or at least a source.
‘Warning! You may end up irrationally happy and fulfilled!’
I'm not sure what point you are trying to make. I don't look up to Freud and psychoanalysis doesn't work for everyone! I don't even necessarily recommend it. It just worked for me and I realised that in my case the depression was a confused outlook conditioned by a certain situation.

My point really is that you can feel one way for your entire life and then suddenly feel a different way. I'm not suggesting psychoanalysis specifically. Perhaps for others, CBT or religion or just a change in life circumstances will be enough.

The fact that these philosophies are dependent on the life situation to me is a reason to be a little sceptical of their universality. In my personal experience, in those 30 years of my life, I thought everyone thought the way I did, that reality was painful and a chore and dark and dim. Psychoanalysis helped me realise that other people actually were happy to be alive, and understand why I have not been my entire life.

YMMV = not everyone hates life
Traded as a single X letter, to confuse people even more
Nvidia's heuristics are not accurate, and it's not possible to achieve peak performance without search.
POP3 has no locking. It won't work with multiple clients, and that is awful. But I agree with your assessment. We need good utilities which make JSON human-readable, and which turn human-readable into JSON. Might as well not use JSON, except for internal traffic.
I'm looking forward to it and ready to beta test immediately!

PS: while we're at it, could you please take a look at #248 @ GitHub. Seems like this issue's export to linear failed when I have opened it.
Sounds like that should be required by law, not the whims of an abusive monopolist.
It is a gradual thing. Presumably the models are inferring things on runtime that was not a part of their training data.

Anyhow, philosophically speaking you are also only exposed to what your senses pick up, but presumably you are able to infer things?

As written: this is a dogma that stems from a limited understanding of what algorithmic processes are and the insistence that emergence can not happen from algorithmic systems.
> to the north west of the pacific ocean

that's simply not what the phrase "pacific northwest" means. it's "the northwest" (of the U.S. in this case), modified by the word "pacific".
Why would others provide proofs when you are yourself posting groundless opinions as facts in this very thread?
> if the underlying LLMs dont get any better, there is no reason to expect the system built out of them to get any better.

Actually o1, o3 are doing exactly this, and very well. I.e. explicitly: by proper orchestration the same LLM can do much better job. There is a price, but...

> you would expect to be able to build agentic systems out of much smaller LLMs

Good point, it should be possible to do it on a high-end pc or even embedded.
On the nature of computing science (1984)
> While it may look like Apple is abdicating its responsibility to protect its users

After reading the whole thing it still looks like that. After doing all that work to identify who’s been targeted with mercenary spyware why would you want to go to someone else to have them try their best at finding who it was?
What UX library did you use here? It looks like bootstrap but isn't (as far as I can tell).
HN is extremely US-centric in general so it's hardly surprising that US acronyms are used without elaboration.
IMAP is both excellent and, annoyingly inconsistent so it's much more of a pain to develop reliable parsers for. I'm pretty happy to use IMAP generally, but I'm also... MODSEQ is wrapped with a () in some places, not but STATUS HIGHESTMODSEQ:

. SELECT INBOX.Archive
* 1239 EXISTS
* 0 RECENT
* FLAGS (\Answered \Flagged \Draft \Deleted \Seen $X-ME-Annot-2 $HasAttachment $IsNotification $IsMailingList $NotJunk $CanUnsubscribe)
* OK [PERMANENTFLAGS (\Answered \Flagged \Draft \Deleted \Seen $X-ME-Annot-2 $HasAttachment $IsNotification $IsMailingList $NotJunk $CanUnsubscribe \*)] Ok
* OK [UNSEEN 1221] Ok
* OK [UIDVALIDITY 1108730350] Ok
* OK [UIDNEXT 2231] Ok
* OK [HIGHESTMODSEQ 40306873] Ok
* OK [MAILBOXID (210306ee-5833-456b-bede-6d04757128b3)] Ok
* OK [URLMECH INTERNAL] Ok
* OK [ANNOTATIONS 65536] Ok
. OK [READ-WRITE] Completed
. FETCH 1 MODSEQ
* OK [HIGHESTMODSEQ 40306873] CONDSTORE enabled by FETCH MODSEQ
* 1 FETCH (MODSEQ (39570709))
. OK Completed (0.000 sec)

And... the * operator ranges.

. FETCH 2231:* (UID MODSEQ)
* 1239 FETCH (UID 2230 MODSEQ (40306872))
. OK Completed (0.001 sec)

Source: have also implemented both client and server side IMAP, and reviewed RFC9051 very closely.
At this stage I assume everything having a sequencial pattern can and will be automated by LLM AIs.
it can take my math and point out a step I missed and then show me the correct procedure but still get the wrong result because it can't reliably multiply 2-digit numbers
Infiniband is a monopoly from NVidia (Mellanox). Everyone else would much rather use Ethernet which is the actual industry standard.
I think this is a silly question, you could track AI's doing very simple maths back in 1960 - 1970's
20s on the difference between the captor-m and captor-e, with lasers. Remember to unmute.

https://youtu.be/5l8LdM9_3PU
“Believe in God, but tie up your camels”.
The edge that functional languages give you is expressiveness, the more complexity you have in the business logic, the more that compounds.
every linux user group. wherever i go i look for them.

but boardgames work like that too. see my other comment.
The amount of value creation is off the scale. It's like when people started using Google, or Google maps.
Seeing the place where you have lived for years and decades, and the people who you met a million times, with the eyes and openness of a traveler, would be such a gift. I wonder if it could be practiced somehow.

> yet everyone, including me, complains how we yearn for such a social atmosphere

But how hard it is to just tell a person you vaguely know (like neighbors or people who you know from work or venues) "I feel a bit lonely, wanna do something?".. we always have to have a "better" reason than just that. I wonder how many people chat with people they bump into, and then both go home lonely wishing they had a "good reason" to hang out with that other person, like in some weird ass prisoner's dilemma where the punishment is losing face. Probably a lot. But we hear so much about how people are more lonely and isolated, it shouldn't be that embarrassing admit being to be one of those who aren't quite content with their social connections.

If in doubt, I'd suggest finding something to volunteer or help out with. You never have to justify helping out with something where help is needed -- that is, nobody is going to ask if you're not really just there because you're lonely -- and you tend to run into social people. And even when it doesn't spark a friendship it's usually time well spent, and in the rare cases where it's not, just don't go to that particular thing again.
If not bad training data shouldn’t be problem
Yeah, but current practise isn't in any way promoting the Progress of Science and useful Arts.
Bash is also memory-safe.

Almost every programming language is memory-safe, but Smalltalk and most high-level dynamically typed languages require a fat runtime, and have a much higher overhead than C or Rust.

For languages that can be credible C and C++ competitors, the design space is much smaller.
You are onto something. I moved the goalpost. One of the reasons might be that the conversation dragged over hours and I lost the precise context in my head, with tons of distractions coming my way.
I’ve used this for a side project. Coupled with Litestream for backups it’s awesome.

I would 100% recommend.
This post starts with " Software that controls (nuclear) power plants, elections, pacemakers, airplanes, bridges, heavy machinery " and proceeds to list pracitises you should apply to, say, shopify or facebook. Those practises are no where near robust enough for industrial software. Such is the degree of risk adversity that the use cases above can run on out of date hardware and ancient software, and change is deplored in favour of workarounds. Why is that ? Well engineers see risk differently to us - they will attempt to remediate all risk, whereas we will mitigate that risk. That mitigation is the substance of the post, and I have no quibble with that, but to assume that is best practise for my ICD is naive. The author proposes that doing what we do well is sufficient, whereas we need to shift our thinking to a world in which we are in complete control.
Show HN: Super Snowflake Maker
Hi all! Just released Super Snowflake Maker!

Draw on the pie with freeform or polygon tools, change the number of sections, click on the large snowflake to see fold, and.... download!

Enjoy + Happy Holidays!

(tech: threejs/r3f, react, ts, useSpring, tailwind, canvas, svg, offscreen canvas, paperjs)
This is a very verbose article that does not really engage with the actual question in the title. I still do not understand why apple (and in general big tech it seems?) reroute users to external forensic services instead of doing the forensics themselves. This only thing the article says about it is "they do not want/it is better this way".
I think a more accurate statement is “Israel infiltrated a supply chain to sell IEDs to, possibly, Hezbollah”. These explosives went off in public places and killed random civilians.

The only thing I’ve learned here is that securing the supply chain of consumer goods is more important than ever.
What a mindblowing project!

Are you guys looking for people? Haha
"Pagination in feeds like ATOM and RSS?" - https://stackoverflow.com/questions/1301392/pagination-in-fe...

Sounds like something that could be scored in the rss reader tests.
must of?
They have added features though. They're just not invasive. They added masked emails, for example. And if I look at the settings right now, I notice they've added customization of what swipes do.

I too like the feeling that they're stable. I guess they're just tactful with their additions.
But hasn’t it become quite easy to deal with this issue simply by asking for the sources of the information and then validating? I quite like using the consensus app and then asking for specific academic paper references which I can then quickly check. However this has taught me also that academic claims must also be validated…
> AGI is special. Because one day AI can start improving itself autonomously

AGI can be sub-human, right? That's probably how it will start. The question will be is it already AGI or not yet, i.e. where to set the boundary. So, at first that will be humans improving AGI, but then... I'm afraid it can get so much better that humans will be literally like macaques in comparison.
There is value in being able to lead the direction of the tech with new features. Look at how many companies bother contributing to Linux even though all their competitors get access.

Alternatively, look at Google trying to take control of the web/HTML with their Web Environment Integrity API proposal. If the web was a "Google Protocol" rather than a W3C one, they would have been able to add it despite the negative feedback.
Thanks for your feedback!

>Would managing the git repo include CI/CD?
Not really, we already have some people who manage our Jenkins instance.

>Do you have a CS degree?
I don't, I have a scientific background and then I did a coding bootcamp. I don't really plan to get a CS degree since I already have hobbies that take all my free time.

Do you have any insights on what an analyst is doing in a company? Is it different from what I do now?
I remember seeing an article discussed here on HN a while ago about OnlyFans creators using LLMs to automate the pretend personal relationship with paying fans.

Isn't that exactly what you suggest? A paid one-sided relationship that helps people feel better about themselves, with a bit of naughtiness mixed in.
> if the EU offered to pay for the weapons

It's a bit like if Mexico offered to pay for the wall at some point... Europe should not be a carpet, it has more than enough weapons manufacturers and any additional funding should be directed to them.

The war in Ukraine has so far been good for the US and bad for Europe so it's bonkers to suggest that Europe should make things even 'worse' for itself.
My first thought: I wouldn’t want a financial relationship with or obligation to customers who can’t manage to pay their bills on time. Introduce them to the envelope system of budgeting.

For people who don’t live on the edge: autopay. Most banks in the US have an automatic bill pay service.
AI will be used to ferret out novel enshittification opportunities
Correct, just as section 8 didn't repeal the 1st amendment. Congress does not have power to enact legislation that violates the 1st amendment.

Since section 8 exists DMCA is nearly entirely redundant. Repealing DMCA would do nothing to strip copyright owners of their rights.
So it's not trivial and you don't have competent AI office workers.
AMD doesn't need to beat Nvidia, they just need to match them at a lower price point.
There can be more than one problem. The history of computing (or even just the history of AI) is full of things that worked better and better right until they hit a wall. We get diminishing returns adding more and more training data. It’s really not hard to imagine a series of breakthroughs bringing us way ahead of LLMs.