skysight-inc/HackerNews huggingface dataset:
I think you right. Oddly, celebrating food will keep you from getting fat, as the alternative is putting crap in your body.
can you elaborate on "wall-piercing search"? Most of them do let google bot index the full content, or the displayed content is enough... for a high rank. People need to stop clicking on them, or search needs to punish them (at one point google/matt cutts said they would do this), but this won't happen.
Did the situation become more and more awful?

Here's the deregister tool, btw https://selfsolve.apple.com/deregister-imessage/
I think the safest offline storage is to use the browser file system (https://developer.mozilla.org/en-US/docs/Web/API/File_System...) so the data is out of the browser's hands.

It works pretty well with the only downside being the user needs to re-select the file/directory to use each time they use the app and there is no way to force the file picker to start in a specific directory other than the "well known directories".
Honestly a problem is that most developers just don't understand how it works. Docker / static linking solves a lack of understanding, mostly. That's why they are popular.
It will come back to bite people since the likes are still visible to the content creator. Elon has a history of liking stupid things and will be emboldened by this, and content creators may freely see/repost these likes on their accounts as endorsements.

Feels bad all around.
> ~800k extra added to initial page load?

If you're serving it uncompressed, which no production-grade site will (for a given definition of "no"/"none").

> K matter on the web still.

Not, i opine, for the types of apps which want to host client-side databases. These are client-side applications, not "web pages."

Even a bare-bones, database-less google.com is now 3.14mb uncompressed (1.32 compressed), and that's not counting the pieces which uBlock Origin keep from loading. It loads somewhere around 2MB (uncompressed) of JS.

Last i checked, gdrive downloaded some 14mb to get up and running.

> that's an extra half second added to initial page load. That's not trivial;

We'll have to agree to disagree on whether half a second extra initial-hit-only load time is trivial.
> In the current political climate people feel afraid of getting punished for liking the wrong thing.

Like what? Can you provide an example of what kind of "wrong things" people get unfairly punished for liking?
The article definitely assumes you know that 'Obsidian' is a reference to the text editor found at https://obsidian.md/
For our production PGSQL databases, we use a combination of PGTuner[0] to help estimate RAM requirements and PGHero[1] to get a live view of the running DB. Furthermore, we use ZFS with the built-in compression to save disk space. Together, these three utilities help keep our DBs running very well.

[0] https://pgtune.leopard.in.ua

[1] https://github.com/ankane/pghero
I'm not hating at all! I'm just saying testimony and evidence are not the same thing
"Food companies are able to make profit implies that in the aggregate, people lose money on it, just as with gambling".

The argument is simply incorrect. Insurance companies provide a service, not +EV (money wise) investment. Same as any other service companies - they make profit, the customers benefit.
I could not care less about the whole "green bubble/blue bubble" thing. That's for iPhone users to fret over.

If someone thinks less of me or won't communicate with me because of something as meaningless as the color of my messages on their phone, then that person isn't worth my time to begin with.
I loved competing at ISEF. By my last year, the shine was gone
> Thompson, now a postdoctoral fellow at Stanford University, sparked the initial inquiry. As an undergraduate, he and Newmaster co-authored a 2014 paper on forest plant diversity, published in Biodiversity and Conservation. Years later, while completing his Ph.D. at the University of British Columbia (UBC), Thompson began to suspect that Newmaster had repurposed data from a different study by another student.

Sounds legit to me. I think this is more likely explanation due to Occams razor.
Yeah, so the plot would have to be less murder-mystery, and more action-adventure/rom-com then.

The sleekness and opulence being contrasted with a grisly murder works with Orient Express.

So to get a contrast with the rugged and dirty and tiring road, you'd need the nobleness of the protagonist/s to shine above that.

That or you could have a really depressing tragedy as a road movie.
Have you seen the Deep South? At some point the majority literally "outweighs" and forces it into acceptability despite it's abhorrence. Similar to how accepted circumcision is despite how fucked it is when one thinks about it.
It’s being done in response to Elon Musk being caught liking some questionable things.

Now people (e.g., Musk) can like anti-Semitic and pro-white supremacy and pro-Nazi content all they want without fear of being exposed as anti-Semitic or pro-Nazi.
"Virtual Objects" is a cool concept, the name might not reflect the power it brings though. Luckily, the documentation seems to explain it well.
> What is it that makes you think that C/C++ does not do this also?

My experience. I haven't worked in a single C++ project that had hundreds of dependencies, but I encounter those regularly in Rust/npm.
This article isn't about using neural networks for proof checking, but just using them to assist with writing Lean programs in the same way that developers use co-pilot to write java code or whatever. It might just spit out boilerplate code for you, of which there still is a great deal in formal proofs.

The proof checking is still actually done with normal proof checking programs.
Yeah, I also immediately had Dr. Evil narrating the prize money amount in my head once I saw it.

AGI will take much more than that to build, and once you have it, if all you can monetize it for is a million dollars, you must be doing something extremely wrong.
RCS is a messaging service / protocol developed by the GSMA (the global system for mobile communications), a non-profit industry association representing mobile telephony operators worldwide. Nothing to do with American phone companies.
Being fairly familiar with Temporal, I definitely appreciate your cleaner architectural choices. Add a Go SDK and I’ll definitely give this a try.
Accessing Math Solutions via Monte Carlo Self-Refine with LLaMa-3 8B
Weird that it seemingly doesn't care about the title, e.g. people trying to make other people feel inferior because of their conditions.

You hear about familial verbal abuse often enough that goes along such lines.

- - -

The article being pretty much "I didn't directly say a subset of people are inferior to the rest, so any issue you have with what I've said is your fault" really feels a bit too dismissive
A proof is basically a directed graph where nodes are propositions, and edges are deductive rules. One only needs to check that the starting nodes are axioms and that each edge is one of a finite set of deduction rules in the system. So the time to check a proof is linear in the number of edges.
This gets repeated a lot, and might be true (apparently the patent lawsuit forced Apple to change the implementation to be less peer-to-peer?), but lore says that Steve Jobs announcing Facetime as an open standard was a surprise to everyone working on Facetime.
It's not a problem if police obtain a warrant. It's also OK if evidence is discovered while not performing an illegal search. For instance, if a police officer knocks on your door, you open it, and they see something in your apartment which gives them probable cause of the commission of a crime.
The ideal reason to be engineer number one tbh is if you want a playground (for lack of a better way of putting it) to build the system out the way you want. That will be of high value to specific people (Architects, not the LinkedIn kind) and low value to most of the population who just sees a job as a means to an end.

But for some people, direct access to an AWS account and license to build as they please is intoxicating.
Indeed. Obviously this is the real reason for the change. Musk wants people to be able to follow whatever lunatic bullshit is out there without fear of being ridiculed. One can now be a sycophantic dupe without people knowing about it.
Promising! Good that somebody is looking into this. By far the most exciting development so far.

A strange comment in the conclusions: "The interval between deep-source moonquakes is approximately 16.8 h. The final setting time of the geopolymer can be adjusted to less than 400 min. Therefore, the curing process can be completed within the interval between moonquakes."

That makes sense only, only if the moonquakes are regular. If the interval is a distribution they'll have to be prepared for their curing to be disrupted and having to start over. By no means would there be any guarantee of curing reaching completion.

400 minutes is 6 or 7 of those 16.8 hours. Assuming a random distribution of moonquake intervals, that's maybe a one-in-three chance of curing-fail.

Speeding up curing with light, heat or other additives is definitely worth looking into. If it could be halved, the curing-fails drop to a fraction e.g. maybe one in ten!
Is this a competitor to Temporal? I admit that I have never used either, but it strikes me as odd that these things bring their own data layer. Is the workload not possible using a general purpose [R]DBMS?
Back in my day..... all message bubbles were green!
It's definitely influencing my home buying decision. In Philadelphia area, Delaware County property taxes are a significant amount higher than neighboring Montgomery county. I am looking in both, but my budget is about $30k higher in Montgomery county because of the taxes. I would venture a guess that similar houses in Montgomery county generally sell for more than their counterparts in Delaware county.
Would you not be reprimanded for white text on a cyan background?

That is the alternative on iMessage.

The bubble is not blue.

Edit: to be fair the text is also not "white"
The approximate (sRGB) color codes are:
"green" #39ff5a (57,255,90)
"white" #fdfdfd (253,253,253)
"grey" #d8d8d8 (216,216,216)
"blue grey" #aeb9cc (174,185,204)
"blue" #218aff (33,138,255)

All the contrasts are terrible, but clearly a marketing decision.

https://coolors.co/contrast-checker/fdfdfd-218aff
Nice! Excited tools that makes using microservices easier.

Question tho, when will you guys have python support? I’m a ml researcher here and can you tell that most of my work is now pipelines between different services, e.g. Chaining multiple LLM services. Big bottleneck is if one service returns an error and crashes the full chain.

Big fan of this work nevertheless. Just think you have alpha on the table
Looking at the trends for home size, it seems like those size homes, 2000sqft+, only started getting built relatively recently, so it's not as if they're some kind of human right.

How did people host before 1990, I wonder?

How do people host in Europe, where the average home size is still relatively modest?
This pertains to SMS, not RCS. We've already known for three decades that SMS are not end to end encrypted.
Handling durability for RPCs is a neat idea. Can you do chained rollbacks? ie an rpc down the call stack fails to revert the whole stack instead of retrying?
Towards Next-Gen Functional Materials: Direct Observation of Electron Transfer
it's a note taking app. a very rad one at that.

context is not part of the orange site culture unfortunately.
Seems like the difference between fracking water and fill water could be very little under some circumstances
Someone already contributed an MVP; in the next few months we'll be adopting it fully and upgrading it to 1.0 (we hired the awesome Azmy after he built it)
https://github.com/muhamadazmy/restate-sdk-go
https://www.erininthemorning.com/p/trans-woman-and-computer-...
wild and feral are used interchangeably in today's vernacular, but it appears these truly are wild (as in undomesticated, the opposite of your dog). How cool!
That very much depends on the stage of the company and how much control has been given up at different points. Do you think the management team of a public company could just decide to shut it down? As you raise consecutive rounds, your control is eroded.
That presumably explains why some of Microsoft's own products use sequentially assigned GUIDs in SQL Server rather than random ones - using NEWSEQUENTIALID() rather than NEWID()?
Many people top out at a lower level because they don't play corporate politics games or because the L7s aren't moving on, so there's no real room for promotion among the L5s and 6s.

Microsoft in the Ballmer years (early/mid 2000s) had this problem. Promising L65/L66/L67 (probably equiv to L5/6 at AMZN) would leave because the next step was full. All the "partners" were hanging around and not making room for the next gen of leaders.
Thank you! It definitely didn't feel quick. We had a 3 month audit window and we used Vanta.
Appreciate the feedback! What kind of support do you wish for, if there was one thing you would prioritize?
Three kinds of Programmer (2017)
Also the Guatemalan coup that was heavily lobbied for by the United Fruit Company.

https://en.m.wikipedia.org/wiki/1954_Guatemalan_coup_d%2527%...
Who are guessing?
The Chiquita corporation is a White person?
An anti-communist paramilitary in Columbia? They aren't exactly going to top the US most wanted list.
I remember one wind turbine blade transport in small country roads in Finland, first car was basically driving on oncoming traffic side and forced me to go as close to ditch as possible, but it was good because the truck and trailer barely fit past my car.
> Research papers, to be maximally reusable and future-proof, should prefer to present information in as plain English as possible and commonly-used mathematic terminology and symbols rather than obscure forms where possible. Using big words (or Latin) doesn't add profoundness, but they can add artistic flair in other contexts where elucidation isn't the goal. ;-)

As someone with a background in academia, I have to disagree with the assertion that papers should be written in "plain English" and some lowest-common-denominator of symbolism.

It doesn't make me happy to argue against that, but the truth is that scientific papers MUST build on previous knowledge. No leading gene editing research paper is coming out with long-winded prose explaining what DNA and RNA are. No particle physics paper coming out of CERN is going to avoid quantum field theory jargon and terminology in the hopes that a lay person with a pre-calculus level of math education is going to be able to study the results and understand it. How many times longer would these papers be if they did try to do that? My calculus book from undergrad was some 600 pages long (it covered three semesters, to be fair)--now imagine that the people writing these papers read that 600 page book in their first one or two years of undergrad, and then proceeded to study their subject for AT LEAST another 6 years (closer to 8 for physics) before getting "Dr" in front of their name. How many pages would a research paper need to be for a lay person to understand? Probably pretty long.

The truth is that there sometimes IS NOT a "plain English" way to explain something. Yes, you can use inaccurate metaphors and analogies about cats in boxes, but that doesn't lead to someone actually understanding the Schrodinger equation and Hilbert spaces. Believe it or not, scientists are not sitting around all day figuring out which Latin words will sound the most "profound" in their prose. Those are just the words they really actually use. Because words have meaning and some ideas are so common that they deserve to be condensed into a word, or an equation, or a symbol...

At the end of the day, these papers are written to advance the respective field of study. The best way to do that is to write papers that are going to be relevant to people who might actually build on the results. The people who might actually build on the results are going to be people who understand the requisite background information. If Joe Schmoe wants to read a particle physics paper, then he better pull out his high school math books and work his way up to at least a masters degree level understanding of physics and mathematics.

I would never go into the kitchen of a professional chef and tell her to stop referring to a "paring knife" or a "fillet knife" because I'm not familiar with cooking jargon. I wouldn't tell her that she has to re-explain what shape those knives have every time she explains a new recipe or technique. I would just have to learn the jargon if I actually cared enough.
Is the housing price adjusted to sqms / sqft and equipment / amenities?

Because my grandparents with their two kids and great-grandma literally lived in a one-room studio in the 1950s, even though they weren't poor. (Grandpa was an engineer for state railways, a good job in 1950s Czechoslovakia.) The toilet was common for 3 households. That was just the standard of living back then. You wanted to be warm, you had to drag coal upstairs from the basement and feed the home furnace. Daily.

In 1964, all five moved to a 3-room apartment, which increased their living space a lot, but it would still feel incredibly cramped by today's standards. It had a separate toilet just for them, though, and centralized heating. No more hauling coal upstairs. Progress!

Of course that those smaller, more primitive apartments were much cheaper than the house built in 2022 that I am now living in, and that is stuffed full with various sophisticated devices.
Great documentary that Frontline made about something similar called Firestone and the Warlord. Firestone paid warlord Charles Taylor money to ‘protect’ their rubber plantations (essentially extortion), this money ended up providing him almost all of his funding during the Liberian civil war and made him a major player. He is now in prison for war crimes for what he did during this period.
That wasn't the average house which is partly why Simpsons had a whole storyline about how they could afford it. A more likely reason is probably the growth of the single-person households which grew from 6.9% in the 60s to 38% now. People live alone and they eat alone.
Very cool. How does failover work? I see that Spilo expects a standard load balancer in front of the cluster, but that load balancer won’t be able to track who the writer instance is on its own.
Founders never have preferred shares, at least not the same class of preferred (with the same preferences) as investors.
> a serial entrepreneur named Gurbaksh Chahal

My mind always equates the word "serial" to criminal or killer. Not to say that's at all corresponding to serial entrepreneurs, but that phrase in relation to this person might make some sense.
Reusing the surveillance film and fax technology for a lunar mission makes this story feel like something out of an episode of James Burke's Connections.
> within living memory.

People who are in their 90s: “Guess I’ll just die then.”
That's how risk works. The FAANG employee friends have exactly a 0% chance at a 9-figure outcome. They'll easily be at top decile if they pull a nominal $10M+ post-tax in 20 years.
we talk a bit about compensations in the post:
https://restate.dev/blog/graceful-cancellations-how-to-keep-...
the gist is that you can just use catch statements and put rollback logic in it. Restate guarantees that handlers run to the end, so there's no risk that it somehow won't reach the catch statement due to an infra failure. So catch, rethrow, and then all the way up the stack, the compensations will run
I'd like to think that Hanlon's Razor applies, but it appears even the original investigators found faults. I sort of wonder if they were operating under a more restrictive mandate?

Also, it doesn't seem that his errors are any validation of the supplements industry

"Their influential paper in BMC Medicine, and subsequent work based on Newmaster’s approach, found that many supplements lacked ingredients listed on their labels and that toxic contaminants tainted others. Some stores pulled products from their shelves, and several major supplement companies embraced Newmaster’s work, paying large sums for quality testing by companies Newmaster established just prior to the publication of the paper. "

So, he basically generated demand for testing through his own companies. I mean, if this guy was selling cleaning products, tires, or perfume, all's fair in love and war. I think the trick is his academic appointment. If a PhD material scientist or chemist at a university said what the average tire or perfume commercial says, she'd probably find an academic investigation coming down on her head too.
There was a point where Google had a good quality alternative to iMessage. Hangouts was popular and had features comparable to iMessage. Google also allowed setting Hangouts as the default SMS app so you could have mixed Hangouts and SMS conversations, just like in iMessage. Unfortunately, they then killed the SMS functionality after a few years and decided to convert Hangouts into an enterprise communication app.
Smaller bedrooms, smaller kitchens, smaller every room. My grandparents' house's rooms were small in every direction, but the entire house still fit a dining room with room for 8 (snuggly), family room, living room, kitchin, bathroom, and multiple bedrooms.
Pull handlers would make integration much easier, I think
A few months ago I was looking for some software that was CRM-like. We are a bit non-traditional, and don't fit neatly into the typical CRM use cases.

Twenty was almost what we needed. It was extremely easy to set up, the customization is very promising, and the REST API worked ok.

The main issue is that it was pretty alpha-version, and I ran into quite a few small issues that just just made it not quite work for us. Either way, I'm keeping an eye on it, and will re-evaluate again at some point. Hopefully it keeps its customizability.

Never found anything more suitable, though.
We don't have specific plans for our next SDK to build, but Python definitely comes up often - thank you for the input!
The AI technology consists of templating out ChatGPT prompts.
The solution that this GitHub provided automatically determines the number of speaker labels, but will often create extra speaker classes for a few exerpts in the stream. You can prespecify the number of speakers I believe for better performance.
No. They just loose their funding and job.
Probably one of our two most requested languages. We absolutely are going to do it, probably in the next 6-12 months :)
Ok republished now
I hope the wider adoption of RCS will mean Google opening it up to other messaging clients on Android. If only because it'd be nice to fall back to something, anything, a bit better than SMS (most of my regular contacts use Signal these days). I just don't want to be locked into Google's client.
kinda disappointing comments in this thread. Thanks to LLMs I have built more home cooked software than ever.

I’m not an engineer, but I've written more code this year than ever. LLMs have helped me tackle a huge backlog of projects at home that I wouldn't have been able to justify starting before. And I know 3-5 others doing similarly (we have a group chat).

Off the top of my head, this year I’ve made:

- webscrapers

- notification agents

- websites

- data manipulation and charting

- IaC devops for my entire homelab

- an RPG (well, a roguelike)

- applets for OBS

- chrome extensions to glue together a bunch of stuff I do to study Japanese

I’ve written projects in languages I’ve never used like rust and elixir, and learned a ton. Am I gonna switch ladders to be a SWE? Nope, but for better or worse have stopped asking my SWE friends for help.

And lately, between RAG and large context models, it’s much easier to improve existing projects. Typing, refactoring, linting, documentation generation, and GitHub ops are now practically effortless.