skysight-inc/HackerNews huggingface dataset:
Only if you're students were already expected to know know some programming, and you're fine making some boilerplate. Students already have so much on their plate as is, so trying to learn an API on top of understanding the concepts may be infeasible.

But students who do try to do that will definitely have a deeper understanding on average.
Dafny Standard Libraries
> If you get paid minimum wage, what your employer is saying is, "I would pay you less if I was legally allowed to do so."

The minimum wage is the government saying "if you produce less value than this arbitrary cut off, you aren't allowed to work".
I'm want to try them. I figure growing them myself is the safest way to go. Got 10 bags of Uncle Ben's brown rice growing mycelium right now.
I've gotten traffic from HN and /r/programming, and the influx from HN is larger. I think it's a function of two things. First, /r/programming is higher-volume (i.e., more front-page links per day). Second, Reddit subscriber counts are not DAU / MAU, it likely includes a ton of inactive accounts.
Keycloak (Java) and Zitadel (Go) are my recommendations.
One goal is to do a fine grained global census, just to see what we are confronting:

https://acp.copernicus.org/articles/22/9617/2022/

Previously, a high quality census was done of California and it turned up a nice separation into source categories (e.g., oil/gas extraction, gas transport, dairies, landfills):

https://www.nature.com/articles/s41586-019-1720-3

This was very impactful and influenced legislation and further measurement.

The lead author is the CEO of the nonprofit that coordinated launch of this satellite. He’s been involved in the fundamentals of this measurement for many years, including his time as a lead system engineer at JPL.
As otgers have said, a mood, not a tense. The same thing exists in Latvian. "Viņš ir" = "he is", "viņš esot" = "he allegedly is".
> states to give up their representation

> their rights

You talk about states as if they are people. But they are not. States are a fiction invented by people (and let's be honest, by rich and powerful people), and so they can be torn down by people (likely not the rich and powerful).

"State representation" and "states' rights" are not compelling to most people, other than via some vague appeal to "isn't it great that New Mexico can do one thing and Maine can do something else?", which by itself does not require "state representation" or the current ideas of "states' rights".
Thats not what journalists do (or at least not good ones). Journalists’ job is to contextualize the facts and interpret them in a wider sense.

I’m also not sure this is actually an Edward R. Murrow quote. I went looking but couldn’t find the source. The closes I found was:

> American traditions and the American ethic require us to be truthful, but the most important reason is that truth is the best propaganda and lies are the worst. To be persuasive we must be believable; to be believable we must be credible; to be credible we must be truthful. It is as simple as that.

https://www.azquotes.com/quote/1084314

Which actually place more into what I’m saying, that a good journalist will tell a truthful story with the aim of persuading people of their viewpoint (which hopefully is a worthy one; not e.g. denying a genocide)

The quote you presented I only found one instance of on the web which was here:

> I learned from my first daily newspaper editor, when I was pitching a story about improper personal favors dispensed by local government to a prominent landowner, that my suspicions meant nothing until I could prove it. “Don’t tell me what you think, tell me what you know,” the late Joe Ellis, editor and publisher of the Clarksdale (Mississippi) Press-Register, admonished me.

https://virginiamercury.com/2021/02/01/dont-tell-me-what-you...

And even here the context around the quote is advocating for using true stories to persuade the readers of a certain viewpoint, that corrupt politicians are bad actually.

The context here of Mintpress News being a heavily biased journal—which they undoubtedly are—presenting a true story while trying to persuade readers that a genocidal army is doing other bad things. This is good journalism actually.
I thought the cab might be something more like a Waymo or Baidu robotaxi, both of which are out there driving passengers around. But no.
A wonderful treatise on the same topic, “Reinforcement Learning Bit by Bit”, for anyone looking for a more advanced treatment of explore/exploit.

https://arxiv.org/abs/2103.04047
This is the correct answer.

Ironically, once again, piracy provides the best service.
It's a sad, sad day when you find yourself rooting for private equity vs. an open source company.
Can you guys just all go to Firefox so it has a chance, the way Chrome changes things is not acceptable and Firefox, performance wise, is just as fast even if people say otherwise. Try it and test for yourself.
Are you saying the claim that psychedelics are effective treatment for depression, PTSD, addiction etc. are simply because those who try it suffer those conditions? What about the part where they say it works effectively? Because I don't think alcohol or cannabis are claimed to be an effective treatment for these conditions in the same way that psychedelics are. The idea that it works seems irrelevant to your conclusion.
They're probably referring to the Alhambra Decree [0], which did expel all Jews by a set date. That date was the end of July, and Columbus sailed on 3 August, so it's very close but not quite the same date.

[0] https://en.m.wikipedia.org/wiki/Alhambra_Decree
Tokyo looks to protect service staff from customers who are not so cool
relevant: https://github.com/remacs/remacs#rust-heart-emacs although as of this message it says they've given up in favor of https://github.com/emacs-ng/emacs-ng#contributing which does mention Rust but seems to be ... a lot different from Emacs so I guess they're really going all-in on the "NG" part

for the non-tongue-in-cheek, also relevant: https://www.emacswiki.org/emacs/GuileEmacs#h5o-2
I think running daemon mode has significant advantages. You can have frames running on multiple virtual desktops for different uses. You can also step away from a buffer, and return to it, maybe from some other location on a different computer.
Yes, it's extremely hard to get an apples to apples comparison of data across different platforms.

I do my best to account for that.

I remain mystified by people who compare HN size as a community to Reddit or Facebook or Twitter (aka X) which are platforms, not communities.
Asynchronous unique ID generation.
> Bold to assume this is what most people on this site are like!

Really, look at the front page of this site. If you're not interested in dense textual content you would have closed the tab within 1 second. I really love this site but most people won't even see the story titles, their brain just registers "a confusing jumble of text" and doesn't even try to engage.

> But lots of the data points to people like HN's general demographic still being pulled away from long form text content and towards synthesized/aggregated content served via mixed media.

And what data is that?

> There's still just such strong cultural elitism in the notion of reading a book to learn something, it's not super sexy to claim on a messageboard.

I don't think I'm elitist or sexy. Just different. I hate video content because I can't consume it at my own pace (usually much faster than the content offers because video is tailored for the slowest possible denominator). And it's difficult to build context ("where am I within the story") when skipping forward or backwards. In text this is pretty seamless.

I don't tend to consume textual content in a start to end sequential manner. But I jump around. Because some stuff I already know, some i really want to deeper dive on, some I need to refer back to later. This is much harder with video.
Someone has to write down the information before it can get into an AI.
> Columbus must not have been very religious.

He was incredibly religious. In his Catholicism.

If anything this is just proof that reading too deeply, and especially solely, into anyone’s DNA history is a mistake. Plenty of people have a background unrelated to their lives or the way they perceive themselves.
It's the finest manure to fertilize thought we can turn over with only a fork
The "early Windows compatibility" problem with DR-DOS happened in a Win3.1 beta. see https://en.wikipedia.org/wiki/DR-DOS#DR_DOS_6.0_/_Competitio...

I don't think Microsoft designed/tested Windows to run on anything other than MSDOS/PCDOS.
No it isn't, because wages aren't set based on some objective measurement of the quality of value produced. If that were the case, increases in productivity would have resulted in a commensurate increase in wages, but the only increase is the gap between wages and productivity.
Thank you, will contact you asap, I'd be happy to help :)
Monotonic UUIDs leak information too.
> artists refuse

The fees are split into thirds—TM, the venue, and artist. Which makes the artist appear that they wanted lower prices while also still getting more money. Lower album sales than in the past is also a factor.

That's why it has worked so well.
Very high doses used to be my jam. I have no real way to tell what the actual dosages were with LSD, but anywhere from 5-10 blotters was pretty typical for me, and had many positive experiences this way. Conversely, my 2 worst experiences were 2 tabs and 1.5, with the second being one of my least fond memories from my life.

I wrote out a lot more detail for this comment, but pruned to just attempt to make these points 1) generalization here is (generally) not very helpful and also 2) I've come to believe "set, setting, & dosage" are typically listed in that order because that is the order of importance.
There is a theory he was from the Greek island of Chios.

"In 1982, Ruth Durlacher hypothesised that Chios was Christopher Columbus's birthplace.[64] Columbus himself said he was from the Republic of Genoa, which included the island of Chios at the time. Columbus was friendly with a number of Chian Genoese families, referenced Chios in his writings and used the Greek language for some of his notes.[65] 'Columbus' remains a common surname on Chios. Other common Greek spellings are: Kouloumbis and Couloumbis."

https://en.m.wikipedia.org/wiki/Chios

"A New Theory Clarifying the Identity OF Christopher Columbus: A Byzantine Prince from Chios, Greece. by Ruth G Durlacher-Wolper 1982(Published by The New World Museum, San Salvador, Bahamas"

https://www.geraceresearchcentre.com/pdfs/1stColumbus/13_Dur...
emacs-ng cites Deno, which speaks to your "more mainstream" as well as some of the sandboxing concerns offered by others https://github.com/emacs-ng/emacs-ng#denojavascript
Yeah I thought it was kind of cool. Like I intuitively assume everyone runs either Windows or macOS, and that's not the case. A surprising number of non-technical people run some form of linux, it connects well with the kind of person who's used to doing their own stuff and saving money. Like if you can replace your cars radiator and fix your own pipes, you probably (correctly) assume you can install your own OS.

Unfortunately (from a business perspective) the kind of person who is used to doing all their own maintenance to save money is not likely to shell out $240 a year for a SaaS. I have tremendous respect for them, however they don't make for good customers lol. I'm building out a self-host option to appeal to parents like that, however I don't know how it will make any money beyond advertising for the paid service.
See also Thompson sampling[+] for a different approach to multi-armed bandits that doesn't depend on explicitly distinguishing between explore-exploit.

[+] https://en.wikipedia.org/wiki/Thompson_sampling
Or just use the file date.
As phrased it's not really a fair question. It starts from an assumption that there is hate and disdain for juniors without evidence, and then proceeds to hate on senior engineers for things like, you know, having health issues or taking vacations they're entitled to per their contracts.

If he doesn't want people to take PTO, don't give them PTO. If he wants to discriminate because of health issues, he should probably get a good lawyer.

I didn't flag this, but it's so poorly written that it's not surprising.
Yep, that much I already knew. :)
So that means lifetime, really. Pointless.
I recently learned FSF does have a GL instance but it seems to be locked down to just "approved" emails and also only used for its CI capabilities: https://emba.gnu.org/emacs/emacs/-/pipelines
In the UK in WW2, we had true shortages of food and many materials that came by ship due to the Nazi U-boats.
The government implemented a pervasive ration system, books, stickers, coupons etc. Stores would get, say 100 pounds of butter. Only people with a ration book pulled out stickers(good for one pound of butter) could get them. The system was granular and butter might need 10, sugar 6, potatoes 2 etc. There were also meat coupons. Rich people bought black market goods made from real goods. You could take 100 pounds of butter and create 105-110 packages of butter with printed copies of waxed paper butter wrappers. If they looked OK = it works. The grocer could make more $$ on those 5-10 created pounds of butter than they made on the remaining 90-95 pounds. After the war, shortages endured for 1-2 years, very granular. After he was demobbed, my father was a glazier = repaired windows. If a bomb was dropped, it might flatten 1 house, but it would break the glass in 200-300 homes. After the war = huge glass shortage = rationed. Glaziers were allowed 5% breakage and cutting allowance. My Dad would order only 1 size, for one common type. If a customer wanted a smaller size = he refused, said no glass. He was able to make more on that 5% than on all the rest of the crate of glass. Money was tracked. In the UK then the largest currency was the 5 pound note.(with 1 pound and ten shillings the others = all else = coins) He had 15 suitcases of 5 pound notes. This was called 'fiddling'
So price controls = 2 parallel markets. A true market and a black market for richer people. This was policed, but not closely and with care black marketers escaped. I hear there is a black market in rubles, about the same as the Rasbucknik", of which one was worth nothing, and a large quantity was worth even less, due to the trouble of lugging them around, as was found in lower slobbovia https://en.wikipedia.org/wiki/Lower_Slobbovia?
Robotaxis could be a good add on to that for journeys that are not well served by those.

I mean in London where I am we've had public transport and walkable cities for a century and things still have issues.
Of course if it’s pharmaceutical.

People were alluding to the risks of self-medicating I was referring to that.
Yup, I agree with all of that.

Even though I see a lot of potential in the tech, it's still very obvious that people don't know how to use it to the best advantage and are hammering screws with it.
If you are in the sf bay area, you can just go get what seems to be a variety of high quality, and some tested and stamped (Netherlands) mushroom products at Church of the Zide Door
> Am i a communist

Even if you were, is that really a bad thing? Why do we demonize communism (and socialism ) so much ?

Poor implementation in Soviet Union or in PRC that is only seen through the color of propaganda with the inherent cultural and ideological biases is hardly a good basis for judging a movement that was a response to centuries of extreme worker exploitation in direct result industrialization and raise of machines.

Are there really bad ideas in socialism ? yes of course, there are bad ideas in late stage capitalism or in any free market system or any system.

We learn and try to take to best from all economic systems not demonize any of them.
Both tools are "stick infected USB into air gapped device"
They also raise the bar of entry for companies, reducing competition. I don't use PayPal and won't use Venmo in stores because of this, however I certainly wouldn't be putting trust in more legislation solving this.
Gödel Agent: A self-referential agent framework for recursive self-improvement
Agreed that it's important not to read too much into this about Columbus as a person, but if this is true there are plenty of interesting things to draw from it. It would suggest that he probably came from a family that converted to Catholicism (given the time period, probably under duress).

Had his ancestors made a different choice Columbus himself may have been expelled from Spain shortly before he sailed on August 3.
I thought sephardim scattered into a lot of places, including elsewhere in Europe (even places like Amsterdam) and North Africa. Not to mention conversos that stayed put.
Compile to apk and sideload; Google won't even know. The audit gate in TFA is a gate to get into the play store.
With your experience of both, have you found that Typst has fewer issues with conflicting/non-commutative plugins than LaTeX does?

Because that's where I lose the most time with LaTeX: packages often mess with the (piles of) global state in ways that sometimes conflict, and the only "solution" seems to be that, if you're very lucky, sometimes conscientious package authors will try to "detect" (through various hacks) whether some other known-conflicting package has already been loaded and adjust accordingly. I didn't see any mention in TFA of any module system or even local variables in Typst to contain this explosion of complexity, so I suspect it will be just as bad in this respect as LaTeX is once there are as many plugins available.
> arsonist-firefighter engineers

Brilliant, I’m stealing this phrase. :D
That's nonsense. Most public transport is digital by now.

SNCF, SNCB and EuroStar let me manage my tickets digitally in my digital wallet. That is super convenient if you have more complicated itineraries because you have all the tickets handy in a single app, when you need them.

With Deutsche Bahn it is either their app or a PDF to print.

For local and inner city transport you usually don't need a ticket a all, just swipe your card or phone at the beginning and end of your trip.

You can forget about that anywhere in Germany. It is paper tickets everywhere or a gazillion of different apps, because every city and network has their own.

That is very much not my understanding of public transport being digital.
Many languages have more kin terms than English, which is especially poor in this sense. In Turkish, as you comment, we have:

* Aunt (father’s side) - hala

* Aunt (mother’s side) - teyze

* Uncle (father’s side) - amca

* Uncle (mother’s side) - dayi

You use teyze to refer to an unknown older woman and amca to an unknown older men (similar to how “uncle” is used in Mandarin).

With this more explicit vocabulary, interesting things can be expressed succinctly that would be cumbersome in English (see Sapir-Whorf :-), eg boys take after their dayi and girls after their hala or that as a general consensus you like your teyze better than your hala.

We also have terms for older sister (abla) and older brother (abi).
technical who-is-a-Jew type question, which is thoroughly intertwingled with European history: the Jewish diaspora were only the diaspora after they were kicked out of Israel by the Romans (in something like 70AD), and even then, only after they maintained their identity in the diaspora (c.f. the majority of other conquered peoples who did not maintain an independent identity)

Before that they were just the Jews, which was more of a nationality than anything else (a nationality that had a covenant with their God, but many nationalities at that time had such).

"Sephardic Jew" is a term most used to describe Jews who were kicked out of the Iberian peninsula during the Spanish Inquisition and Reconquista. The Iberian peninsula had had a thorough conquering by Muslims until the euro-christian reconquering, the Reconquista, wherein the last of the Muslims were kicked out, and then the Jews too for good measure, which kicking out occurred at exactly the same time that Columbus sailed for the East (by going west).

Other diaspora Jews lived in Muslim lands and are known as Mizrahi Jews (Mizrahi being some form of the word for Egypt which is also the word for East iirc)

Was there some distinction (theological or genetic) between Miszrahi Jews and Sephardic Jews and Ashkenazi Jews before they were driven out of Spain?

And Columbus was born in Genoa (his house is still there) and so, was he one of these types of Jews or are the different typenames just what we call them today?
I think others have hinted at it, but for me any foundational application must be written in a statically typed language, but cannot be C nor C++ /me glares at Chromium

The bad news is that I don't currently have enough free energy to help the remacs nor emacs-ng projects, but I am glad they exist
Can you explain what bar has been raised unless you were planning to sell PII as part of your business model?
> LLMs do not generate new content, they just shuffle old content together in new ways

You can say the same thing about most technical books. They're quite often little more than a more digestible summary of what you get in docs and reference manuals, with some toy examples.
Vietnam Plans to Establish over 20 Semiconductor Plants
I think they’re different definitions. I don’t believe there’s consensus in all of CS research that the definitions you cited apply to ML. At least not from the papers I’ve read.
Notice how you downgraded your confident claim of knowledge to a tentative question.

What's going on homie?
Why not both?

That is, a global measurement and a regional measurement? (Regional, with airborne and in situ for validation of the large scale measurement.)

And appropriate global and regional studies? They are highly synergistic! Maybe something integrated like:

https://above.nasa.gov/about.html?#questions
The attacks began earlier[0] and many Jews began converting en masse. He might not have even known his parents or grandparents were Jewish.

[0] https://en.wikipedia.org/wiki/Massacre_of_1391
Oh you are 15. I’m glad you are playing in this space! Cybersecurity is a rewarding career.

With due respect to the fact you are making an effort to get into the scene, congratulations for making the effort to share!
Maybe just hold off on saying it’s going to “change the world”. We never say unhackable.

But in all seriousness, you do not have sufficient exposure or time in the field to sufficiently understand the threats your product is trying to defend against.

You are proposing replacing people’s security systems with your new unhackable thing. But it’s missing essential parts.

Schneier’s Law: any person can invent a security system so clever that they can’t think how to break it.

Keep playing, but maybe hold off on the “products” for a few more years while you learn the rest of the field, otherwise you may be doing harm to people, people’s data, etc.
This is an interesting acid test:

- article is titled "GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models"

- some people having been flogging it as "LLMs cannot reason"

- it shows a 6-8 point drop, in test results in the 80s, if you replace the #s in the test set problems with random #s, and run multiple times

- If anything, sounds like a huge W to me: very hard to claim they're just memorizing with that small of a drop
Seems like a nonsensical click-bait title.

They found his remains by confirming that they are indeed buried in the tomb with his name on it?
How do they get these USB sticks to execute code, though?
The slug hasn't changed so it will receive updates (from SCF repository, now under the control of Automattic).

If you used ACF pro then the plug-in is downloaded from ACF website.

But.

The obvious next move is to put code in the core that would degrade ACF pro.
What an amazing time we live in when people are discussing how perhaps the output from a bunch of matrix convolutions possibility can't quite reason about mathematics.