skysight-inc/HackerNews huggingface dataset:
Application error: a client-side exception has occurred (see the browser console for more information).

Console:

ReferenceError: SpeechSynthesisUtterance is not defined

A client-side exception has occurred, see here for more info: https://nextjs.org/docs/messages/client-side-exception-occur...
> No it does not. If the packet is at your door it is too late already.

Too late for what? Again, it only makes sense to talk about "security" in the context of a threat model. You can debate the reasonableness of that threat model, but that's another discussion.

My threat model(for the sake of argument :^)) is an attacker with a static public IP address trying to bruteforce access to my service via repeated login attempts.

I'll maintain(for now) that fail2ban can be an effective tool that does provide some security against an attacker of this kind.
Culture isn't culture anymore, it's content to put ads around. People aren't artists, they are content creators. And now the final form, content is only useful past its ad serving ability if it can be used to train models.
Really not true.

If you take China to be a totalitarian society, we could name Ciu Lixin.

If you took the Soviet union to be a totalitarian society, we could name Mikhail Bulgakov, Stanislaw Lem, etc.

These are just examples I know without so much as looking at my bookshelf to jog my memory. Not to mention the great works of literature produced by residents of 19th century European empires whose attitudes to free speech were mixed at best.
I really want to like that idea you're describing, however I've found in practice, there absolutely is a practical difference between code, data and types. I mean, they literally live in different sections of a process. If you design a program that runs on a real machine, and you spend a lot of time thinking what the program should do, how it can put the limited resources of the system to good use -- you absolutely need to think about code and data separately. Mostly think about data, really.

The one area where "code is data" remains a nice idea in my mind is for metaprogramming. And whenever I've done more metaprogramming than small doses, I've come to regret it later, no matter what the language was. (Small doses of metadata can be done even in statically typed, AOT compiled languages without RTTI).

The reason is I think, just basic data structures and simple procedures built in to a language allow you to express most everything you need, in a very direct manner. The number of distinct concepts you come up with as a programmer can usually be directly defined in the base language. Metaprogramms won't create new concepts as such, it's only code run in a different phase. There is definitely a case for generic/templated data structures but it seems it's best to use them sparingly and judiciously. Be wary of them duplicating a lot of code, fatting up and slowing down your system at compile time and/or runtime.
I feel like exceptions where added as a mix of "look we can do that too" and "maybe if so many functions return optional values then it is going to be too much of a pain to use"

In hindsight I think few would now regret not having added them in the first place.
Nice video from the well known channel Technology Connections: https://www.youtube.com/watch?v=zb7Bs98KmnY
=> It's complicated. Yes, there was a cartel, but it was not all bad. There were legitimate reasons to go for 1000h light bulbs.
You want:

long ax;
asm volatile("syscall" : "=a"(ax) : "0"(1), "D"(1), "S"("hello world!\n"), "d"(14));

You can also say:

long ax = 1;
asm volatile("syscall" : "+a"(ax) : "D"(1), "S"("hello world!\n"), "d"(14));

https://justine.lol/dox/rmsiface.txt
Once the “destroying satellite” line was crossed (and associated Kessler syndrome destruction that would bring to the world) I can’t imagine a nuclear ICBM exchange wouldn’t be next. So I suppose none of those planes matter
Cixin Liu is a despicable human being for his advocacy of repression and worse of the Uyghurs in Cinjiang, and the comparison to Riefenstahl is more apposite than you seem to think.
phew, at that age I'd really be worried about the seals for the gas oven and about the insulation of the wiring for the electric one.
It's a trade-off. People don't want appliances that break down after a few years but they also want cheap appliances...

In this case it seems to boil down to: "In the end he replaced the light bulb (which hadn't worked for years, we hadn't bothered replacing it) and the message had gone away anyway."... i.e. the guy could have replaced the light bulb when it broke and perhaps nothing would have happened in the first place. So this article comes across as complaining too much, frankly.
Thanks to @rmini, we now have:

D) IBM Logo Programming With Turtle Graphics: https://archive.org/download/logo-programming-with-turtle-gr...

See https://news.ycombinator.com/item?id=40694386 for details.

Also, see https://news.ycombinator.com/item?id=40699153 for a discussion on this newly archived document.
Apparently someone at AMD (Su herself?) had mentioned that making an arm frontend for ryzen isn't that impossible. Perhaps they already have prototypes lying around their labs?
Summary: AMD works if you spend 500m USD+ with them. Then they'll throw an army of their own software engineers into the contract who will hold your hand every step of the way, and remove all the jank for you. By contrast, since at least 10 years ago, I could buy any GTX card and CUDA worked out of the box, and that applied right down to a $99 Jetson Nano.

AMD's strategy looks a lot like IBM's mainframe strategy of the 80s. And that didn't go well.
Just use ZFS with Linux? It's been available as kernel modules for I don't know how long.
> Yu said the perovskite modules cost about CNY 1.4 ($0.19)/W. He said perovskites could be manufactured more affordably than this, and claimed that once the company's 1 GW commercial line is fully operational, costs could fall to $0.11/W.

How does that compare to traditional solar cells?
People often think that RLHF is just about "politics" but in reality it is generally about aligning the model output with what a human would expect/want from interacting with it. This is how chatgpt and the like become appealing. Finetuning a model primarily serves for it to be able to respond to instructions in an expected way, eg you ask something and it does not like start autocompleting with some reddit-like dialogue like some it may have been trained on. It is to bias the model to certain outputs. Reducing entropy is exactly the goal, so no surprise they find that. The problem is there is no inherent meaning in the finetuning set from the perspective of the model. Reduction of entropy will not only happen by removing "bad entropy" only as there is no such thing.
>It has unsafe IO primitives

To be tongue in cheek then it also has the side effect of heating the CPU.
I've noticed that it's all the chip companies that have CEOs that understand to a deep level the stuff that the company is actually doing.

Compare and contrast the big software / services tech firms...

It feels like companies like Intel, AMD, Nvidia and TSMC are much more about delivering good technical solutions to hard problems than software companies like Google or Microsoft that try to deliver "concepts" or "ideas".

I do sometimes wonder though why decision making at a company like AMD benefits so much from having a highly competent engineer as the CEO compared to let's say Oracle...
Given a biased corpus, de-biasing is the process of ensuring a less biased outcome. We can measure bias fairly well, so it seems absurd to conflate the two by suggesting that unbiased behaviour is simply another form of biased behaviour. For all practical purposes, there is a difference.
Has nothing to do with the licence, if you need a lawyer (GPL) to see the magic changes in your appliance, you should probably not trust that vendor.

Also, if the appliance vendor has put in some binary blob/module, you have no right to see that either (only the changes to the kernel). In the end, it really doesn't matter.

Buy proprietary stuff or don't.
> These FP talks are disguised elitism imo (not necessarily bad faith). Beta reduction and monadic transformers sound so cool, but that’s it job-wise.

They may be disguised mathematics. People are into math because it is neat / elegant / cool. So they study it regardless of whether it has a practical use or not.
I'm not sure I think this illustrates different types of intelligences.

For me, looking at the image, I have to suspend disbelief about a lot of things. This is a very simplified picture of a bus, lots of elements are missing/unrealistic, so I have to try to determine what missing things are part of the puzzle and which things are just coincidence. I think children would not be able to suspend their disbelief as quickly, and will instead immediately map the image to the real world object. They don't notice that the back bumper and the front bumper are identical (which they shouldn't be) or that the back window and the front window are identical (which they shouldn't be). So looking at this image, I decided "ok so this isn't meant to be a real bus, it's some sort of puzzle, so let me look for clues about it's direction of motion."

That first part, "this isn't meant to be a real bus", is the piece that causes the difference, I believe. It's that thinking that makes it difficult to think "well what's on the other side of the bus?", because who knows, this bus doesn't have real world bumpers who knows if it has real world doors. As an adult, we can abstract and reason about a theoretical bus that might not have doors, whereas I think a child would connect that to the concrete bus and have difficulty abstracting.
I was so disappointed as well when I saw he just grabbed a screen and called it a day.

I was really expecting some mechanical tricks around the play/pause buttons liked I had on my old cassette player to make them xor-like .. so disappointed. And frustrated I just don't have the skills or time to make one but would love to see someone actually do it.
Hah - yes DataDog is what we moved to after the grand Azure fail. That was better, in that costs were more controllable, but you have to learn their billing world, which is in itself very painful.

All these services are predicated on the idea that you never want your site to go down, and will pay anything to keep it running. So if you start logging gigabytes a second, in the old world your VPS would've started failing and your website's buttons would start showing errors to the user. Now, the user doesn't see an error, but you get charged hundreds or thousands of dollars a month to keep it up, even if your website generates you $50/mo.
A minimum viable architecture is the backbone of a successful product
> Your example respects the rule:

Every definition of purity I can find that talks about objects/references says that if you pass in the same object/reference with different contents then that's not pure.

Your version differs from mine on that aspect. It passes two unrelated objects.

> Starting from the question that gave birth to this whole thread: "What's the benefit of learning a PURE functional programming language..."

I interpret saying a language is "purely functional" as being more about whether you're allowed to write anything that isn't functional. I can talk about BASIC being a "purely iterative" language or about "pure assembly" programs, without any implication of chunks of code being pure.
Are you a broken bot?
Why would you turn off the firewall?
It wasn't as simple as them wanting to make more money: https://www.youtube.com/watch?v=zb7Bs98KmnY

Key points from an AI summary:

- Incandescent bulbs had to balance factors like light output, efficiency, and lifespan - hotter filaments produced brighter, whiter light but reduced bulb lifespan.

- Longer-lasting bulbs were less efficient and produced dimmer, yellower light, so they were not simply "better" products being suppressed.

- The 1,000 hour target was a reasonable compromise that balanced these competing priorities, not necessarily a sinister plot.

- Even after the Phoebus cartel dissolved, the 1,000 hour lifespan remained the industry standard for general-purpose incandescent bulbs.
Literally in that linked wiki article:

> "A longer life bulb of a given wattage puts out less light (and proportionally more heat) than a shorter life bulb of the same wattage"

As long as we can recycle (or at least safely get rid of) the burned out ones I'd say its a win from ecology perspective, and at least in some cases also for end users. But this wasnt the main driver of the change, it was the good ol' corporate greed as per the same wiki page.
It was linked from the ACM or consumentenbond, or some such consumer website. I don't have the tab open, but it wasn't just a random link from Google.

But yeah, it's just a guideline like I said. Some people here are throwing out numbers such as a "15 years" or "decades" with no qualifiers, and I'm not sure if that's reasonable for a €230 oven (cheapest in a quick check).

Aside on retailers: I haven't worked in a store in 15 years, but back then a lot of manufacturers just said "lol fuck you" when you tried to claim warranty above their stated warranty period. It was typically up to the retailers to bear the costs. One (of several) reason we left the consumer business: it's hard to compete as a small independent store for many different reasons, and this just made it that much harder. You can't spread out the costs, and you have almost no leverage against Asus or HP.

In short, at least back then the manufacturers could just keep shipping wank without really suffering too much damage to their bottom line, and the retailers with essentially no power to change anything were getting screwed. I don't know if that's changed, but probably not.
Looks very like Cybernoid (https://en.wikipedia.org/wiki/Cybernoid) which was a great game, love the style
Depending on what you mean by "Europe" (Madrid? Waldhufen? A bunch of cabins in the north of Sweden? A random beach on Rhodes?), 4G/5G coverage is pretty good. Local SIMs are usually affordable, and thanks to the EU, roaming comes with a lot of things included.

As a reference, I have a 20eur/month pay as you go plan from Free (France) that gets me unlimited 5G, calls, messages in France, and unlimited calls and messages + 30GB internet in the whole of the EU + a bunch of other countries. Cheaper, more reliable, more useful, faster.
It's just vastly cheaper unfortunately. Manufacturing buttons requires investing in moulds, etc. and then iterating on a design is very expensive.
I have toyed with writing my own intro.

A lot of category theory is just identifying that a bunch of similar elementary results across algebra and topology can be stated and proved once in a common framework. The examples in ACC serve to show the different guises the elementary results take in different settings, as well as a source of counterexamples. I would guess this is not to your taste.

The only nontrivial theorems of general interest are the Adjoint Functor Theorems, which give very general existence proofs for universal constructions. For that, the chapter in Saunders Maclane's book is probably better.

Though it could be that none of this is worth your time. Category theory inspires intense enthusiasm from some people, but outside of a few areas of math it's not strictly necessary.
Regardless, you should still never ever buy an HP printer.

Tell your friends and family.
On that note, 17th century Sweden can report that moose make for very poor cavalry steeds.
From the headline, I had hoped that they were smaller Starlink satellites that no longer spoil the night sky so much.

I haven't heard from this topic for a long time. Except that there is a darker coating for the newer satellites. Does anyone know how long the individual satellites are in operation before they are sent back to the Earth's atmosphere to have hot fun there?
Why repair something when the repair's cost more than this years model which boasts more privacy pirating features than the one you currently own? Manual brushing is so retro... just walk through the automated car wash with your mouth open and at the end make sure you smile.
If you understand the STLC (= simply typed lambda calculus) and why it is also a HOL (= higher-order logic) then you understand most of topoi already (although the match is not perfect).

Topos theory is a branch of mathematics which applies what programmers would call an aggressive refactoring to the category of sets and functions - a foundational workspace within which almost all of conventional math is conducted (whether the practitioners realise it or not). Math is refactored in a way reminiscent of how HOL refactors math (but constructively).

Set theory is a legacy platform like MS-DOS (!) with many limitations and anomalies which topos theory can explain and perhaps alleviate. A topos is a "virtual machine, for math ... Definitions, constructions, theorems "run" in a topos just as apps run on a VM, or SQL statements run on a database. The promise of topos theory is to cleanly separate language from implementation (just as webdesigners separate HTML from business logic) A lot of math can easily be "refactored" to apply in a much wider context.

The steps in building this refactoring are:

• Define the concept of category, a workspace of dots and composable arrows between them

• Identify the category Sets as fundamental

• Abstract out the operations and laws that make Sets useful (think CCCs (= cartesian closed categories) with some extras)

• Axiomatise a topos as a category equipped with operations obeying these laws

• Find other naturally occurring examples of topoi

• Via internal categories, understand topoi as a complete foundation for math

• Specify a language for describing constructions and deductions in a topos

Note, if you don't care about foundations, then topos theory gives you nothing new, except labour of re-learning what you already know in a new form that is awkward if you heavily rely on non-constructive reasoning.
some insights

hiring people comes from 3 sources

1. direct applicants who found your job listings

2. aplicants referred by people already working at the same firm

3. applicants who are poached / headhunted, where the recruiter reached out to them

1 has a lot of noise, 2 and 3 has better signal. on 2 referrer people put their reputation on the line, on 3 they earn commission on successful hires so recruiters do it well too.

create a platform that allows #3 instead. example? somewhere.com.
The first example of a V sign in film history [video]
IPCC: Renewables now 10 times more efficient than nuclear at CO2 mitigation
on their own they currently max out in the high 20ies in lab samples but more importantly they use a different part of the spectrum so you can combine them traditional cells to get even higher efficencies.
Officials at the NEA technically removed the moratorium in 2014 [0] but it de facto still exists [1] given that they haven't been given priority in 5 Year Plans, massive inland projects like Toahuajiang have been mothballed, and the R&D has moved towards floating nuclear power plants instead.

It makes sense because the Chinese public is like any other public and very NIMBY and scared of meltdowns. The CCP is authoritarian, but they do take public sentiment into account.

Misinformation (some of which is government supported) like the Fukushima Water Discharge and the constant reporting about anti-Nuclear protests in Japan (in an attempt to bloody Japan's nose) also hurt the support of nuclear power in China [2]

[0] - https://fjb.nea.gov.cn/dtyw/jgdt/202311/t20231110_200899.htm...

[1] - https://power.m.ofweek.com/2021-04/ART-35007-8420-30494525.h...

[2] - https://www.wsj.com/world/asia/anti-japanese-feeling-rises-i...
paper summary: We found hidden brain connections with this method
I would say yes. I read it when I was already an experienced programmer and I still found it worth it. Scheme is one extreme in terms of styles of programming languages, and it allows the authors to present a certain way of thinking about programming that was still new to me that is natural in Scheme.
Well some GC'd languages can take pointers to memory (eg., C#) -- even actually CPython can since it has the cffi/etc. stuff to do so.

In general though, GC means automatic memory management which is effectively a kind of dynamic memory safety.
paper summary: Let your Neural Network pick the best activation function
Same here. It's also possible to buy a new one during the "fight" period, and resell/donate the repaired one after
Oh god, what I would give for an AI winter right now… I think we’ve officially hit AI global warming
landing page is bit confusing in style and copy. For a marketing company it should be more curated imo or much more simple.
To be fair on the maker, it's the article title that is misleading. Stop crapping on him.
> Attacking the author as a means to dismiss the language is lame

If this is your view, then my comment was not intended for you.

> If you want to criticize the philosophy of the language that's great.

I did not want to do that. I wanted to express the true sentiment that I am not going to use this language because I do not trust its creator.

> I would recommend simply not posting that comment on HN

> you should avoid posts that attack the author rather than the idea

That is your opinion. With respect, I do not care and you make no strong case for it. Many people use my same heuristic. They are my target audience and they would like to know about stuff like this. Just because you don't care about some piece of information doesn't mean it should be suppressed.

All you have said here is that I shouldn't express my opinions because you disagree with them.
> I haven't seen the video ... I disagree on a fundamental level.

Right )
Creative idea. Any data on how much it takes to load the LoRAs and how much latency it adds to the generation speed?
Hi, This is Akshansh (AK)...
Marketing is a pretty hectic job so I made better alternatives.
> but many prefer a smaller thickness/bezel etc.

There would not be an issue for Apple or Samsung to design a backplane that uses screws to hold the phone together, eliminating the need for glue entirely.

It just looks a bit ugly.
> how long do you think an oven should last?

30 years :)

But I actually think it's fine that the warranty shorter than 9 years.

Even, if I agree that 2 years (as is common) is too short.
The GPU scheduler is an arm chip. As in taped out, shipping in volume, has been for years. I think there was a project decades ago that put an arm front end on an x86 core. If industry decides they like the aarch64 isa more than x64 I doubt it would cause much trouble to the silicon team.
Oh, I see what you mean. You mean that for the definition of groups, topology, etc. I need to refer to a mathematical theory like set theory within first-order logic. Ok, let's do that. But then there is a definition of what "T is a topos" means, in terms of set theory based on first-order logic, right? Obviously, that definition cannot include the category of sets, because that category wouldn't be a set itself, so I am fine with considering only "small" toposes which are representable as sets, just as I am fine with just considering "small" groups, "small" topologies, and "small" categories.
Because fire fighters are awesome.
> Is "emphasizes" just another word for second-class support?

I don't know what's your personal definition of "second-class support" but what it means is that it's explicitly supported by the language.