skysight-inc/HackerNews huggingface dataset:
> The only error is that "myImageElem" isn't defined by the snippet, which is to be expected.

It's the ID of a DOM element. No need to define it (for me). But anyway still good I will try your code, thanks.
You do realize that NATO is currently essentially out of ammunition, right?
I feel uncomfortable watching free soloists. Like watching Roman gladiators, risking their life for our amusement. I found it interesting that Clif bar stopped sponsoring athletes that do it. Maybe that's the right decision and direction. They aren't just climbing for themselves usually. The eyes and likes are spurring them on to greater risk. On the other hand, I admire Alex Honnold and other climbers, it's a weird cognitive dissonance.
How much value do cars add to the economy? And what's the incremental cost of reducing the number of accidents? Without any context it's just alarmism.
SMW together with templates is pretty fun and inspiring to work with, and you start to think up a lot of cool applications you could do with it.

It is used att places like NASA as a knowledge base [0] and some other places.

I guess what is hindering wide adoption is that it is still quite a bit too much conventions and caveats to learn to become productive with it, that it has a hard time reaching outside niche use cases.

(Basis for speaking my mind on the topic: Developed the RDFIO plugin for RDF import/export in SMW [1])

[0] https://www.semantic-mediawiki.org/wiki/EVA_Wiki

[1] https://www.mediawiki.org/wiki/Extension:RDFIO
You can generally sideload whatever you want on Android.

But people will ALWAYS point out the edge cases such as banking apps not working on custom firmware/rooted devices, and somehow that makes Android very bad and very walled garden.
If you are not passionate about it, than you should probably not study it. Also, studying Informatics should give you a lot of opportunities to showcase your extra skills, e.g you can study functional programming from the ground up.
IMHO the much more interesting question is: How to cope with the upcoming of AI?
This will probably make programming much cheaper and more less skilled people will come to sit right before your nose, tending to devalue higher education.
Yeah there's a good reason like if a pack unclipped itself at an alpine belay and belayer wants to secure it. I hope my belayer lets go for 10 sec to fix that rather than drop our tent and all of our food and water.
So, the thing about fuel economy is that it is calculated very differently in Europe versus in the US. In Europe, they do liters per 100km, whereas in the US we measure in terms of miles per gallon.

So, mi/g => l/km requires a different kind of conversion than most of the others shown. You have to first convert mi/g to g/mi, then you can convert to l/km and then multiply by 100.

Frankly, I think the European method makes a lot more sense to me, especially as you get to higher and higher levels of efficiency. With mpg, the numbers get stupidly big when you're saving relatively small amounts of fuel. With l/km, the numbers get smaller and smaller as you increase your efficiency, and it shows you how relatively little you're actually increasing the amount of fuel saved.
An honest answer, tons of tests with mocks are really frustrating to find.

Anything that simply “must” be mocked is better served by returning a “command pattern” response.

eg: return new DoGood() || new DoBad(), and separately: TestableIsGoodOrBad()

Specifically for your “error from a dependency” situation, I’m of the mind that a function consisting of:

function foo() {
xyz = PrepFoo(...)
try {
response = DoFoo(xyz)
result = Process( response )
} except {
HandleError()
}
}

...that’s the three lines of code that I’m spending my “not 100% code coverage” on. Each sub-function is 1000% testable without mocks, and the combination of functions is a “secure, logic-less composition”, with little test value.

Basically, if you write your code that way you _never_ need mocks, and generally “mocks are dumb” because saying “Mock( DoRequest( FakeRequest() ), FakeResponse() )” is just wishful thinking compared to a properly factored codebase with _real_ non-mocked, significant, functional-only components.
somewhere around 20% of cars in the US are leased, so if you don’t repair damage you end up paying for it eventually

average car loan is also $40k… so there’s a good amount of emphasis of resale value too… my experience in europe is that more people drive their cars until they fall apart (maybe anecdotal)
"We have always been at war with Oceania."

In all seriousness, governments consist of the people of a given time, and as such, attitudes change. While an apologetic stance probably should be held, the people responsible for the shift in stance aren't likely to carry any of their predecessors' due guilt.
> Large business wastes just as much money as govt, but when a business makes a mistake they just stop talking about it.

It is refreshing to see someone else say this. John Ralston Saul wrote about it, completely changing my view of the supposed efficiency of big business - and explain why neoliberal shibboleths like privatisation don’t result in improved efficiency.

> Big projects are hard. They're expensive. With large budgets comes lots of oversight, endless second guessing, and a zillion rules, perfected over years, to ensure money is not wasted or stolen.

Not really perfected. According to the Standish Group only 1% of “very large” software projects succeed. This would be unacceptable to most reasonable people. But the processes they use enable so many excuses for failure that accountability goes out the window. Basically, all the money is spent on risk mitigation to the point that the project fails because all the money is spent before it actually starts.

There is a huge amount of crazy that goes on when there is a crazy amount of money to play with.
I didn't graduate high school and I can program in multiple programming languages, and picking up a new one is pretty easy. I had to convert "math functions" into code before I could understand what the symbols meant when I was learning how to write ML software.

Imo you learn the academic lingo, and it can make it easier to communicate with other programmers, but you can just pick it up. School is for chumps.
I use NixOS daily on my PC, but I haven't tried home manager. I never saw the benefit since my dot files are managed in git anyway
Fogo de Chão is, I'd bet, for the top 1%.
What do Chinese-language sources have to say about this?
I'm sure it's different for everyone, but I think climbing has a bit more reason to make a claim here. If you lose your focus, or fool yourself into thinking you're focused on the right thing when you're actually not, then you'll find out. You'll slip or you won't find a way up. With something like painting, it's easy to fool yourself.

It's a bit like the difference between writing and programming. I like doing both, and can get deep into both, but a compiler is going to tell me I'm being a dumbass a lot quicker and more definitively than any eventual reader could.
Programmer humor is generally terrible
What are the additional costs of cars and their infrastructure when there are more efficient options for transportation?
if the car behind or in front of you crashes into you, a human on a bicycle, the damage is much greater than if it crashes into another car. If you assume the other driver is drunk, and stomps on the gas pedal instead of the brake pedal, in some ridiculous souped up sports car or truck, the human goes squish.
I've actually used embeddings at work. I was pretty excited as it was the first of this new AI tech (embeddings, chatGPT, etc) that I used for more than just a query engine.

We offer courses at work and needed a way to see how we compared with the sector. So I wrote a small Python script to scrape the name and description, along with other info, from the websites of other providers in the sector.

The embeddings came into play because our course names don't always line up with other course names. So I used the embeddings for the course description and outcomes to match courses.

The results were mostly good. I haven't done a super deep analysis of the results (got pulled off to work on more pressing issues) but for the most part the courses matched properly.

There were a handful though that didn't really match at all, but I haven't looked into it enough to find out why.
Honestly, I think I'd rather travel as much as possible, and gain first-hand experiences of places, things, and people who live and experience life differently than me, than write long winded articles in the New Yorker where I have to namedrop Pessoa and Socrates every two lines because I've outsourced my critical thinking to their writings. Honestly comes across like that angsty teen who just read Ayn Rand once and decides their entire personality is based on the book (Heck, many of us have been that kid!)

There's a hundred reasons why folks dislike travel, many of them EXTREMELY valid to one's lived experiences/circumstances, but this article is the most strawman-ny argument against travel anyone could conjure up.
there's always not using flakes
> For example, consider an "Animal" object class, which has a "numLegs" attribute. Then "Dog" could inherit from "Animal" by having exactly 4 legs, as a special case.

In Delphi you can do this:

type
TAnimal = class abstract
public
class function NumLegs(): integer; virtual; abstract;
end;

TDog = class(TAnimal)
protected
class function NumLegs(): integer; override;
end;

{ TDog }

class function TDog.NumLegs: integer;
begin
result := 4;
end;

var
d: TDog;
begin
WriteLn(TDog.NumLegs); // 4
d := TDog.Create;
WriteLn(d.NumLegs); // 4
end.

I've used this several times to good effect. Were you thinking of something else? If so, could you expand a bit?
They never claim to serve Australian food. Nobody says they are going out for some Australian food they way they might say they are going out to get Chinese food. It's an Australian themed restaurant. And much of the theme does actually consist of things related to Australia. Lots of restaurants have themes. Rainforest cafe, Hard Rock Cafe, Planet Hollywood.
Russia declares war on Ukraine and it's the US fault ? ok

With your logic would you surrender the entire US to Putin ? After one nuke ? two nukes ?
As a point of reference, I pay around $140 a month for home insurance and comprehensive auto insurance. But I’m older and haven’t had a ticket in 15-20 years. Western US, if it matters.
All EU Members are committed to achieving full climate neutrality by 2050
There are a lot of people who could get even more value from a great transit system. However anything less than great a car provides a lot more value and so it is really hard to get there. About 1/3 of all trips done in a car would be worse by any other means (plumbers bringing tools and all spare parts to where there is a problem), but the rest could be done via transit if we had it.
I am happy to hear you'd love a list, I can compile the list for you for the little price (1/2 of my hour pay), reach out to my email in profile.
Hard to say.

Depending on the context, read / write model, and how inference costs go, inferring on edit to classify and tag the content could prove more expensive than having users do it client-side on read.
Interesting Stats about Investors
Hm. That's a bit of a stretch, but sorta plausible scenario I guess, if somebody screwed up securing the pack. If you were belaying me, I would expect you to at least warn me if you're gonna do that -- risking my life to save some food or equipment isn't ok. And preferably tie off the belay -- that should only take a few seconds.
Effect of volcanic eruptions significantly underestimated in climate projections
Woah, you're really gatekeeping how a president should look like in the middle of war?

Or worse, complaining that his image is unpresidential?

What the actual fuck?
> In your comment above

Oh, I see, good catch. I think that comment was a result of a botched edit; I do that sometimes. Too late to change it now. Sorry for the confusion!

> Where does this use of "n-gram" come from? I mean, did you see it somewhere?

It's shorthand for n-gram Markov model. The same way it is presented in, for example, A Mathematical Theory of Communication.

> "Defined an ordering", where?

In order for a set to be sortable, you need to define an ordering over the elements. So for example, defining that the letter 'A' is greater than the number '99'. It's easy to take for granted that 1 < 2, but the neural network doesn't know that a priori, because the tokens are just index values. It doesn't have any way to know that token number 5 represents the character '5'.

> if you take your model that's trained on two-digit lists of integers and you run it on lists of any other type of elements it will not be able to sort them correctly.

To reiterate, the token dictionary basically just contains the characters "0123456789,():[]_\n". If you try to ask it to sort '(Tuesday, Monday)', it's just going to throw an exception because 'T' isn't a recognized token; it doesn't have a corresponding index. It's not even a question of whether it can sort them correctly or incorrectly.

> "Any input list"? How so?

I think the meaning is pretty clear. No algorithm can sort a list of elements that aren't members of a totally ordered set, so I wasn't attempting to imply that any input list meant that a neural network could somehow supersede this limitation.
I agree. I’m often on conference calls with customers where the audience make up have different backgrounds and concerns - finance, security, compliance, operations, developers, etc.

My writing is also aimed at different audiences simultaneously. I have to address the same subject different ways.
Not in the AI space at all, but this was an interesting glimpse.

I'd like to learn more about the dimensionality of the embedding and how that is minimised - it seems intuitive (not the same thing as "actually correct"!) that keeping the vector length smaller would be more computationally efficient, with a trade-off in (theoretically) worse performance. I'd guess that performance drop assumes a totally "even" distribution of meaning throughout the embedding space, so I wonder if the enhancements revolve around targeting the embedding more towards real data distributions, or something more subtle.
I hate that this article doesn't link to the original report. I found it here: https://www.nhtsa.gov/press-releases/traffic-crashes-cost-am...
I didn't know about this, it's great!
It's because they spend most of their days reading PDFs, so they make websites look like PDFs on their screens then publish it.
In that case the only thing you need to make your vanilla code work as typescript is to put the following somewhere:

declare var myImageElem: HTMLImageElement;
No offense, but it's obvious you haven't spent much time in these communities.
It really depends, principally on what your extant constraints are.

For some applications, mass is a critical concern (e.g., powered aircraft). For others, it's volume, say, powerplant + fuel stores aboard a marine vessel.

As I'm understanding this proposal, the iron is largely recycled, so transport of iron is relatively minimised. The concern is how much iron is required on site, and what the plant-sizing characteristics are given that.

Though of course, in any public communication of novel research and technological proposals, there's a significant amount of PR, spin, and narrative-spinning, so it's fair to be skeptical.
Need to account for the fact that not all Americans drive.

To get to the $1,035 per person they have taken the total cost ($340B) and divided it by the population, but if you divide it by the number of drivers (i.e. people actively insured) then you would get a bit closer to $2600.

I assume that some $2600 policies have multiple drivers too.
it means that you're also not allowed to say that Formula 1 is better than MotoGP, or that you like Usain Bolt over Valentino Rossi.
Irrelevant, we don't have those other systems. Invest in them first. Places like NYC have a start, but they don't make good investments in more. Other cities are trying, but have a lot of work to go.
In various jurisdictions, your insurance company may bear the cost of accidents irrespective of “fault.” Thus joining an insurance company with a lower-risk pool of drivers does not necessarily reduce your insurance premiums.
Thanks! For now, I added a warning under the gist. Not that this is an excuse, but I put this together in about 30 minutes using GPT-4 for fun without much consideration about robustness or security. I will maybe try to rewrite it when I find time.
6 hours later and the communists refuse to answer anything to anyone's prodding beneath their surface level insults towards anything that is not them. They are not shy about flagging and downvoting comments though.
This blog post is mostly a rephrasing of NHTSA's press release (from January 2023): https://www.nhtsa.gov/press-releases/traffic-crashes-cost-am...

The press release has a link to the full report.
It seems to give up before sending anything at all:

ping: invalid argument: '-1': out of range: 1 <= value <= 9223372036854775807
State of WASI Support for CPython
Eat half a pound of cheese and everyone claps.

Eat half a pound of butter and everyone freaks out.
This is basically my view as an extensive gpt4 user. It doesn't think/is very stupid, but has such fantastic recall for common patterns that its quite useful. Absolutely none of the smaller models even come close, including GPT3.5.
Isn't the fundamental problem that LLM's don't actually understand anything (as greater concepts), but rather operate as complex probability machines?

My 2 month active experience with ChatGPT-4 gave me the following takeaways:

- when it's right, it's amazing; and when you, the operator, can recognize the niche use case where it performs really well, it can be a game-changer (although you could have programmed a tool to do the same narrow task)

- when it's a little wrong, you (the expert) can fix the issue and move on without friction

- when it's any amount of wrong and you are less than an expert, or specifically you are completely unfamiliar with the topic, you can waste an immense amount of time researching the output and/or iterating with the system to refine the result

Initially I thought it was a 10:1 ratio of performance to effort. But finally (as a developer) I settled on (1 to 1.5):1. It basically just changed the game for me from doing the actual hard work to working out how to tease the system into producing a reasonable result. And in the process (same as with co-pilot) I started to recognize how it was leading me to change my habits to avoid thinking and effort and instead rely on an external brain. If you could have a reliable external brain always available, that would be a fair trade. But when the external "brain" is unreliable and only available via certain interfaces, it's better to train yourself to be proactive, voracious (with respect to documentation), and tolerant of learning/producing cycles.

I once thought it would be a game-changer. Now I realize it is a game-changer, but in a similar way that offshoring was... it didn't improve or solve any problems, but it merely changed the work.
> as I said, you've never actually been in any court proceedings

Untrue, and I'm done talking to you.
Ask HN: What OTCs / supplements do you take and why?
Just wondering what the community is taking in terms of supplements, over the counter stuff, and perhaps also stuff that is not over the counter but easy to get, to help with focus and to maximally support brain function and help with fatigue.

This is all in addition to reasonably regular excercise and healthy food intake. Personally I walk 45 min per day or more and cook food at home as much as I can.
I have 70 tabs open - usually I stack them up when working on a project and then eventually purge when I'm done.

I use ublock origin and 1password.

I bookmark things on my phone that I want to do a deeper study of later (and then usually don't).
could be worse, he could be wearing a tan suit or a sweater /s
From a global-warming perspective, NOx also has a fairly short residency-time, as I understand.

Yes, it's an environmental concern for other reasons, but focusing on greenhouse considerations is fairly reasonable.
Materialistic is a good android app for HN
The way the CCP has hindered investigations and attacked those who said it could have been a lab leak makes me think they are covering things up. The CCP did not hinder investigations in prior SARS outbreaks in China.
The trams were dismantled before the car took over. They were mostly expensive and didn't provide the freedom that cars do. (They could provide it, but only with a much larger network)
3D Game in Desmos Graphing Calculator [video]
Made even more bizarre for the fact that its on HN. This isn't some generic subreddit, presumably most people understand that a topic as vast as computer science couldn't possibly be attributed to one person, but that doesn't make the contributions of these early pioneers any less.
In my experience, that’s a mistake. I start off by framing things in the “why” for a high level conceptual understanding and slowly get into the weeds.

The executives and the sponsors care about business objectives and they are going to zone out as soon as you start getting into the weeds.
Can you? Sure.

Will you? We don’t know. It’s not unheard of for people to make lots of money and also avoid paying debts. And thus we need to know your payment history.

Similarly, even if you have a poor debt to income ratio, it might not matter much if you have a long history of always paying your debts on time no matter what. And that’s how poor people get to have nice things.
The `-c -1` reads like it's requesting sending negative one pings, hence the reversal.
If I am whiteboarding with people in work I definitely don't try do proper syntax etc. That is pseudocode to me.
Lean mathlib was originally a type checker proof assistant, but now leanprover-community is implementing like all math as proofs in Lean in the mathlib project.

Lean (proof assistant) https://en.wikipedia.org/wiki/Lean_(proof_assistant)

"Lean mathlib overview":
https://leanprover-community.github.io/mathlib-overview.html

"Where to start learning Lean": https://github.com/leanprover-community/mathlib/wiki/Where-t...

leanprover-community/mathlib:
https://github.com/leanprover-community/mathlib
Desmoscript – Programming language that compiles to Desmos graph state
You could go to a Spur in south africa for the same experience

https://en.m.wikipedia.org/wiki/Spur_Steak_Ranches
It does end up killing a lot of initiatives. A lot of people who could have potentially ran even small businesses don't.
To your point: there is no point really for most ordinary mortals so they succumb to soul crushing jobs. For example many small farmers are in this situation.

As a ongoing example I've heard that businesses are leaving California and New York in droves to place with less regulation.
I think it depends on your background. A decade ago, web developer experience for non-MS stacks on Windows was significantly inferior to MacOS, mainly because all the best tooling was *nix based. I don’t know what the situation is like today as I haven’t touched Windows in years, but my opinion of Microsoft DX is very low. In fact, the thought of developing on Windows is so visceral that I wouldn’t even consider a job if I were forced to use Windows.

Conversely, if you’ve been developing within the MS ecosystem then I bet you’ll have a completely different opinion.
Who are we currently blockading? We sanction, which means we don’t allow citizens to do business with certain other nations. But there are no ships in harbor or at sea preventing those nations from trading with their remaining partners.