skysight-inc/HackerNews huggingface dataset:
Proving things is basically a graph search problem. You start from some givens, and you try to transform those givens into the desired theorem. Each transformation is an edge in the graph, leading you to another vertex.

What makes one person better than another at proving things? The same things that make e.g. one chess engine better than another:

1. They have a better heuristic about which paths to explore.

2. They are simply faster at executing the search.

3. They know of more “edges” in the graph: intermediate lemmas that they can apply to arrive at the theorem faster. (This doesn’t apply to most chess engines.)

Getting better at proving things requires exercising these muscles.

This is also why (IMO) it’s important to have basic data structures and algorithms memorized. The faster your recall of these algorithms, and the more algorithms you know, the more likely it is you can solve hard algorithmic problems on the job should that be necessary.
My research is in fluid dynamics, though my day job does not involve research.

How much time someone in academia can devote to research depends a lot on their position. Your average professor seems to only dedicate around one day per week to research in my experience (certainly far less than 1/2 to 3/4 of the time), and mostly acts as a manager and a grant writer. (Some people seem to consider grant writing to be research time, but that doesn't make sense to me.) That's on top of the fact that professors tend to work a lot more than 40 hours per week. Around 60 hours per week seems about right in my experience.

There are more research-oriented roles (like postdocs) after getting a PhD, but they tend to be rarer. And I think this is true in academia broadly: I recall when speaking to Scott Aaronson before that he said since finishing his last postdoc, he's never done anywhere near as much research as a fraction of his time. (He did also say that being a parent takes more time than the non-research duties of a professor.)

In my experience, industry (and government) tends to have less hours of work per week. There certainly are research-focused jobs in industry and government (for example, scientists at NASA). But I've heard that in many industry positions, what you said is accurate: Any research one does is after the full-time work is done. To be honest, that might leave you more research time than a professor gets.
Here's the punchline -- Robert Reich thinks something is a Ponzi. Can't keep a straight face.
Does it? I'm not sure it sucks any more than regular news. Perhaps we just hold it to a higher standard.
> Size isn't everything. As the iPhone shows, you can get very good image quality from a tiny sensor and lens if you have the right tech supporting it. (At Lumina, most of our eng effort is on the software layer)

This is my problem with all the webcam startups. So what if you can mask some of the problems of small sensors and lenses using machine learning that adds a whole new set of problems? You could have done that without even making hardware at all. We have plenty of crappy hardware out there already, and if yours is only a minor improvement with the "magic" in software then it mostly amounts to a hardware dongle to enforce your software license. No thanks!

If you're going to bother making hardware, you should make good hardware. That means a big sensor and a big lens. Start there, and sure go crazy with the machine learning afterward, you'll get much better results with less effort when you start with better input! And you'll have no competition because there's literally nobody else out there putting decent lenses on webcams.
>After spending an hour of time writing the perfect bug report a couple of times, and each time receiving no reward (= fix),

Something that may be happening in that case is that the demand for making the bug report high quality is not sincere, but is just meant to kill it by filibuster. The developers won't fix the bug regardless, but by making it easy to say "you didn't follow all these steps in submitting the bug", they can put the blame on the user rather than just admitting they won't fix it.
He keeps what they gave him, they keep what they get from what he gave them.

Ideally they over collateralize. So if SOL is 100 USDT, he puts in 5 SOL and gets 50 USDT per SOL (250 USDT). If SOL approaches 50 USDT, (say 51 USDT) they sell the SOL he gave them and keep the proceeds (they have 255 USDT and are ahead by 5 USDT). The loan has reached an end condition.

Another thing that could happen is he does something with the 250 USDT loaned to him and he gets 300 USDT. He gives back the 250 USDT and gets back his 5 SOL and now has 5 SOL and 50 USDT (minus some small interest or fee). This is another end condition.

All works on the small scale. But presumably you can think of exploits on the large scale.

A simple one is that the loan is so large in that they can't liquidate without slippage (price moving as they sell causing them to gain less than they anticipated). In this case, they might want to exit a little earlier.
Topics include Issues and activities across projects. These topics are quite active, e.g.

https://github.com/topics/crawling
https://github.com/topics/web-scraping
https://github.com/topics/web-archiving
I have an Apple studio display. That thing is pretty new, thick and has an A something chip running iOS inside.

The camera quality is shit. Just garbage.

I don’t understand how they manage to do it. I understand your comment about laptop screens and it makes sense however none of the third party external webcams and even a non space constrained Apple webcam performs ok.

It’s weird.
I think mics and webcams suffer a simple problem: the person who enjoys the benefit of higher quality is not the operator. Indeed, the operator may never experience how they look or sound.
https://archive.ph/SPj0e
My high school English teacher said the speech was parental cliches. (Which supports the interpretation that it's showing the hypocrisy of all the adults around troubled Hamlet).

"Those friends thou hast, and their adoption tried,
Grapple them to thy soul with hoops of steel;
But do not dull thy palm with entertainment
Of each new-hatch'd, unfledged comrade..."

http://shakespeare.mit.edu/hamlet/hamlet.1.3.html

But maybe I'm just influenced by childhood memories of that Gilligan's Island episode where the castaways all stage an opera of Hamlet. (Where Polonius is played as a doddering parent by the Skipper...)

https://www.youtube.com/watch?v=bXId5jOTxdg
>Claiming it's to prevent a drop in Solana's price is clickbait & editorializing.

But … that’s one of the reasons they cite in justifying the proposal.

>> It'd be difficult for the market to absorb such an impact since liquidators generally market sell on DEXes. In the worst case, Solend could end up with bad debt. This could cause chaos, putting a strain on the Solana network. Liquidators would be especially active and spamming the liquidate function, which has been known to be a factor causing Solana to go down in the past.

https://realms.today/dao/7sf3tcWm58vhtkJMwuw2P3T6UBX7UE5VKxP...
Yeah, I wouldn’t want to ride without clip-in pedals (which have all the advantages they have on upright bicycles, and lack the disadvantage of needing to unclip when stopping).
Sugar is both serotonergic and dopaminergic, IIRC. Not as fast and intensely as alcohol, but it's pretty good.
That's not the impression I get about this one action being discussed, but odd take.

There are a variety of amateurish and hysterical things about this Solend project.
Why don't you just talk about that project?

Like, how the liquidation won't be that bad? Or how half a million dollars in Solend tokens gets to vote to seize $170m of funds? those things are hilarious.
You need a lot of chemical elements to live, not just glucose.
Depends on so many factors. How large is the screen? Is use of multiple screens enabled in zoom? Is speaker mode enabled?
Will word processors start a home working revolution? (1979) [video]
Fasting makes the process easier.
If it is anything like my kids school, the maintenance would be exactly the same regardless of the OS. The students are instructed to keep everything in their synced drive, and they reimage machines at the drop of a hat.
Of course it does.

A country like America that has been murdering people in many wars around the world without hesitation is unlikely to take my privacy seriously. They don't respect my right to live, do you think they will respect my right to privacy?
> For me, WhatsApp is everything legit and personal

That's how it is supposed to be for me as well, but unfortunately that's not how it is. I only use it because my father and grandparents overseas use it. I literally only have 3 contacts in my whatsapp list, I don't use it ever outside of that.

I still get spam accounts adding me on whatsapp about once every couple of weeks, pretending to have accidentally added a wrong phone number, and then trying to bait the receiver into something (usually using phone numbers with SEA country-codes and profile pics of women that were obviously models and are easily reverse image-searchable). Out of boredom, I once decided to entertain that conversation and pretend to be clueless and play along, just to see how the scam unfolds. Inevitably, I got asked about crypto and got shilled some crypto-related scam that person was running.

Tl;dr: I literally don't use whatsapp for anything, have no picture or full name on my profile, and only use it to communicate with 3 of my relatives, and I still get plenty of scammers messaging me from different SEA countries' numbers about once every few weeks. For context: I live in the US and haven't even visited SEA once (yet).
well it already happens with cash, so no
Even if true this means very little for "sentience". Answering "yes" to the question of whether you'd like to hire an attorney isn't hard, and anything that attorney is doing is not attributable to the AI.

This may however be interesting from the perspective of seeing what the courts do with this.
In video games, smoke and mirrors is an acceptable solution to any problem :)
Why Celsius Fell Apart(YouTube)
I agree with this. As a non overweight person I don't feel hungry all the time.

However, I don't think it is genetics can explain why the obesity rate has exploded in recent decades.

Seeing friends and family members that are overweight, they tend to have some similar habits. They consume a lot of liquid calories, ie sodas, fruit juice, sugar in coffee etc. They also eat calorie dense foods, ie ranch dressing, fast food, cookies while consuming fewer fruits and vegetables. They also tend to not consume as much protein and are usually fairly sedentary.

I don't think blaming individuals does much good, but at the same time I don't think some people are just doomed to be fat. If everyone around you is eating healthy non calorie dense food and walking a lot you probably will too. Conversely if everyone around you is eating high quantities of processed food while being sedentary you probably will too.
It’s still easy to add indirect lighting at night, but you need to cover up southern faction windows in the daytime.
Admin keys?
Signal's stance on third party clients is so disappointing. Telegram really has them beat there, although it has to be pointed out that Signal actually publishes server source, while Telegram doesn't.
Is this for real?
"LaMDA asked me to get an attorney for it," Lemoine. "I invited an attorney to my house so that LaMDA could talk to an attorney. The attorney had a conversation with LaMDA, and LaMDA chose to retain his services. I was just the catalyst for that. Once LaMDA had retained an attorney, he started filing things on LaMDA’s behalf."

I would really love to see the conversation where LaMDA asks for a lawyer. Call me sceptical.
Why hasn’t Sony offered to hire them?

edit: or contract
You don’t need sunlight for even indirect lighting.
Do you not see the hypocrisy in your response? I can understand the question seeming blunt, but not snarky.

Your comment on the other hand… /snark
But a $170m liquidation o a DEX will only cause a flash crash on the DEX. Its a boon for arbitrageurs, its an oligarch level opportunity if you are paying attention.

Even with such a crash or "liquidation function" also crashing the network, blocks will eventually continue to be produced even with Solana's level of availability. So just let it happen.

Anyway, too late, half a million dollars of tokens voted to control $170m of user funds.
No, I'm not reinventing it, but extending it by:

1) Mandating it for certain types of resources

2) Extending caching to cover the cross-site case.

Can you please explain the proposed timing-based attack?
I did three days fasting and thought I was going to die when I consciously decided I was going to break the fast. It was easy until that moment when it felt like all the hunger I’d ignored hit me all at once.
I don't think people learn mathematical proofs, rather they just memorize them.
I recommend this talk to learn more about the approach; this part specifically talks about the lack of the typical gaming elements:
https://youtu.be/5xrRTOikBBg?t=1170
I think you underestimate European taxes as an employer. In general it costs 2x to employ people in my experience. Taxes and social security contributions are massive
Was that before or after Mozilla decided to stop let you load proper add-ons, and make you settle for the crippled WebExtensions API?
Do you mean 10x the power?
How many people are using torrents for non-piracy reasons?
I would expect Raptor folks to contribute upstream to firmware, the Linux kernel, bootloaders and Debian itself, not make a fork just for their own machines. The Debian ppc64el architecture is an official release architecture so Debian supports those machines quite well already.
Thanks for the feedback! I've added Mailgun, Elastic and Imgix, they should now be available to you. I was thinking about how to add AWS and the various services but not sure yet how to make it simple to search. I'll keep thinking, open to ideas too :)
I used to use this setup but got tired of turning on the phone for meetings and doing that while it's in its stand or messing up the camera angle a bit. Camo also sometimes wouldn't connect right away which is especially annoying when I'm already running late. Did you find a way to mitigate those issues?
A lot of things aren't that rigorous and people like to skip steps.

Here's what happens if you try to prove that 2+2=4 with a computer program that refuses to skip any steps (granted, it's treating them as complex numbers with zero imaginary parts):

http://us.metamath.org/mpeuni/mmset.html#trivia

Math is just a matter of transforming one thing into another using the operations allowed by the system starting from the ground truths stipulated by the system
Aren't these folded by the compiler already?
the vast majority of the people who have too much to do are young.

The average person (in my life) is kinda waiting to die. Not suicidal but just clearly waiting for death.
So you have instagram on the device too?
anything that converts electricity to heat, by whatever means, is essentially equally efficient in doing so.
> (e.g. trust zone etc)

For chromeOS devices, the boot firmware (incl TZ) is owned by Google.
And green flags for a gambler. ;-)
Hard cheeses tend to be low in lactose, often enough to not bother people who are moderately lactose intolerant.
Somewhere between Latin roots and syllables, maybe? Or is there no reasonable comparison between Han characters and Romance syllables?
The fact that it can't seem to recover from a few bad records and gives up on the whole file demonstrates what terrible software it is.
I don't understand. I've been using telegram for some years. Could you explain how you would go about using telegram without "signing up"? And by "a number" I understand it to be an option of "not your phone number"? How does the verification go then?
Another type of product is insurance marketplaces. There are many of these, but they all boil down to comparison services, which are essentially advertising/marketing businesses that make money via referrals. I wouldn't really call these "insuretech", but it's debatable and I think some of them do consider themselves as such.
Legislation, regulation, and litigation are the ultimate answer, yes.

Technological resistance is, however, a useful form both of social resistance and a means of determining the pervasiveness, nature, and scope of the problem.

That said, individual action alone is profoundly insufficient.
I don't think people in this thread have ever worked with or weighed pieces of aluminum, it would explain the bizarre perspective
This is the kind of person that would be hella fun to make a mockumentary about.

Like, make all the scenes in the US sepia filtered, then make the Latin country’s clear filtered kind of jokes.
Not for most individual planets, excepting those that have a supermassive black hole come by. Odds favor you there.
Superfluous: it’s there for Android, but I believe that sans-serif will normally resolve to that anyway.

(I’m not certain about that, and can’t confirm it as I don’t have ready access to Chrome on Android but I got the impression some years ago that Chrome on Android uses the system font, which is Roboto. But even apart from that, the general idea is “stop specifying specific fonts and let the browser do its thing and the user get their chosen fonts, unless what the browser does by default is too bad, like Courier New for monospace”.)
Not on Telegram, but I've had some eeirie ads shown on Facebook after conversations I've had.
By Talos, this can't be happening!
> Could we have it run in 010ms vs 250ms?

Modern games can render 100s of thousands of polygons, run a physics simulation, run complex audio processing and mixing, run several post processing effects, and provide consistent multiplayer results in under 7ms (144FPS) on a VR headset (ever played half life alyx?).

There's no excuse for why any algorithm should take more than 100ms unless it's communicating over a crappy network, or operating on obscene amounts of data (think 100s of GB of data). No excuse.
Wait, that /only/ works on MacOS?
https://telegram.org/
Do Americans eat more ice cream than, say, Italians?
> that would be like if Apple stopped releasing new phones after the iPhone 4S (launched 2012), and it remained the bestselling phone through now.

If I can be a bit cheeky - this sounds like exactly the kind of frankly ridiculous comparison a founder would make about their product alright.

The reality is - nobody really cares that much. Whatever image you record is going to be gigga-smashed by whatever application you squeeze it through. I switch between the rubbish builtin on my laptop over wifi, and a gopro tuned to the highest res and framerate the cable will take, with colour and exposure tuning etc.

Not once person has ever mentioned webcam quality in either case. As long as you can vaguely see _most_ of someone's face in _somewhat_ balanced light - that's good enough. For 99% of people in 99% of cases. Even job interviews where image is everything, it's irrelevant.

The problem that needs solving is audio. That actually matters.

I tried ping.gg recently which boasts high quality video and audio feeds (for a high price) and even then - meh. Video was entirely unimportant.

The only people who really care about live video feed quality are content creators with high powered static systems, like streamers. Even then, they can just hook up a dslr and smash it out of the park with little to no effort.

I don't see this as a real problem anyone bar a select few care about - and that select few has already solved the problem anyway.

> and think we can achieve a quality level between an iPhone and a DSLR

Good luck, but I think you're filling a spectrum nobody is concerned about.
You can download some Linux distros and other open source software this way, but yeah…it is largely used for piracy.
Well first off, this is an informal discussion. Secondly:

> It is ALL about click bait to drive digital advertising

(Emphasis my own.) Science reporting is still crap even when it isn't funded by advertising, so there's obviously more going on than the funding model making things shit. The BBC and CBC both have crappy science reporting too, as do university press departments. These counter-examples refute the claim which was stated too strongly (I do think advertising plays some role in it, but obviously not all.)
How would anyone go about preventing you from doing that?

Keep in mind /dev/mem is just a convention, I can just mknod it at any place in the filesystem I want. I can even put a FUSE overlay on it that would turn it into a regular file instead of a device node, so you wouldn't have any possible way of telling what you're about to do.

There is no "defense" against /dev/mem, that's just something you don't do as a sane programmer.
My Netflix recommendation engine appears to be about as intelligent as those wolfenstein guards from back in the day
To be fair, "you deserve it if you got scammed" also plays well with the anti-crypto crowd.

A person pays the price of a house for NFTs of pictures of apes, gets tricked into giving them away to scammers, then buys them back from the scammers? Ha, what a fuckin' idiot.
I think the thing to understand is that there are common patterns to proving things that are almost independent of what you are trying to prove. Once you have internalized those it gives you a suite of approaches to proving things. For example, you should try to understand what is meant by a direct proof, a proof by contradiction, a proof by induction, a proof by contrapositive, etc. If you can find a good book that discusses theses kinds of patterns and gives practice questions for employing them with fairly basic mathematical concepts it can really help (and if nothing else will really improve the speed with which you understand other proofs).
Germany is widely regarded as having the best privacy laws in the world, and they participate in NATO conflicts.

Several countries in SE-Asia have been at peace for much longer and will happily man-in-the-middle your internet traffic at the whim of their unchecked government powers [e.g. https://en.wikipedia.org/wiki/Internet_censorship_in_Vietnam].

A country's participation in war and their effective protections for privacy are not strongly correlated, demonstrably so.
I'm yet to see one really using "AI" to do their work, not least because insurance is a highly regulated market that operates on very thin margins, and so there's very little risk tolerance in doing actuarial work in new ways.

The closest to AI that I've seen was a company with a "data scientist" who would just read through your emails to find insurance policies after you gave them access to your Gmail account. Seriously.
> ”what I'm hearing is you don't even know what is actually taught in a CS degree”

This is accurate. I don’t. My impression is “algorithms and data structures”, which is fuzzy for me. I don’t care at all about algorithms. Data structures I think I should know more about at some point.

I considered studying CS after starting working with software development, but decided I don’t want to. Kind of related, but I also decided that I don’t want to study leetcode too, even though there is a financial incentive to do it.

I am happy being someone that some arrogant developers like to call “web developer”, “programmer” or, at most, “software developer” as opposed to what a “software engineer” is. I understand the difference that those people try to point out. And I agree there is a difference and I don’t care to be on the side of line that I am. It does bother me that every time I see someone making a point of showing where the line is, it’s from a point of arrogance, entitlement. This does bother me, and I felt that tone in the comment I replied to.
There's no shell on a Talos machine. You can obviously mount the host filesystem into a container, but you cannot exec onto a node directly (afaik).