skysight-inc/HackerNews huggingface dataset:
Sometimes I understand abduction, other times, not. I'm a bit of a fan of logic
programming so I try to describe the three inference modes using definite clauses.

Deduction: we go from facts (positive literals) and rules (definite clauses) to
facts:

swan(alice). white(X) ← swan(X).
----------------------------------
white(alice)

(If we know that Alice is a swan, and all swans are white, we can infer that
alice is white).

Induction: we go from facts and rules to new rules:

has_feathers(X) ← bird(X). bird(X) ← swan(X).
----------------------------------------------
has_feathers(X) ← swan(X).

(If we know that all birds have feathers and all swans are birds, we can infer
that all swans have feathers).

Abduction: we go from facts and rules to _goals_ (negative literals):

white(alice). white(X) ← swan(X).
-----------------------------------
swan(alice)

(If we know that Alice is white and all swans are white, we can infer that Alice
is a swan).

The last inference is of course not sound, as such - Alice could be white
because she's a yogurt, say. But, if we operate under the assumption that only
what we can prove is true (the so-called "closed world assumption") and the only
rule we have about the concept of "white" is that "all swans are white", then
the reasoning step becomes sound: the only way that we know for Alice to be
white is for her to be a swan.

What if we know multiple ways for an "X" to be white? For example, what if we
have the rule "white(X) ← yogurt(X)"? Well then, we can make this inference also:

white(alice). white(X) ← yogurt(X).
-------------------------------------
yogurt(alice)

And now we have two contradictory hypotheses about Alice: either she's a swan,
or she's a yogurt^. We can resolve the contradiction when we learn more about
yogurts and swans, and Alice. For example, if we have the information that Alice
has feathers, we can figure out that Alice is a swan.

The closed world assumption is the simplest way to handle uncertainty (or in any
case there are no simpler methods). It is also non-monotonic, in that new facts
and rules can change the truth value of facts inferred from a theory. Which is
great because that way we 're not stuck with the conclusions of initial
premises.

Anyway, that's my logic-programmer's model for abduction. And it may be horribly
wrong at places (my model for logic programming was horribly wrong the first ten
years so...).

_______________

^Correction: Actually... alice can be a swan _and_ a yogurt. swan(alice) and
yogurt(alice) are not contradictory unless we have some proof that they are.
Disabling WebGL will block a lot of HTML5 games. I think there will be a lot of "WebGL not supported" or "browser out of date" messages that will need updating to include "please turn off lockdown mode"...
Brain on Spice
My wife. My kids. My siblings. My cousins. My parents. My dog. Coffee. Bourbon. Ice cream. Scrambled eggs. The smell of baking bread. The smell of fresh rain. A walk on a sunny day. Sex. A really satisfying crap. Movies. People watching. A funny joke. A bad joke. Puns. A good story well told. The stars at night. The sound of cicadas. A hawk screeching overhead. The beach. The mountains. A friendly smile. A hug from a friend. A hug from a stranger. Jitters at the start of a marathon. Elation at the end of a marathon. A symphony orchestra. That guy playing guitar at the John Lennon garden in Central Park.

But yes, competent and inspiring leadership is good too.
Like Netflix’s overzealous identification of individual users (spread out over multiple households), Discord too will face declining users.

Not sure what the business model is anymore but this sure isn’t about revenue.

I’ve dropped Discord since phone number requirement was added.
It was the worst famine - and, arguably, period - in the history of the world:

- tens of millions died due to starvation from central planning issues (variously causing: a plague of locusts; Mao wanting to save face so refused foreign aid and maintained being a net exporter of food while people were starving; diverting people away from agriculture to metal production to meet the five year plan)

- millions died from government beatings/torturings to death, and suicide due to hopelessness and government destruction of cultural traditions in the name of centrally planned progress

Now one might say that there may have been even more harmful centrally planned economies, i.e. the USSR and Nazi Germany, but at best any of the candidates is competing to be only the third worst disaster in the history of the world.
I’ve had tons of cars and only seen this behaviour in one - think was Citroen.
Digital Markets Act is done deal, only formalities left.

It has support of the EU Council, Parliament and Commission.

If you read DMA it gives quite a lot of executive powers to EU Commission, so that approach can be adjusted as needed.

As long as there will be political points in bashing American big-tech, it will not fizzle out.
HireArt (YC W12) is hiring a senior front-end engineer
Investing in companies has a lot more plausible deniability than shorting them. I don't know the specifics of her husband's case or what he does. Most funds have fairly specific strategies laid out though. It would raise a lot of eyebrows to do something wildly different.
You missed one important point: edbrowse does not depend on those absurdely and grotesquely massive and complex c++ web engines (blink/geeko, financed by gogol, and webkit, financed by apple).

It is lean and simple C, including its deps.
She has no compelling reason to, nor do her peers across the political spectrum.

This type of regulation has to be one of the more challenging to implement. Global social engagement means that any attempt to adjust the status quo means pissed off constituencies.

For every person who sees the legitimate societal dangers posed by unconstrained growth of Tech’s influence, far more view that same growth as a positive and will actively resist curbing their personal freedoms.

Soma is soma, whether it’s provided physically or digitally.
How it's compared to Kubecost?
Interview with CTO of several scaleups and mid-market companies with Video insights and transcripts s well as Tl;dr
Democracy Dies in the 21st Century
You’re like one step away from getting to the heart of it. US regulators have a golden calf they need to not kill because these companies make fistfuls of money, provide stable gainful employment to a few million workers, and give the US broad global influence.

It’s way bigger than one representative.
Cookie banners are a brain-dead, malicious compliance way of evading the actual goal, which was to reduce the needless use of tracking and analytics cookies. AFAIK, if you only use cookies strictly when they need to be used to make your application work, you don't even need the banner.
TFA smells like character assassination of a scientist who has made poor choices of co-authors for his publications.
Is anyone speculating in Minecoins and constantly shilling it to push to the prices before selling out?

Your comparison is very selective.
joke aside, it is a per-tty setting, right?
The commit references this in the "Fixes" tag: https://github.com/torvalds/linux/commit/7d7402642eaf385aef0...

That's a commit from 2015
> It was clear from the beginning.

I don't remember anyone predicting that there would be an industry-wide effort to deliberately not comply with the rules, relying on lax national enforcement, with companies choosing to make their own websites less nice to use just to (successfully) trick people into hating the legislation and not the surveillance practices that the legislation was designed to stop.

That's proven to be a great strategy in hindsight, but I think that this Schelling point was only found by accident.
GPT3 is pretty great for an 'AI' at teaching language, with the right prompt.
nimby get out
It was a design decision. The JWST was not built to be serviceable in Orbit.
I was talking about the difference between (world resources)/(world population) and (world resources)/(world population - 100 million).

Of course if you personally kill a very rich person and take their stuff, that might be a life-changing event for you, but unlike during the black death, the average person's income is not significantly derived from dead people's stuff.
Non-political resources like a density of restaurants with food available, density of people who will provide help, charities, food banks, community centers, etc.

If you look at each state’s share of the total number of people in the US experiencing homelessness, is unsurprising that the states with most are also home to the latest cities. Texas is low per capita, at a state level, but when you look at rates within cities then Texas and Florida and Arizona cities start to pop up.

It’s not like conservative local governments have “solved” homelessness.

As long as there is homelessness, dense urban areas will always have the largest share of people experiencing homelessness because there are simply more resources, in the general sense, there. Where there are people, there are resources.

Let’s not forget climate as well. California, and the West coast, have a pretty favorable climate in general.
It goes both ways.

When Cuomo told people they couldn't get evicted and didn't have to pay the last month's rent, I had tenants with white collar jobs decide to leave an apartment I rent a mess b/c "hey, you have no security deposit".

I could have gone to the courts but would have been the same outcome: wait a year and who knows what would have happened.
Ask HN: Where can I find small companies to work for part-time?
I dislike going through interviews and all the rituals that involve working for a company full time.
I don't like to stick to one project for a long time, which is visible on my resume, and recruiters don't like that.

I've been thinking of a way to work around these traits, and what I have come up with is - work part time, on B2B, with invoices instead of employment contracts.
I'm hoping that with B2B it will be easier to find work, fast. It should be more flexible to employers.

But where do I find people to do work for?

Edit: I'm a full stack developer, mainly focused on Go and React.
I'm surprised there's no mention of the 3 visit limit unless you have a subscription.

And when often enough one of those three feels like "wasn't worth it" you quickly lose interest.

Ultimately, 20% of the content was driving 80% of the interest / traffic. When those creators move elsewhere things begin to shift pretty fast.
> Seems pretty obvious to me. People are notoriously hard-to-patch components of any IT/social system, and exploiting them with this kind of tech is possible, because they are hardwired to expect that video faking is scarce.

People will learn to distrust video content once fake videos become commonplace so direct exploitation is only really a short term problem - at most for one generation of people growing up with friends making funny videos of things they didn't do. The longer-term problem is the loss of trust in video content used as evidence. OTOH as others have pointed out this might actually be a positive thing too considering the increasing amount of video surveillance that will too become less trustworthy and thereby also less of a problem.

> unless we ban general purpose computation.

Now that's a scary thought - it's unfortunatly already all too commonly accepted that people can't be trusted to decide what to run on their devices.
Reusable rocket boosters are cool but if you compare their impact with for example manned flight and the invention of airplanes, I think you will find that the latter have been more important for human progress.
The main difference is that the EU has no meaningful competition and so the only thing they really can do is legislate since innovation doesn’t seem like an option for the EU.

I remember when Nokia represented top tier consumer tech. Oh well.
While I personally don't use twitter, a sad reality is often people get better tech support from making a fuss about a shitty situation on twitter while pinging companies' accounts publically and challenging them to fix it.

I'm not sure if it will help you, but it's worth a try, or at least trying to get someone else to make just such a fuss to get proper attention.
When I first saw the URL, I wondered who has the .org for Agnes Scott (which is a college I know of). It looks like the college owns both the .edu and .org, and uses them for separate purposes.

Is this as rare as I think it is? I tried a couple big name universities, and none of them used the .org domain for anything (Stanford redirected and threw an error; none of the others had any content or weren't owned by the college.)
Mitsuba 3: A Retargetable Forward and Inverse Renderer
I’m sure people mean Google Sheets, not Excel, because it’s shareable. Some tips based on my experience:
-Search for pre-built sheets to get an idea of how to build things out for your company
-Build with ways to easily adjust headcount, salary, start dates
-Factor overhead separately from salary
-Version control/who’s allowed to edit is important
-Know that it won’t go exactly to plan, so don’t worry
-Tools like anaplan are just as hard to use as sheets, and cost a lot of money, avoid them for as long as possible
If you ever had to repair a disk using fsck when it had hundreds of errors, you would understand why yes(1) was created.
I love the app, but consider disabling the visual stuff instead of failing with an exception in cases when WebGL is disabled: it's not strictly necessary for the app to work.
not helped by propaganda sheets like The Atantic
Same experience (and amount) here. My first emotion was disbelief!
> Not really. Just look at windows. I press the windows key, type reboot and it gives me a link for the movie ReBoot. The Windows design is a joke. There must be something else going on, OP.

FYI in Windows lingo you want to "restart" rather than reboot.
Lossily compress the point cloud then, come on. For thin two-sided objects like laptops, rasterize the depth map of each side.

You might be interested in how biometric hashes for things like fingerprints or irises work, since these have the same problems: the biometric is decomposed into a “stable” part and an “unstable” part. The stable part is hashed and the unstable part is encoded as a residual. W.J.Scheirer and T.E.Boult’s work on bipartite biotokens is one potential implementation
The original purpose of the tax is to reclaim the land if the possessor can not make enough money off the land, or prosper some other way, to pay the tax.

A mortgage acts like this too and if the tax was insignificant by comparison it would seem so fair but at least a mortgage can eventually be paid off in full. Then the bank no longer has an interest but the taxman never stops.

Taxes always go up but economic fortunes do not, when these become out-of-phase the original purpose is fulfilled.

This is what makes people demolish perfectly good buildings to reduce the taxable value of their property while they try to hold on to the land during a downturn.

Mortgages don't make people act like this.

For the greatest prosperity of the average citizens in a sustainable system, you tax nothing but commerce.

The purpose of taxing the income or property of average citizens is to repress opportunity for the majority.

This is by design.
Good thing then that you don't!

Eg: https://scottaaronson.blog/?p=5122
The chance of being on the internet for an extended period and not running into a troll is 0%.

I can tell you as a former forum admin, that there is no way to avoid these people showing up. The rules don't matter, banning them doesn't matter, being a calm and relaxing place won't matter either.

What did matter is that the rules made sense and were followed indiscriminately by the mods and admins. It also helped to have a forum dedicated to spam and allowed for breaking of many rules (racism/harrassment and CP being excluded from the exception)

My banlist over a million users was 20 people long. I don't consider this sum to be hard to handle and at 1.2m registered users (without a need to register to read), I think maybe the problem is actually in the rules/application.

People hate feeling like they are being treated unfairly.

We would also enforce the rules when racism was targeting white people.
Apple’s 60 pages healthcare report [pdf]
Upwork. Just spend an hour a day submitting proposals, and you'll be drowning in offers at the end of the month
Unless it's specifically a period where operations wind down, don't companies try to stagger leave?
I used ThinkPads for a decade, and then XPS13 for the last 8 years (plus a year on XPS15 for my personal machine before switching back to XPS13). The XPS13s ran Linux for most of that time. My current work XPS13 is Windows 11 plus WSL2 running Ubuntu 22.04.

I like the XPS13 for its small physical size, good Linux compatibility (if buying a brand new model, wait for the first BIOS point release to come out before purchasing) and in recent models, the 16x10 rather than 16x9 screen.

Quality is ok. Needed one motherboard replacement (under warranty) in 8 years, and that's running/cycling every day with the laptop in my backpack.

The other thing is I use it with an external monitor above the laptop. Don't use an external keyboard because I don't mind the XPS13 keyboard [1] and don't want to be changing keyboards between work/home/while travelling.

[1] Apart from the new touch-sensitive function key row... Just give me normal keys that depress. I won't buy the 2022 XPS13 if I can't buy one with a proper keyboard.
We're using CL in prod for an embedded system (https://evacsound.com/) for some years now, fairly smooth sailing. It started out as an MVP/prototype so implementation was of no concern, then gained enough velocity and market interest that a rewrite was infeasible. We re-train talent on the job instead.

Incidentally I also did an algo trading system in CL at some point (who didn't?). The sibling comment is spot on that outside of deep backend it's a self-reinforcing ecosystem with too much focus on auxiliary stuff if you have to re-implement it.
One person being pushed in front of a train is a tragedy. A million people dying of some respiratory disease is a statistic.
Will it match the hash of one of the existing CSAM images in the database?

(And, under the Apple plan, you'd need to also match N other images in the database before anything would be flagged up for human review.)
I believe you, I do, but for every company afraid to use the features of a service they pay for because of vendor lock in, I can show you five, six and seven figure bills attributable to DIY. Nothing is drop in if it's value added - if it's not value added, why are you using a vendor at all?

Portability is a huge myth that eats engineers hours like a snack every single day and rarely pays off.
My understanding is that global warming is only mildly negative to US as a whole long term. Coastal cities/region are obviously toast but they are only small % of landmass. Country will adjust just fine.
> The equivalent to non walkable cities and only poor people using
public transport will happen with on-line life of nothing changes.

Nice analogy and I agree with your take on the political weakness and
abdication. But the analogy is not quite right. Real cities and roads
are physical. If they're built wrong people are stuck and have to
adapt over many decades or generations. Digital technology is
ephemeral, all built on software. While the EU are going for government
moderation the US will get sharp corrections in good time, in a
de-facto, pragmatic fashion. Ultimately the US attitude is "leave it
to the people".
No, the EU knew that something like a DNT header could never work. And let's not forget: No one needs a cookie popup. If you don't track more than technically necessary, there's no need to get consent or inform the user. It's just that everyone likes to collect as much data as they can that these popups are necessary.
https://news.gallup.com/poll/329666/views-big-tech-worsen-pu...

It’s been a story for a couple of years that big tech companies reputation in the US has tanked. There is bipartisan support for regulating them.
They'd do what they can from the ground, but it's basically not physically repairable if it's damaged, so it would be software fixes only.

It's too far away for humans; nothing on it is designed as an attachment point; and body heat on the parts on the dark side of the sun shield, let alone engine exhaust, would risk further damage.

A robot might be able to fix something, but that risks being more expensive than building another telescope — I don't know how much of the cost was designing it vs. building it, but a second would probably be cheaper than the first.
TextExpander Raises $41.4M
Shape of a polar bear, if desired. You think that's a smoking gun?

Hey you gotta brag your wares. It ain't bragging if it's true.

And it's a really great way to dig, it's not blasting, it's boiling the rock, so the oxygen goes into the atmosphere, you crack it for a huge radius, it's a really good application of nuclear explosives. Explosives always had a dual use, war and mining, clearing rock.
Ah, my mistake, thanks for letting me know.
For me, "an iPhone that complies with these demands" would be a worse experience than the current one. I have no intention to install Microsoft app store (so I can get Outlook), Facebook app store (so I can get WhatsApp), and Google app store (so I can have Maps). I prefer having one app store to having four different ones.
I got the same error, it's related to WebGL being disabled when `privacy.resistFingerprinting` is enabled. The related error is `TypeError: this.minigl is undefined`
> Lockdown is literally presented by Apple as being for people targeted by APTs like those developed by NSO Group, therefore I expect it to prevent attack vectors used by these APTs, like exploitation of the Developer program to facilitate sideloading malicious apps. I don't feel like this is an unrealistic expectation, and not having the mode actually do that amounts to security theater, which is a far cry from decrying everything as such.

These APTs overwhelming use RCE vectors that are less obvious then side loading apps, iMessage is probably the most popular and I would hazard a guess that other popular messaging applications (WeChat, signal, telegram, etc) and safari would be next.
> A bit like finding a flaw in a steering wheel used in a particular model of car when other car makes use that same steering wheel, yet were not tested in the findings.

I kinda hoped you've reference airbags instead (https://en.wikipedia.org/wiki/Takata_Corporation#Defective_a...)
My android didn’t have this problem. When i switched to iPhone it did. A quick Google search will give you similar results.

I believe this is in Apple problem.
I always thought the 'techlash' was more of an elite discourse thing than a real grassroots thing. Elizabeth Warren launched her primary campaign with big billboards saying 'Break Up Big Tech' and that campaign wasn't very successful. To the extent that people were generally mad at Facebook a lot of it was a hangover from the 2016 election
Signal can give you the option to disable that. They just cannot force that decision on users.
Decimate means to reduce by 10%. A pulley or sled more than decimates the amount of manpower needed.
Every third party browser you install on Android already has a differeny JIT, so all those apps probably need to implement their own rules.
HBO and Showtime are the only “ad-free cable” that come to mind. Hulu has an ad-free tier but it’s really only a mostly ad-free tier.
HSBC installs Communist party committee inside bank
The features lockdown mode disabled are used in 0- and 1-click attacks. Installing an enterprise app is somewhat different.
Amazon loves you.
Glad to hear it , a long time ago ? Did the side project turn out to increase a lot in revenue ? Thanks