skysight-inc/HackerNews huggingface dataset:
I mentioned that:

>> The style of induction you're talking about modifies small numbers into larger numbers by the process of adding 1; in order to prove that your property holds for all integers larger than whatever your base case is, you also need a theorem that tells you all larger integers can be reached from smaller integers by a process of repeatedly adding 1.

But you get to define what the domain of the problem is; induction is just about functions preserving properties of their input. If your induction proof fails to cover a particular space, it's still a valid induction proof for some subset of the space.
I could have written the same post. The bullying is passed from one generation to the next, those profs have no (or even negative) pressure to change because their prestige keeps students coming back for more.
this. really. I wouldn't want an envious manager.
Gdjhdgdhdg
I don't think markdown is simple for those don't know any tech.
Those who can write markdown can set up Hugo, Jekyll, Hexo well.
Europe calls for joint cyber defense to ward off Russia
MicroConf – Omar Zenhom – I Went From 0 to 14,000 Customers with SaaS (2020)
I'm getting really old cause I am starting to see this from both sides

If you found out your cube neighbor is out-earning you and you do the same work, you (probably) are safer when the next wave of layoffs comes around.

That little disparity can feel like a giant shield.

This is the most anti-worker thing I have ever typed. I hate myself for sharing how I rationalize this.
Any good trackers based on Web Audio API? Best if open source and works offline
Actual cost, or billed cost? Because they're not the same.
Pardon me.

Is the 250$ per day in a public or private health facility?
TSMC: You know what would be fab? Some local neon supplies
You wish, this kind of a abuse happens all the time in our nice civilized world too.
What are you going to do, go somewhere else?
How can you play so fast and loose with the eyeballs of thousands of your most valuable customers?
Yup - I just skip over youtube shorts if they come up. There is no indication how long they are, neither can I seek. I don't know if I'm about to watch a 5 second video, or a 2 minute one (or whatever the max length of shorts is). I'm not going to sit there like a drooling idiot and find out. If the content I'm looking for doesn't present itself within the first 2 seconds, I bail. and since it almost never does, I just skip shorts entirely.
I can't imagine being an employee of twitter right now, it feels like trying to stop a drunk uncle from embarassing themselves.
>Let's say Bob thinks Charles is an asshole, so he goes to Charles's house and beats him up.[...]Is it just for Bob to be convicted?

Of course.
Silicon Valley Poured Money into FTX, with Few Strings Attached
Which is quite limited in scope and does not allow for boolean (faux-boolean, of course) or json columns. It also affects certain operations in ways that might not be immediately obvious.

Not sure if this has received any further work since its release.

https://sqlite.org/src/wiki/StrictMode

https://sqlite.org/stricttables.html
So, the Queen knew, but didn't interfere... which is what is expected of her: not to interfere with politicians and PMs.
Why? Because they're desperate, need help and hope for someone, anyone to give them some guidance they don't have locally. Academia can be a horrible environment where whole faculties can be incredibly abusive and strange - outside look is pretty much critical to know whether it's you who's losing their mind or if you're trapped in an asylum.

This isn't hard to understand.
>80% of GDP is spent on wants. And if people want a clean environment more than they want the latest consumer crap

I don’t know where you’re based, but pigs will fly before taxpayers in the United States agree to an 80% environmental income tax.
> you pay off your apartment as you work

You do, if you buy the apartment and get a loan/mortgage. If you're renting from the government, you're just renting... you didn't become an owner of the apartment here, until the end of socialism, a new capitalist government, and politicians not wanting to deal with the upkeep of those buildings.

Before 1991, you were renting as you are renting now in any other (capitalist) country (although with proper rules and protections.. so like in eg. austria, germany, etc). You didn't get to keep it.
I do a lot of PLC work.

The Arduino IDE is totally unsuitable for it. No idea what they are doing about this. It would take an amazing amount of work to fix this.

As for PLC functionality people actually use, the product page says "Optional support for standard IEC 61131-3 PLC languages". This is what folks use for real. I presume this means "we didn't want to pay CodeSys but you can". Or something.
That sucks.

Maybe they are relying on MBed support as their basic realtime story but, as mentioned, their dev environment is unsuitable for this kind of work.

There is no mention of expected scan time for ladders or guaranteed latency for anything else

So for the intended market, this doesn't look interesting so far. It seems like it will go the way of the x8 and land with a huge thud.

For a random person wanting an Arduino in a cabinet on a din rail, I can see maybe they'd use it.
NTT claims it can stop the noise leaking from annoying people's headphones
>Neural correlates of eye contact and social function in autism spectrum disorder

https://pubmed.ncbi.nlm.nih.gov/36350848/
All of this is BS though. YouTube already has an easy way of annoying users who seem like they're leeching from their music service: just throw lots of unskippable ads (which sometimes happens anyway for other random reasons), or do any number of similar things. Breaking a major feature of the site is an absolute non-starter.
Hi, I'm Google! Nice to meet you, user. Here's a nice big shiny ball of poo just for you.
For many entries (like your example), what was listed as the DOI was not actually a valid DOI, but rather some other identifier that is presumably specific to citeseerx.

A valid DOI includes a slash: the part before the slash indicates the registrant, and the part after it is the suffix that indicates which item managed by the registrant is actually referred to [1].

[1]: https://www.doi.org/doi_handbook/2_Numbering.html#2.2
Looks like the YouTube team suggested sending feedback as way to gauge user demand for sort by oldest…

https://twitter.com/teamyoutube/status/1590519893962653696
This is highly dependent on field. In neuroscience, the bar in the US is typically one paper submitted (which can take six years to get to)
Housing and public transport are among the success stories of the Soviet Union. At least until the early 1970s, after that there was a lot of stagnation and decline.
And here: https://news.ycombinator.com/item?id=33557751
Still it is likely more used than .srl, which is the equivalent for Italy and Romania.
YouTube is helping me build my house step by step.

For framing, the first thing everyone recommends is “Framing Walls with Larry Haun” (1992). You even get the VHS tracking blips now and then from the video capture.

To be fair it’s also good advice to then supplement Larry Haun’s videos with modern framing techniques but his videos are the first one should watch.

Might just be a single example but it’s the first counterpoint that popped in my head.

https://youtu.be/IQmt27qN6AI
You can also create a playlist and put all your videos there, which I believe also gives an oldest to newest list.
Yeah, let's just apply a short sighted patch, buy some extra tech debt and continue fucking up the planet as usual.
Write bare-metal program for MCU in pure Rust without SDK/IDE/LIB/ASM
Youtube algo gains sentience and assumes humans are worthless scum with zero attention span, Youtube algo becomes Skynet, it destroys the world but plays cat videos to distract us, and it works
> C#, Rust, Go, Java, Ruby or Swift

Conspiracy: The NSA has compromised all those languages' runtimes to spy on whatever is being run and passed through them. After all, that Utah datacenter[0] isn't going to fill itself.

[0] https://en.wikipedia.org/wiki/Utah_Data_Center

Edit: comprised -> compromised
The whole galaxy of Prime services surrounding package delivery would never survive on its own -- or, another way to see it is that they don't have the market pressure necessary to improve/get fixed due to how they are tied to the package delivery.

Prime music for the reason you give, Prime video who keeps finding way to suggest you movies you need to pay extra for (you go specifically to "free/included", you click a couple times, and you're being recommended extra costs things ...), Amazon Drive keeps your file "forever" but then no sorry we're deleting them we stop this but then wait no we're making Amazon Photos now your photos will be kept everything else deleted but wait no only some photos will be transfered ...

The people managing those services are coasting on other people's success.
Omg why you don't Google instead of saying things that you know nothing about

> Turnover is the net sales generated by a business, while profit is the residual earnings of a business after all expenses have been charged against net sales

https://www.accountingtools.com/articles/what-is-the-differe...

So yes, turnover for a business is like the income for a person (and income is always before tax, after tax is called net income)
It doesn’t take a genius to understand how CEX and DEX handle your coins and withdrawals differently. It might take some years to educate the masses, even much of tech crowd on HN is not well informed on these differences.

And trusting experts who distill and educate us on these things is fine, it’s how math, science, physics works. But we can verify the claims in these fields, instead of blindly trusting a single mathematician. That’s the idea of crypto too: don’t trust, verify. FTX was a case of trusting one entity with no verifiable proof of their actions. Uniswap is the case of trusting the code and protocol, and many people coming to consensus to verify it.
Paying people based on need rather than performance incentivises people to "need" more and stop focusing on performance.

Paying on performance and taxing high earners seems like a better system than paying directly based on need.
How To Bootstrap From 0 to 14,000 SaaS customers -- without Venture Capital...

One of my favorite videos in this niche...

Related:

https://omarzenhom.com/

https://webinarninja.com/
Just saying slanted is not problematic. 眼 would be.
The STM32 series don't have any BLE/WiFi solutions built in yet. Since it's "Arduino" I assume it's a NINA module or similar from u-blox as a "co-processor" over UART with an AT command interface, which is basically a brandlabeled ESP32 with some firmware enhancements they already use on other products that focus on IoT.
Crowdsourcing Bridge Inspection
My brother, when he attended his anatomy classes, told me the med students were very playful and joked all the time. A coping mechanism, perhaps? I think it's understandable, but respectful they were not.

For example, they called one of the corpses "blondie"... and she was headless. Let that one sink in.
Qubits based on merons in magnetic nanodisks – Communications Materials
What are some examples? I've always thought of Go as a server-side language.
There were no LE deaths related to Breonna Taylor.
Removing that last ounce of self respect makes room for a lot more money. From a lot more people.
They’re afraid you’re realize it was a shit deal and stop paying rent I suspect. Then they can keep the deposit and try to rent it out again.

The economics of all this works great on paper but very badly in real life.
> The last independent browser resisting Google.

The irony is it's probably only still alive courtesy of Google.
I once had employer tell me that because I was single with no kids I was being let go as I didnt "need" to be employed as much as a co-worker with multiple kids...
How do you know? Maybe I have a gambling debt to the mob. If I do then I need that money MUCH more than the co-worker with multiple kids.

In both scenarios we put ourselves in that position.

Maybe I have a health problem, and live in the US.

Maybe I'm taking care of aging parents.

Maybe I have a crippling mortgage. Too big a house. Live downtown, etc… etc…

"You have no dependents and responsibilities so I'll pay you less" is basically age discrimination in addition to discrimination based on parental status. Both often illegal, and for good reason.
>>why aren’t nurses quitting en masse to become traveling nurses?

because by definition, traveling nurse...travel. Yes you might get a gig for a while in your local hospital, but what happens when that ends? If you are young and/or single and don't own a house or locked into a 12-month lease, sure you can just pickup and move to the next place across the state or across the country - but if you are like most people, perhaps own a home, have a spouse with a local job and perhaps more importantly, kids in a local school system - it is very hard to just keep packing up and moving 2-3 times a year.

It is not for everyone.
One thing to think is that new ways to use data will be created in the future.

Some companies (e.g. Google) by default will capture multi-gigabyte decades-long records of information about us. We might let them do it thinking that it is not much threat to us.

But new technologies can be invented, for example things like widespread use of facial recognition, or deepfakes, or AI, which could make the trove of data we gave away become more dangerous in the future.
A more pertinent question is possibly can we make enough storage to smooth the supply sufficiently to allow adoption of solar as the principal electricity supply technology.

Seems like we're going to need to become more diurnal and more seasonal in our approach to industry? Make hay while the sun shines, as the idiom says.
But these politicians are having severe issues with work.
Sure, you can do good work and then go home and beat your wife, but that is fundamentally different.

Here you might have to work together with people who you see as either rapist or who allegedly see you as future victims. This has to have an impact.
Imagine being asked to work together with someone you believe might wanting to rape you. Can you have a one on one meeting with him? Would you even be willing to have a phone call with him? Even if you can, can you actually still help effectively govern millions of people?
Yes: the browser extension "MarkDownload" into a blog roll style folder structure in a PKM tool such as Obsidian, with file sync.
You're missing the point.

Sure, 10ms vs 40ms is measurable, and for the keen-eyed noticeable. But if you're only pressing the button once every 5 minutes, it doesn't matter. Similarly, if the button triggers an asynchronous call to a third-party webservice that takes seconds to respond, it doesn't matter. And so on.

Of course, for the things where users are affected by low latency, we try to take care. But overall that's a very, very small portion out of our full functionality.
Hacker demands $10M to stop leaking Australians’ medical records
It's not just the culture: managing perks such as hardware, tech support, and VC equipment seems like a useful proposition.

I could see WeWork working in 2012 by getting money from small startups and large company with overflow problems in their formal offices. They just missed the startup boom by a couple of years.
Right now wind and solar have dropped so much in price that they represent a serious threat to fossil fuels on a short time frame. Have all storage problems been worked out? No. But even moving 50% of our current fossil sources to renewables would have a huge impact on the profits of those industries and it’s now completely feasible in the short term and very cheap. If I was in the fossil fuel extraction industry I’d be throwing every astroturfing dollar into FUD calling for those plans to be abandoned because “only nuclear works.”

PS I’m 100% supportive of a mix that includes cheap renewables and more costly nuclear baseload. It’s when you see comments promoting nuclear and renewables as somehow in opposition, that’s the tell.
It's also clear that the criticisms from the article apply. For example, in Seafood, Dairy, Eggs, Meat they have ranked soy milk ahead of milk.
A man bragged on tape about sexually assaulting women and was elected president of the USA.

His lawyer was filmed trying to take of his pants on a bed in a hotel room with a woman he believed was an underage girl and nothing happened.
It’s really convenient for prototyping but best to refactor to stylesheets before pushing all that bulk to production
Some zoos are better than others. The San Diego Safari park for example, and even somewhat their zoo, is pretty wide open using pits instead of cages.
It's apparently specifically designed to facilitate large scale hosting with seamless configuration changes and the like. The story is that mailbox.org (Heinlein sister project) hit a lot of road blocks like that with their current system (BBB) and decided they have to build their own.

They also have big plans for proper end to end encryption.
I have a gambling, hooker and coke problem. Does that mean I get the co-workers bonus next year?
There are processes such as this one. Sequencing specific T-cell DNA gives you the fragments you need to insert into the target genome.
> As someone said, "If libraries were proposed afresh today, the copyright lobby would immediately shut them down and sue them"

This sounded somewhat reasonable so I did a quick search for history of libraries and copyrights laws in US. Apparently Ben Franklin started one of the first in the "egalitarian colonies" while a bit later the Continental Congress resolved that "nothing is more properly a man's own than the fruit of his study, and that the protection and security of literary property would greatly tend to encourage genius and to promote useful discoveries."

https://en.wikipedia.org/wiki/History_of_copyright_law_of_th...

And somehow we have both the laws and the libraries. And this site [below] is claiming that there are "unique provisions" to protect all sorts of knowledge repositories, ranging from "libraries, archives and museums under copyright acts in the U.S. and around the world".

https://www.copyrightlaws.com/copyright-provisions-for-libra...

So that "someone"'s statement turns out to be merely a device to cast shade on the idea of copyright laws.
I wonder if this should be extended to married childless couples. As surely they need lot less money than single people. They housing is cheaper. They can buy in bulk, they can share so many things from cars to clothing and entertainment.
It's not, because "location-based" pay will change if the market price of labour at that location changes. Location is a proxy variable; a distinction which makes all the difference, see for example, Detroit
Gosh think of the ads we can sneak in when user scrolls videos over by "recent"
Show HN: Query SEC EDGAR API using Python and a serverless Flask route
An algo that does not know what the user wants but tries to do something anyway, based on "some [..] metrics that don’t make sense [..]" is by definition "stupid".
Yes. Quite easily, the materials are common. They require energy to process and ship, but that does not have to come from fossil fuels.

I'm confident we'll get there. There will be lots of mitigating the damage from climate change, because that train wreck is still in motion. But we will mostly decarbonize our economies by the end of this century.
They originally wanted to release in March, oh well.

The product looks nice though, I hope they succeed.
That is middle management tier thinking, unless you are one of the real deep thinkers at their level, you wouldnt understand.
1. It is good to have children per se.

2. Demographic decline per se is not in the interest of the state or society.

3. It is in the interest of the state to create incentives for marrying and having children and to support or defend a culture that is at least not hostile to family life and its flourishing.

Does it follows that companies are obligated to pay a higher salary to someone with a family over someone who is single for the same work? If labor is the source of economic value, then it would seem that they are not since the married person with children is creating the same value.

Of course, when employers do compete for employees, such candidates will have a greater need and incentive to choose the employer who does pay more, and companies, realizing that such people will find better offers more attractive, may provide benefits that specifically target such people (e.g., free daycare or whatever). Whether companies do this will depend on market conditions, for example.
Good question. Maybe:

1) People who have been around a while already know most or all of it, while people new to the scene know none or little of it.

2) It's never whispered all at the same time, but rather one or a few at a time when the circumstance calls for it, kind of like a distributed consensus algorithm gradually coming to consensus. Also, easier to recall parts of the list when in the physical vicinity of people on it.

3) The newbies learn the whole thing gradually, not all at once.
So the solution to this is to keep secret lists of people who maybe did something or maybe not, instead of pointing out and proving what they did (even with recordings)?
Those are negligeable compared to their physical counterpart they are replacing though, they so replace a lot of car trips and expensive manufacturing which is now unneeded
embedded Java, yes. real time?

Oh:

> The RTSJ addressed the critical issues by mandating a minimum specification for the threading model (and allowing other models to be plugged into the VM) and by providing for areas of memory that are not subject to garbage collection, along with threads that are not preemptable by the garbage collector. These areas are instead managed using region-based memory management. The latest specification, 2.0, supports direct device access and deterministic garbage collection as well.

https://en.wikipedia.org/wiki/Real_time_Java

Albeit 2.0 is still WIP at this time.

TIL
What's sad is that prices will never be where they were ever. I keep getting slammed by family members telling me to "make sure you vote" cause they feel that it's all a single party's fault that we are in this mess and only the other party can fix it, when sadly, it's the world we live in now. Houses will always be insanely priced now and making 100K is like make 50K.
Many people are young, single, and don't yet have a family. They want more opportunities to meet people.

Not that I think work should be where people find relationships, but rather that different age groups have different needs and desires.
Many entrepreneurs start their business from home. Before they know it, their isn’t a separation between work and life and that can take a toll. It doesn’t mean they need to get away from home or the family.
I'm not that familiar with the requirements of a big OLAP setup but can you explain why they can't be met by creating a logical replica using something like pg_logical?

I understand that the shape of the schema has to be somewhat different for analytics (though I think that point is overstated and many use cases could probably get accomplished with the same table layout but just different index placements)
Next Steps for Improving Yield
I don't care what anyone else makes. I make enough for me. If I want more, I'll ask, or find a different job.