skysight-inc/HackerNews huggingface dataset:
Btw, the reason I want to write to Kowalski is not just the history of meta-interpreters. There's a question that only he may be able to answer. The question is about the Subsumption Theorem in Inductive Logic Programming (ILP).

Briefly stated, the Subsumption Theorem, as it's known today, is that a clause D is entailed by a logic program S if there exists a clause C that can be derived from S and such that C subsumes D.

Similar statements are also found in the logic programming literature, for example in Lloyd's Foundations of Logic Programming.

There's a bit of a mystery about the origins of the Theorem.

A series of similar papers by Ninenhuys-Cheng and de Wolf point out different definitions and apparent rediscoveries of the Theorem, and proofs of it, some of them mistaken, in the ILP literature. The paper I use as my reference is titled The Subsumption Theorem in Inductive Logic Programming: Facts and Fallacies. (http://homepages.cwi.nl/~rdewolf/publ/ilp/ilp95.pdf found in Ronald de Wold's webpage, here: https://homepages.cwi.nl/~rdewolf/).

That paper claims that the Theorem was probably first stated by R. C. T. Lee, in his 1967 doctoral thesis. It seems this information comes from Kowalski, in a paper that I can't access fully (cited in the Nienhuys-Cheng and de Wolf paper). However, the earliest statement, and proof, of a Subsumption Theorem that I could find is from Robinson's resolution paper, published in 1965, where subsumption is also defined. The Subsumption Theorem in Robinson's paper is slightly different than the one found in the ILP literature, in fact it looks to me like the modern version of the Subsumption Theorem is a corrolary of Robinson's one.

If I were to rephrase Robinson's Subsumption Theorem in more modern terms, what it says it as follows:

[Restated Subsumption Theorem] Let S be a finite set of clauses and C ≠ D be two clauses that are not in S and such that C ≼ D (C subsumes D). Then, S ∪ {C,D} is satisfiable if and only if S ∪ {C} is satisfiable.

So this statement is missing the explicit requirement for derivation of C from S, but if S ∪ {C} is satisfiable then C should be derivable from S by Resolution.

Now, R. C. T. Lee's thesis is not available anymore, it seems, and it wasn't available to Nienhuys-Cheng and de Wolf, either, so there's a lot of uncertainty around what, exactly, Lee stated and proved, and how it is similar or different to Robinson's Subsumption Theorem, and to subsequent statements of the Subsumption Theorem in ILP. Kowalski may be able to clarify the confusion.

I'm posting this in the very slim chance that you might have some intuition about all this, in which case I'd be grateful to hear it.
Lol, I'm definitely not PLA, I posted this because it's obvious the military is looking for ways to exploit TikTok in the West (if it isn't already happening).
I genuinely would like to teach - K-12 or higher ed.

I will not work somewhere where I am expected to put in extra hours for no extra pay, allow people to physically and verbally abuse me, and doesn't pay enough for me to make rent and bills.

I don't expect a CC to pay amazingly, but if they want good people they should at least make sure that they offer a better deal than jobs who only want a GED and right now they aren't. Plus the salaries are skewed: I could get a good paying job at my local CC... in the development or 'business' side of things. But not to actually teach. If you can pay data analysts 70k there's no reason to stiff your educational staff. It says a lot about the values of that institution.
Of course that page just had to pop up a modal consent banner first...
https://www.howtogeek.com/177711/ios-has-app-permissions-too... (2013)

https://source.android.com/docs/core/permissions/runtime_per...

Man the amount of false shit that gets thrown around by these Android vs iOS mobs, usually by people who don't even know their own side.
> Duolingo has brief explanations of the grammar for each unit.

Last time I checked, those were only available through their website, not on mobile.
This is confusing to me. It's an old and open protocol, I don't see it's continued use as dystopian. If you want to worry about something, worry about Google and apple's repeated attempts to man-in-the-middle attack SMS by hijacking it and sending it through their servers instead of by SMS.
Check https://support.google.com/adsense/answer/10924669?hl=en
Yeah it's a smart idea I see now, you can use it as a universal database as such for all clients, like having a Python dict for all the outputs or something, but you can also easily spin up the UIs enabling your cool examples.
I don't agree with their assessment, but also not really interested in putting effort into debunking it.

Just occurred to me there's a different possibility:

The extra connection bug mentioned could be from a rogue thread/process/code-path connecting to the queue and fetching an item, but somehow not doing the work.

Verifying this likely requires access to the codebase, so treat this as little more than idle speculation.
That's right, char in C doesn't necessarily mean an 8-bit byte. There are modern architectures where there is no 8-bit type and CHAR_BIT is 16.
> If the file is signed, metadata will be extracted and submitted to Microsoft. If that fails or the exact binary hasn't been run on a certain amount of computers, smart screen will show a big scary warning despite your $500 a year digital signing certificate.

This is true and annoying, but only with regular certificates. The more expensive EV certificates bypass this “well known” check.
AP doesn't have this? Bluesky has this and it's in private beta still :(
Only if you rely on dumb learning where it’s learning pure pattern matching rather than interacting and reinforcement learning based on the responses.
Autotranslation: https://juejin-cn.translate.goog/post/7224765991896121401?_x...

Repo: https://github.com/nihaojob/vue-fabric-editor/blob/main/READ...

Live demo: https://nihaojob.github.io/vue-fabric-editor/

Are you the author?

How does it compare with Inkscape?

I tried the demo and a nice feature is that this has a few preloaded images. What is your favorite feature?

Post that are not in English are usually ignored or flagged. It's easier to get points and views with a translated version of the post. It doesn't need to be perfect, an autotranslation is a good starting point but it has too many errors. Perhaps you will need the help of a friend or coworker to fix the translation.
Paraphrased:

"I tried to bride the guard. But he refused. Probably because he'd already received a better bribe or was stealing. It only occurred to me later the possibility he might be honest. For a fleeting second, the thought crossed mg mind that I might be the criminal - but I shrugged it off and jumped over the fence and trespassed in."

This attitude is slathered with contempt and superiority. Its also quite common among travelers. We act aghast when our "tourists" are arrested and sentenced to decades of jail or execution for drugs or taking pictures of sensitive installations.

Good riddance! If you're unwilling to do the time obey the local laws or stay in your country!
She used to teach a foreign language, so there was only one other teacher and yes management really was a problem. :(

Good to hear that things have improved - it’s been about 10 years since she moved on to teaching privately.
Great username. Where do you stand on this topic? :-)

Your vote ratio reflects the relative fewer excellent programmers to weigh in on your point.

Majority: Python is pretty, perl is line noise.

Minority: Simple isn't easy, succinct is expressive.
> var rec="andrew@bettersheets.co"

Looks like you can get the sheet owner's email programmatically rather than hardcoding an email:

SpreadsheetApp.getActiveSpreadsheet().getOwner().getEmail();
> I think it’s ridiculous that we are asking the government to save us from our own choices.

So you think it's better asking companies to save us from our own choices? And that doesn't strike you as even more ridiculous?
Why do you say the real impact will take 20 years to appear? I’d say it will be even less, but the market and salaries for IT will grow higher as the brain drain intensifies.
Has it? Is there something akin to XSLT for JSON yet?
IANAAstrophysicist, but I'm pretty sure that, with no external driving force, such an oscillation in differential rotation rates would die out quite quickly.
An average police department, however, has very limited funds. Unless the guy is much more interesting that we know, nobody would spend that much money on cracking his address book.
>I'm a native English speaker, but I live in a country where the native language isn't English.

Emigration is not an option on most people's plate, specially when discussing topics such as learning a new language. Also, some people try to pick up languages for fun, which would be ridiculous to format your whole life around.
An interesting bit from the linked ElcomSoft article:

>Brute force attacks became not just faster, but much smarter as well. The user’s existing passwords are an excellent starting point. These passwords can be pulled from the user’s Google Account, macOS, iOS or iCloud keychain, Microsoft Account, or simply extracted from the user’s computer. The user’s existing passwords give a hint at what character groups are likely used:

So if the victim used portions of that "longer than 20 characters" password in their other passwords, the amount of work required to crack the LUKS password would be much reduced.
I wonder if meat that doesn’t have boar taint tastes amazing though. I had wild turkey once and it was like another universe of flavor compared to the sad tasteless thing we eat on Thanksgiving. If I recall, I have had wild boar before and it had the same very rich wonderful flavor difference that I experienced in the turkey and is like the difference between a store-bought tomato and a garden one.

And reading this-

https://www.aasv.org/shap/issues/v5n4/v5n4p151.pdf

If you read the “Consumers’ response to taint” section, it seems consumers can’t even detect boar taint in meat, only trained panelists in a lab; so you have a very weird Goodhart’s Law situation going on there.
I don't think he stuttered.
I believe lawyerspeak has three separate concepts of "ownership":

- usus, the right to enjoy the thing,

- fructus, tge right to reap the fruits from the thing

- and abusus, the right to sell, alter or destroy the thing.

To "own" something generally means all of the above, althought it might not always be the case: https://en.m.wikipedia.org/wiki/Usufruct
It's a shame RumpKernel didn't rach escape velocity. It was really cool to be able to take anything and make it a unikern.
I think it will for config, simply because JSON doesn't support comments and that's really not an optional feature.

But I have tried lots of alternatives and none have as good tooling except maybe XML. Especially for schemas, which I think is really important.

I want JSON5 to succeed but there's no good IDE support really.

I also tried Dhall, which looks promising except they've imported all the super weird stuff from functional languages that are just going to put people off (e.g. the weird leading commas, and very odd way of declaring functions).
I'd recommend watching this video if you'd like to know the more nuanced story behind climate change: https://youtu.be/oqu5DjzOBF8
I am not qualified at all to really comment on it but this did open my eyes to how confusing the entire thing is.
My Latin teacher would sometimes describe words like this. In this case he said if a person were writing a long sentence along a mountainside, rather than walk all the way back to begin a new line they'd do this.

I have always wanted a list of these interesting words that relate to grammar or linguistics. I can ask GPT for some, like "epenthesis" and "apocope" and "epanalepsis," but here's hoping someone will point me to a compendium.
I can’t imagine a single scenario where your comment would be anything else than FUD. Nice try Tim Apple.
No, but it is worth being careful about what such fitting means: What it's saying is "given this set of theories about what the black hole might look like, here's what it most likely looks like" (and hence what theory of those in the set is most likely). That's still usefully improving your knowledge, even though in theory there could be some other shape it looks like with theories you have not considered. And stating with the prior it could look like literally anything is not necessarily reasonable: no-one expects that it would look like a tree, for example, and that's because of other things we have observed about the universe. Science, especially astrophysics and cosmology, is a lot like a gigantic crossword: the clues and answers to other parts of the puzzle constrain the other parts, and while it's theoretically possible that there is some completely different model for everything that fits all the observations done so far, generally the bits which are less clearly known still have a pretty well-defined shape, because they are constrained by other information and the models which fit that.
You have to wonder why they don't use this as training for military units. The military helicopter pilots could use the training, and this would also provide good training for snipers and door gunners. There wouldn't be concerns about people doing stupid things as US military personnel are good at following orders.
Ok, in the context of the article, what I'm saying is when a browser requests a page for the very first time, the server will have no idea if scripting is enabled and so your server side code will have no idea whether to send a 302 redirect to your no-script content.

This is why the noscript tag exists and should be used.

Yes I'm aware there are various sniffing techniques you could use to work out if scripting is enabled but these are not always reliable. Only the browser knows authoritatively if scripting is available and hence you should use the noscript element to respond to clients that disabled scripting.
> Apple being motivated by improving security are BS, and it pains me te see people in this forum falling for it or reapeating this.

It's the same with privacy. Forcing app publishers to state what user data is being sucked out of their phones was just a poor PR stunt.

Nothing has changed. Applications still require payments in form of contact lists (which is more or less illegal in Europe if you don't have permission of all people in your address book to share their names and phone numbers), disguised as helping users check if their friends are using a service, or to even allow user to use some app functionality.

Unimaginative accountant that currently leads Apple on one hand bullshits public opinion when disallowing Facebook to steal data from users' devices and, on the other hand, after blocking Zuckerberg's ability to do so, he disgracefully used children protection to announce that Apple will now inspect users' data under the pretense of looking for child porn.

Apple users are being deprived of OS control with most of updates and it's always done under the untruthful pretense of increasing security or protecting users' privacy.

When this little man finally pushes ads to core macOS, he'll state that it's to help users.
> As far as I'm concerned, as long as Sony is allowed to keep the PlayStation locked down.

I'm sure that now that the EU has finally woken up, gaming platforms will be under scrunity too. Mobile phones are a much more critical part of people's lives than game consoles, so it made sense to target them first.
[resistance is futile](https://github.com/bytesnake/vim-graphical-preview)
And we ingest them now, they are in our water [1], and they can’t be flushed out [2] — right?

But these corporations put out metric tons of it externalizing the cost to everything and everyone. While the individual is told they can’t have a plastic bag or straw, and that we can recycle our way out of it (which is a scam — it was shipped to China, not recycled). Thanks corporatism! Government is carrying water for corporations while individuals are distracted into thinking they can clean up the mess with personal action [3]

1. https://extension.psu.edu/microplastics-in-our-waters-an-unq...

2. https://www.theguardian.com/environment/2022/mar/24/micropla...

3. https://magarshak.com/blog/?p=362
Basically I see three main directions:
A) The natural conversational interface with callbacks to earlier in conversation sets up the precursor for widespread customised oral exams.

At least for serious learners, this is a genuine way to test skills despite AI cheating options, and harbours potential for skill upkeep too[1]. I have been predicting this for a long time now(2015+) and at recent tech conferences, it's became clear this is beginning to happen.

B) Personalised addressing of knowledge gaps and interest can both improve motivation and success for students. An AI tutor can now robustly head towards Blooms 2-sigma effect for learning (i.e. that private/small group learning is much more effective than class-wide learning, largely due to adaptivity). The larger potential is to do class-wide work which you identify wide misunderstandings (e.g. like Vertiasium' channels PhD dissertation on using videos with misconceptions to teach better), and enable students to tackle them together[2].

C) Use of AI to use a students understanding of one topic/area (such ideas from a game they love like Red Alert 2) to teach another one(like how cells interact with threats). Things like using comparisons, metaphors. This can be truly powerful for certain student groups.

An alternative here is using image generation AI to show certain concepts on a rolling, scroll-to-see kind of basis to try and loop into that human psychology. I was too early with this as I spent a lot of time with GANs/early Diffusion when the tech was a bit naff. I did win 2nd place on a Cohere Hackathon with "Learn Visually" which explored spatially-aligned AI generated images, but like said, that was before the real revolution, so the quality wasn't quite there.

[1] One of my controversial opinions is that most people are capable of 2-sigma+ performance on many skills, but fail to upkeep their knowledge or tackle problems regularly enough to ever obtain it, instead tackling problems repetitively or with cognitively-easy techniques, giving us a distorted view on human potential. Summer is particularly damaging.

[2] Because of social pressures to work and compete
The worse case scenario is investment in your your movement towards cleaner energy is constantly hampered by scientists and politicians making near term apocalyptic predictions based on conjecture.
>Over 89,000 subscriber

Some experts are publisher now. How many subscriber pay?

(1970 circulation of "The Economist": 100000)
The Archer Midnight eVTOL aircraft will complete the route in about 10 minutes; according to local resident and Ars Managing Editor Eric Bangeman, that journey by car can take over an hour due to road construction.

I'm much more interested to know if they have some kind of more flexible boarding + take-off slots negotiated so that the 10 minute flight isn't 1.5 hours net after waiting. If it's the same procedures as for a normal flight, I'd probably just take the taxi.

Short commercial flights are typically a tough sell because of all the waiting overhead.
Dumb weight for one. Structural design for another. Everything in between the teo axles has to be very strong since it keeps forces generated by the road from ripping the car apart.

On top of that, outside the axles, you're in the automobile's crumple zone - ie it's deliberately designed to fold in itself to absorb the blow of impact.

I don't like putting my mother in law on my SUV's third row - I'm loath to put my kid
Not mathematically, but physically. You need astronomical quantities of energy. Bruce Schneier pointed this out in "Applied Cryptography" (1996):

https://www.schneier.com/blog/archives/2009/09/the_doghouse_... (unfortunately the exponents are not displayed correctly here)

> One of the consequences of the second law of thermodynamics is that a certain amount of energy is necessary to represent information. To record a single bit by changing the state of a system requires an amount of energy no less than kT, where T is the absolute temperature of the system and k is the Boltzman constant. (Stick with me; the physics lesson is almost over.)

>Given that k = 1.38×10-16 erg/°Kelvin, and that the ambient temperature of the universe is 3.2°Kelvin, an ideal computer running at 3.2°K would consume 4.4×10-16 ergs every time it set or cleared a bit. To run a computer any colder than the cosmic background radiation would require extra energy to run a heat pump.

>Now, the annual energy output of our sun is about 1.21×1041 ergs. This is enough to power about 2.7×1056 single bit changes on our ideal computer; enough state changes to put a 187-bit counter through all its values. If we built a Dyson sphere around the sun and captured all its energy for 32 years, without any loss, we could power a computer to count up to 2192. Of course, it wouldn’t have the energy left over to perform any useful calculations with this counter.

>But that’s just one star, and a measly one at that. A typical supernova releases something like 1051 ergs. (About a hundred times as much energy would be released in the form of neutrinos, but let them go for now.) If all of this energy could be channeled into a single orgy of computation, a 219-bit counter could be cycled through all of its states.

>These numbers have nothing to do with the technology of the devices; they are the maximums that thermodynamics will allow. And they strongly imply that brute-force attacks against 256-bit keys will be infeasible until computers are built from something other than matter and occupy something other than space.
I found it, and then some:

- https://github.com/alacritty/alacritty/issues/862#issuecomme...
- https://gist.github.com/programus/d3bf9c6b8f9b7648891d1f59b6...
- https://world.hey.com/jonash/alacritty-drop-down-guake-quake...

Really cool!
>Apple's network effect is basically zero.

>There's always one Android user in the friend group that spoils iMessage and FaceTime