skysight-inc/HackerNews huggingface dataset:
I do this for five to ten minute stretches to draft pages of prose. Also filtering through ChatGPT to clean it up and reformat it into any shape I'd like.
Of course.

Would you be less likely to interpret it as such if the speaker had omitted "literally"?

I would say that the sentence is an example of hyperbole. "I am so figuratively dead right now it's as if I am literally dead." The meaning of literally, there, remains intact.

In the same way, when someone complains that you left them waiting for "days" we don't say "sometimes days means ten minutes" but that sometimes people exaggerate.
One alternative might be “run as fast as you fucking can towards Potrero Hill” if you are close enough to be able to make progress towards it.
Someone went around measuring volume levels, and found that all were louder than 100 dBA, with the loudest being 121 dBA!

These are beyond "a tad annoying" and into "hearing damage".

https://academic.oup.com/pch/article-abstract/25/4/216/55195...
There is a nice explanation at the end of the letter: “While PCTC simulations do not allow you to go back and alter your past, they do allow you to create a better tomorrow by fixing yesterday’s problems today.”
ANC = Active Noise Cancelling

...as in it has a microphone.
Segment Anything is a transformer

https://segment-anything.com/
Thank you! Okay so yeah looks like people still do choose Chrome independent of the default that is shipped. That would indicate people are making the switch because they like it, fair enough!
My house in Minnesota had one. The building codes were such that the first winter without we had constant condensation on the windows, which ruined the finish. Installed one later that did 4 whole house air exchanges per hour. Best investment ever.
It seems like I could go to great lengths to be a germaphobe and take extraordinary precautions at every turn, or I could not do that at all and just wing it, and either way I will get between one and two mild-to-moderate head colds every year. And this is in NYC where I spend half my life in crowded spaces. Just doesn't seem worth the hassle to give a shit.
>If the bootloader is unlocked, it's only permanent until you reflash it.

That's very vendor specific. Of the android phones I've owned none of them exhibited that behavior. You could flash and reflash without re-unlocking. It only gets locked if you issue an explicit lock command.

>Also, there are options between "user has no control" and "totally unsecured bootloader" (ex. user-provided keys)

There are good reasons to have unlockable boot loaders, but this case specifically (ie. data loss from when your phone bootloops) isn't one of them. For one, do you really expect the average user to generate their own keys, reconfigure their bootloaders, and resign their roms? Even if they could pull it off that effort would surely be better spent setting up an actual backup solution, which would protect against other hazards that an unlocked boot loader would not (eg. phone falling into the ocean).
Can confirm that an autistic person I know is the only person I've ever seen treat bathroom hand dryers as intrusively / unbearably loud devices.
I wanted to use them, but they'd only accept payment via Plaid, that ridiculous service where I have to hand my banking password to a third party -- you know, the exact thing that we all know to never ever do. That's a nope for me, sadly.
Calling diet and exercise "pseudoscientific quack cures" is by far the funniest coping strategy I have witnessed in a long time.
Advertising no. Tracking individuals and building profiles about them across the web, much less clear, probably yes.
I think this is a good theory that may have very little to do with whether or not HP systematically engaged in age discrimination independent of factors related to personality.
> it worked

Yes, and it would probably work much of the time. The times when it doesn't work and you have to write off equipment worth more than the cost of a professional move, which shifts liability as well, is why more risk-averse companies don't do it.
It was so close to SF that it was much more apparent than other earthquakes. For me, this was the most noticeable earthquake in SF this year.
I’m not saying that there should be no vetting whatsoever.

But there’s a vast possibility space between no vetting and the systematic analysis of all public information about a person. Especially when social media - a place where people are rarely their authentic selves - is a primary source. There is far more stupid stuff being said on social media than dangerous stuff. But the two can be nearly indistinguishable without appropriate context. People will be denied entry for being spicy far more than for legitimate reasons I’d imagine.

Not to mention that there is a significant amount of public information that should not be public in the first place. Its availability is not a justification for its use in this way.
By
> If the answer is no, then you might be missing a lot of people that have nefarious intent, where you could have prevented that by looking at their social media posts.

I can’t get on board with this framing. It feels similar to the arguments for more cameras in public places. Put a camera on every corner. They’re public after all. But once you start feeding those cameras into a central AI that can track your every move, they’re no longer just cameras, and the very idea of what it means to be in public no longer means the same thing that it did for most of human civilization.

Again, I’m not saying they should look at anything. But I think it’s also necessary to raise red flags when emerging tech will be used in increasingly invasive ways by governments.
I haven't tested with either of those unfortunately, but I do regularly test when connected to a VPN using OpenVPN.

From a PC/Mac, if you can reconfigure your browser to proxy traffic via Pākiki, it should work with them (and then subsequently route traffic over the VPN).

Unfortunately I'm not sure what the network routing/proxying behaviour is on mobile when you have a VPN like those configured, but my assumption is that it probably wouldn't work.
> I cannot just go and give Professor X $10K to do this research and claim a tax writeoff.

You absolutely can. These are called “gifts”. Typically, the overhead rate is very low (~10%?) and they are tax deductible as a charitable contribution.

That said, you don’t then get to say “do this research” directly. (That’s called a “directed research” grant and comes with a higher overhead.) But you would basically only give money to a lab that’s already doing research you find interesting — and of course you can talk to them about the research you’d want them to do, this distinction just refers to whether there’s a contract for specific research activities or not.
Ah ok it must be a Canadian thing, then: https://www.canada.ca/en/environment-climate-change/services....
You're nothing but the harbringer of your own doom with that kind of uninformed loser talk. You know how unrealistic and pointless it sounds like, especially said on HN?

Back when Kennedy first harnessed the whole US towards something truly greater, the odds seemed infinitely worse. But they got it done. Including minituarizing a room-sized computer to fit in a box just to serve as cruise control for Apollo.
From what I gather, the current stated goal of Israel is the elimination of Hamas and the US supports that and even China seems to have dropped their opposition and announced "They have a right to defend themselves."

So perhaps it will get resolved.
Maybe they provide credentials for a stolen identity?
I value this method; my strategy is to turn my display brightness down to nothing while drafting. If I think I mistyped something, I just type a line break and go again.
Curious, as someone playing in a noiseband I don't even think the loudest (broken) hand drier I ever heard even remotely resembled anything I'd describe as loud. Everything is relative. I always found the dyson ones to be quiter than those old big rusty things that vibrate the whole wall as their fan spins up.

But as a sound engineer I am aware that A) there is such a thing as too loud and B) people are very subjective in what they perceive as unpleasent sounds and when it is unpleasant to them they are more sensitive to it
We're not talking mass outflows of Palestinians. We're talking foreign/dual nationals we would just transit through Egypt. Why can't they leave?

The Rafah crossing looked pretty intact in the videos showing the aid convoys going through. We've also seen lots of videos of people waiting on the other side to exit.

Indeed Israel did announce a blockage and/or siege of Gaza. That said they can only blockade areas they control which does not include Egypt. I think they are extremely unlikely to attack aid convoys directly though they may take indirect action against them (such as attacking the roads). Most likely this is done by mutual agreement of the involved parties but this is me speculating.
I've been interested in this question myself - and recently wrote a basic web 'microframework' for Lean 4 [1].

I've loved being able to use Lean's macro system to write JSX-like HTML:

def header := <header class_="header">
<h1>todo</h1>
...

Ironically I've come up a bit short on how to use dependent types to do anything more advanced than matching handlers' to route types, which Servant [2] can do fantastically already.

I would love to be able to write types that describe, e.g., assumptions made about external resources, so that I can prove that "assuming my DB has such-and-such a latency, my page will always render in such-and-such a time" or something similar - but it's a bit beyond me at the moment.

[1] https://github.com/alex-wellbelove/LeanServer
[2] https://hackage.haskell.org/package/servant
Israel did commit human rights violations. On most days I would be right there with you on that. But that's "what aboutism" in this particular case.

I have Palestinian friends and people in Gaza. I feel terrible for them.

But there's really no choice here. This is the point you're ignoring. Hamas is a cancer on the Palestinian people. It must be removed. It would be painful and probably result in many casualties on both sides. But it has proven that it will not rest until Israel is destroyed.

No. Two wrongs don't make a right. Killing civilians while aiming at the Hamas is never "right". But letting the Hamas keep going is far worse than the alternative, it will embolden it further and it will kill far more.
Look, if you're correct that there is and will inevitably be minute traces of lead throughout the food supply and you're implying that this is not a reality that can be changed because its basically just how it is on a basically molecular model, than yeah we can't necessarily make it full-blown absolute liabillity.

That sure as hell doesn't mean that concessions aren't made on the part of operating companiea to ensure their windfall in removing the biggest threat to their business upon discovery of their future criminal wrong-doing does not being part of their operations. Like how that company in China added some bullshit additive to baby formula that ended killing and maiming a bunch of Chinese babies.

The absolute balls firstly, but second, they had lots of splaining to do as if thry were in AbsoluteLiabillityNation, which China's legal system certainly seems to be. Heads rolled off to prison disgraced and disrobed economically speaking and I'll bet they don't have a similar crisis for a good long time but obviously the odds of fraud there, like anywhere else, tend towards non-zero...
I suppose the actual paper is describing retrocausality and not time travel but maybe I'm perceiving that wrong?
AFAIK the only real purpose of the recirculating range hoods is to catch grease. And it sounds like GP's was missing the grease filter. (BTW, those get -really- gross pretty fast, it's worth cleaning them regularly)

You can get grease filters now with charcoal filters embedded within, and that might help a little bit with smoke.
> And what is exactly being done about this?

> And what is being done about that?

Less than was being done before, now that Hamas has slaughtered over 1000 Israeli civilians, taking attention away from Israeli crimes in the West Bank. In fact, it appears that settler extremists have used this as cover to step up their crimes, murdering a bunch of West Bank Palestinians in the past few weeks.

I hope you can see how people might see this situation as a lesson that the West Bank approach of encroachment and murder _is_ in fact the correct approach, and letting Gazan's form a state was a mistake that lead to the slaughter of over 1000 Jews.

> They not only forced them to leave: they also demolished the buildings they left behind.

What is your point? Settlers were demolishing and dismantling buildings _they_ had built and owned. If anything, Israel tried to at least hand over many greenhouses intact. But Gazan's looted many of the intact ones after the handover. This is all well documented: https://en.wikipedia.org/wiki/Israeli_disengagement_from_Gaz...

> 10 years is nothing and again, this is the sort of thinking that keeps on fueling this conflict: you don't need a solution for 10 years, you need one that actually works. And killing large numbers of people rarely solves problems. If anything history should have taught us that.

10 years is a lot better than 3 years. And if Israel makes a concerted effort to destroy Hamas now, and keeps Gaza from redeveloping, the next attack by the next Hamas is likely to kill a lot less people. That's a win for Israel.

> Rabin had the right idea: de-escalate and normalize.

Much safer to attempt that after Hamas is utterly crushed. After all Israel just tried the de-escalate and normalize approach over the past few years. Hamas used that deescalation to plan and prepare for their recent attack. They've even bragged about the fact that they deceptively did that, duping Israel into thinking Hamas was focusing on their economy: https://www.reuters.com/world/middle-east/how-israel-was-dup...

The tens of thousands of Hamas members who planned and carried out the recent massacre are monsters. Simple as that. They need to be thoroughly wiped out.

The sort of people who rape and murder on a huge scale in cold blood are not the sort of people who are worth negotiating with. Diplomacy has its limits. Negotiating with the Nazi's proved to be a mistake. Negotiating with Hamas is no different.
Show HN: Knowledge engine tracking wealth, power, influence
I created Persagen.com [1] as a self-taught, solo programmer.

Persagen is a knowledge / search engine devoted to the pursuit of universal social justice and equality, environmental protection, and universal human rights.

Persagen tracks and curates wealth, power, and influence affecting these issues.

Persagen seeks a better world and society. Sustainability; people over profit.

My premise is that better knowledge enables better decision-making: voting; solutions, etc.

Aside: I am trans [2], so the polarizing anti-LGBTQ+ rhetoric, protests and legislation (Canada, USA) are of particular concern / interest.

Key attributes:

* curation of news and data relating to wealth, power, influence

* backend: Apache Solr, JavaScript, etc.

* frontend: search, some visualization examples (d3.js)

* curated data sources [3]

* bespoke ontology [4]

* prototype knowledge graph

* FAQ [5]

* Mastodon social media account [6]

* external news RSS feed [7]

* general introduction / overview [8]

* technical introduction [9]

* privacy-respecting (no trackers, ...)

* demonstration page [10]

Due to the backend server (Apache Solr; SSL/TLS-enabled) and the loading of some content into external tabs, JavaScript and popups are required (note case on password):

u/n: guest

p/w: @Guest123

Aside: I am seeking employment: please see my C.V. [11] and cover letter [12]. Thank you.

[1] https://Persagen.com

[2] https://victoriasjourney.com/

[3] https://persagen.com/docs/sources.html

[4] https://persagen.com/html/blog/2022-06-30-what_is_an_ontolog...

[5] https://persagen.com/html/faq.html

[6] https://mastodon.social/@persagen

[7] https://persagen.com/rss/pg-extnews.xml

[8] https://persagen.com/html/intro_01.html

[9] https://persagen.com/html/intro_02.html

[10] https://persagen.com/docs/leonard_leo.html

[11] https://persagen.com/about/victoria/cv.pdf

[12] https://persagen.com/about/victoria/cl.pdf
If you get a list of wifi networks, you can look them up in various databases too check possible locations of the device.
Any solid evidence?
The "earthquake scene" from LA Story applies to all of California.

https://youtu.be/3Yz2RC9C1tM?feature=shared
First, charities are closer to research funders than grant recipients. They are more likely to hire contractors to do the actual work or just send the money instead of doing the work themselves.

Second, academic overhead rates are usually stated relative to direct costs. A 50% overhead rate means 1/3 of total costs.

Third, it's not just administrative overhead, but it's also used for paying for facilities and the services required for using and maintaining them. The actual administrative overhead, for administrative services and facilities used by the administration, is usually below 20% of the total.
I'd avoid Revolut, they're worse than banks with regard to verifications.
I'm not claiming israel is a saint here, only that disrupting telecomms during wae is not in itself a war crime.

I fully agree the west bank is fucked up (i do not think that justifies oct 7, which on the scale of atrocities seems much worse)

As far as the blockade goes, i don't know - it seems like there might be a grey area between blocking humanitarian aid vs being required to provide it. At least personally i think blocking the water was too far, but blocking fuel seems reasonable to me, but ianal and this doesn't seem clear cut to me so id like to wait for more analysis.

> There’s also concern about Israel ordering the displacement of much of Gaza’s civilian population, which is permitted only if required for the civilians’ security or imperative military reasons. The civilian population needs to be able to return as soon as possible - permanent displacement is a crime."

Given there is a ground invasion there starting right now, in a dense urban environment "civilians’ security or imperative military reasons" criteria seems met imo. I agree its imperative they be let back when fighting is over.

In the context of this conflict, it should be noted that the Palestinian side has commited a crazy amount of war crimes over a very long time (both by hamas but also past groups). That doesn't excuse israel's misdeeds, but when only one side is held to account, it delegitamizes the whole project of international law.
Oh, I think I misunderstood the proposal there. I thought the language model was meant to be producing (only) code, not proofs.

If it manages to produce successful proofs of pre-existing property specifications, then that's great!
There are many things in life that can disable a person for a time. With proper care, healing and rehab, abilities can be regained. In the mean time, many experiences that were formerly unexamined bring valuable insights. As Cindy Li observed, "We’re All Just Temporarily Abled" <https://blog.jim-nielsen.com/2023/temporarily-abled/>
Shall we begin to expect provenance, then? Like, for our own factual informational health?
Wow, that sounds horrifying!

> I'm guessing that it depends on the bubble we have on each social network.

Absolutely, and it always makes these kinds of social media debates very anecdotal and hard to make any conclusions.
Isn’t constant evaluation the problem? If you don’t have to churn out papers to meet evaluation requirements then most of the perverse incentives disappear.

It sounds like the best institutions hire great teams and just let them be. Check up on them to ensure some progress, but don’t make artitrary requirements like “>3 papers in a journal with impact factor > [arbitrary cutoff]
How do they scan for wifi?
At minimum it'll save you from having to buy a new TV. Big LCD panels are pretty fragile.
My experience (from the Christchurch earthquakes in 2010-2011) was that "wait and see if it's a big one" is what most people are more likely to do.
We do. I think advertising of all kinds should be illegal. I consider it to be a form of mind rape when they forcibly insert their brands and products into my mind without my consent.
https://leaddev.com/team/beware-fake-job-candidates
People are speaking with ChatGPT for hours,bringing 2013's Her closer to reality
See also: https://gwern.net/iq
That's 1-2% against the interests of almost everyone else that would benefit from driverless cars. Their plights matter, but at they same time they shouldn't have veto power over transformative technologies just because they'll be put out of a job.
It seems that some people easily believe in Israel propaganda without digging the actual reasons, and how can the people know the actual reasons when the facts are all buried together with the rubbles of communication infrastructure and the main offices of reporting news agencies. It is part of international laws and basic human rights that during the war you cannot demolish communication infrastructure, churches, mosques, hospitals, news agency offices, schools, civilian homes, etc. As demonsrated in this war, the first casualty is the truth that paved the way to countless atrocities.
It's all a part of the grand plan to take away general computing from the unwashed masses.
The letter discusses a theoretical framework to understand certain quantum phenomena, which includes simulating hypothetical constructs known as Closed Timelike Curves (CTCs). CTCs in the realm of general relativity are paths through spacetime that, if they could exist, would allow for time loops and, in that sense, "time travel." However, in this letter, CTCs are not being used to propose actual time travel, but are rather a conceptual tool to explore certain quantum behaviors.

In the scenario outlined in the paper, the authors simulate CTCs using quantum-teleportation circuits to explore how information can be "sent" back in time, effectively. In other words, they explore a situation where information from the future could be used to amend the state of a quantum system in the past to achieve a metrological advantage. They employ quantum entanglement and post-selection to simulate a scenario where a certain state in a quantum metrology experiment can be determined based on future information, which is then effectively sent back to amend the initial state of the system.

The key takeaway is that the authors are not suggesting actual time travel, but are employing the notion of CTCs and quantum simulation to delve into a complex theoretical exploration of quantum metrology. This exploration reveals how entanglement can simulate what would be effects of retrocausality, meaning effects that appear to violate the typical forward flow of cause and effect, to achieve certain advantages in metrology, which is the science of measurement.
From GPT
In essence, this is a very high-level theoretical discussion that uses the concept of time travel as a tool to explore certain quantum phenomena, rather than a proposal or explanation of practical time travel.
3.7 barely qualifies as an earthquake though.
I am curious as to how the scale was installed.
Same here —- was shorter than the last one this year though.
What about fully independent instances, each serving N clients, with shared stuff done as a DHT? Is there a framework for that?
Also, I feel as if the world hears they can burn their garbage so thats one less thing to worry about going forward, makes the world and hopefully everyone in it a little more receptive to the idea of everybody pooling our funding (to replace other garbage garbage programs in place) and start where emissions are worst and burn baby burn however it can be done properly.

Its insane we're not already doing this if all the other stuff is more likely than not true.
NSF definitely does, and it's often (at least at R1) of >50%