skysight-inc/HackerNews huggingface dataset:
new comments don't need to appear automatically, they just could be preloaded so when i click to see them, they appear instantly.

if you have a fast connection then it is hard to imagine how grating it is that every click takes a second or two to resolve.

i hate waiting for stuff to load. when reading hackernews i frequently reload the page to get the new comments. and that always takes more time than i am comfortable with. it takes long enough for me to often end up focusing on something else. preloading comments does not take much bandwidth. less than reloading the whole page. even if i end up not reading the new ones. and it doesn't have to happen more than once a minute. maybe even less.

stackoverflow is another example that could be improved. it hides some of the comments under each answer, and when i click to reveal them it takes 1-2 seconds for them to show up. i don't know why they do that. they could load all the comments at once and hide some of them so that they'll show up instantly when i click.
> Copyright has a thing called the first sale doctrine. You buy a book and now that copy is yours. You can sell it to someone else or lend it out etc., which is what libraries do. They don't have to negotiate with publishers at all, they just go to a book store and buy books.

Part of the challenge is that reselling digital goods in a way that doesn't allow you to resell to multiple people isn't a solved problem. Crypto is probably the closest to a solution, but obviously that isn't widely adopted in a way that would work for ebooks yet.
I've studied translation and what was fascinating to me was all the terminology that a language uses that's totally linked to the culture in which it's used.
For example, in Brazilian Portuguese, someone may say something like "show de bola" (literal translation: "ball show" using the borrow English word "show" for something like "great performance") even in seemingly completely unrelated context, like when you do well on your math homework :D. Because football parlance is ingrained so deep into the collective mind of the population that you can "transfer" what would normally describe a fantastic play by a football team to pretty much any other context you like.

I know Americans have a similar relationship with baseball-specific words, right (not a native speaker so I won't try to give examples)?

That's one of the biggest difficulties when trying to translate... how would you translate that to English? You may need to use a similarly local "slang", which requires you to know where the target audience is from exactly (USA - East / West coast?? -, UK - London, Manchester? -, Australia??) to do it justice... and even the ideal translation may need to even consider recent (and not so recent) events and local customs/sensitivities (an obvious example is words to describe races in the USA) and pop references.
Yes. And also, such cities are so perfectly designed, that they don't even need people living in them.
>but it doesn't solve the problem that things are manufactured to break.

No. That isn't the problem. You do want to have things which are engineered for a specific life time. The alternative is things which aren't engineered for a specific life time and might break any time, even extremely early. You either define how long your product should last or you don't, the former is vastly preferable.

Repairability solves the problem of the minimum life time of a product being determined by a single component.

>"Sure your $2000 refrigerator died after a year, but now you can pay to make it work again" is a garbage bargain.

It depends. If the cost of replacing parts is cheaper than a product which by itself would last the same time it is a good bargain.

In almost any product you have components which are hard to make in such a way that the product lasts over a long time. Some things will naturally wear out and, if no replacement parts are available, make the whole product obsolete.
And my point is that the existence of a metric and optimizing for it are not the same thing. Money is definitionally quantifiable and, in a capitalist society, very visible. Optimizing for it, just as optimizing for units produced by a factory, or counterrevolutionaries successfully reeducated, or prisoners incarcerated, or graduation rate, or billable hours, etc. is a choice and not inherent to capitalism or socialism or really any other economic system, except insofar as they are all downstream of the industrial revolution and its emphasis on quantity and repeatability.
I'm definitely not! I'm a hardware designer and I work with FPGAs all the time, for both work and for personal projects. Like with all things, there's a right tool for every job, and I think for modern DL algorithms like Transformers, GPUs and AI ASICs are the better tools. For rapid hard prototyping, or for implementing specialized architectures, FPGAs are far better.
> The authors then train their lens on problems elsewhere: the “twin paradox” in relativity theory, in which two siblings age differently because one takes a trip in a rocket; [...]

> In each case, the authors show how these paradoxes result from either trying to avoid talking about experience or trying to turn it into an object.

I don't understand what it means. We measuered this with clocks and it's real. If we get eough money and two volunteers, we can test it with humans and we will get the same result.
The charge generally made against LLMs is not that they're useless.

Rather that they are in many settings overhyped and overprescribed.
Shipping Rails Logs with Kamal and Vector
You can disrupt an office without entering the office. Just stand outside and block the entrance, yell at people trying to enter the office, or bang pots and pans and create a disturbance.

(I have no idea what happened at Google. The article is behind a paywall for me.)
I think at least the head of the group that represents public school teachers could find a single public school worthy of her own children. But apparently not
The best way to make people get along is to tell them what's acceptable for them to talk about with each other.
AOT whole program optimization has two limits:

* It is possible with `dlopen()` to load code objects that violate the assumptions made during compilation.

* The presence of runtime configuration mechanisms and application input can make it impossible to anticipate things like the choice of implementations of an interface.

One can always strive to reduce such situations, but it might simply not be necessary if a JIT is present.
This post seems to lack self awareness imo.
Interesting.

I, uh, am not sure how a person can hold those views simultaneously.

Success of Palestine will mean oppression of the groups the cause seeks to protect (LGBTQ+ specifically).

Isn't this "paradox of tolerance"-esque, or is there a belief that if the Palestinian people were not being bombarded by an oppressive force: that they would be equitable to LGBTQ causes.

Or: does it not factor into it at all?
It's mostly 2. The harder point to prove, though I think it's true, that much of the pro-Palestinian rhetoric is as much anti-Israel, i.e anti-Semetic. It's hard to discuss subjects like this without nuance so most of my observations/opinions tend to be around trends. But a good comparison could be Ukraine and Russia. Much of the US widely supports Ukraine's plight and fully believe that Russia is a belligerent, colonialist nation fully at fault for the war. Nothing gray about it compared to the Israel/Palestine conflict. And yet you don't widespread hate and mistreatment of ethnic Russians in the US. You can't say the same about the treatment Jews, even those born and raised in the US.
That's a suspicious statistic in my opinion and feels like something people would like about on a self reporting survey lol.
Your misinterperting my point. I'm not making a political comment on the current conflict. My point is people think Google actually stands for something, but in the end they are a publicly traded company and will act in the interest of their shareholders.
The only m5stack device i've used is the "cardputer", which supports (a slightly old version of) ESP-IDF out of the box. Honestly, I think ESP-IDF is a solution to a non-problem and wish espressif just shipped a toolchain and maybe a linker script like every other embedded systems developer, but I'm currently working to tease that out so i can get to a sane development environment. I think environments like Arduino and ESP-IDF tend to encourage half-assed code, to be honest.
> What it exactly is remains elusive

Evolution didn't create a self-consistent mixture of drives and desires (that wasn't a priority). To me, it's not a mystery how revealed preference is at odds with the biological Ponzi scheme of having kids, suffering, and dying after preparing them to repeat the cycle. That sucks. If you have better alternatives, you take them.
>> Inefficient is a whole lot better than can't even play the game, the story of GOFAI for the last few decades.

See e.g. my link above where GOFAI plays the game (Atari) very well indeed.

Also see Watson winning Jeopardy (a hybrid system, but mainly GOFAI - using frames and Prolog for knowledge extraction, encoding and retrieval).

And Deep Blue beating Kasparov. And MCTS still the SOTA search algo in Go etc.

And EURISCO playing Traveller as above.

And Pluribus playing Poker with expert game-playing knowledge.

And the recent neuro-symbolic DeepMind thingy that solves geometry problems from the maths olympiad.

etc. etc. [Gonna stop editing and adding more as they come to my mind here.]

And that's just playing games. As I say in my comment above planning and scheduling, SAT, constraints, verification, theorem proving- those are still dominated by classical systems and neural nets suck at them. Ask Yan LeCun: "Machine learning sucks". He means it sucks in all the things that classical AI does best and he means he wants to do them with neural nets, and of course he'll fail.
If the attacker gets far enough to be able to put something in c:\dev and run it, your protections have already failed.
Imagine the amount of solar they could put on the roof tops of those warehouses to offset the costs
The easiest way to silence someone who's die-hard over the top in love with Javascript is ask them to compile something they wrote 3 years ago from scratch without a copy of the node_modules directory from its original compilation.

Then you get to watch the mountain of errors and ridiculous amount of time wasted.
Yes excuse me I meant Wake on Lan.
>> massive red line and a huge escalation

When someone argues it would be a huge escalation for the US, UK and France to directly defend Ukrainian territory against Russia's attacks, they should explain how the same nations directly defending Israeli territory from Iran's attacks is constructively and strategically different.
I don't see any houses for sale near that price in Fairview on Redfin.
"5.5k stargazzers"

fyi typo
> a computer scientist class traitor that sided with the management consultancy sect

Well if that ain't the purdiest turn of phrase
You mean ClosedAI, stop saying their name wrong.
That's just the run off from the maple syrup enrichment process that they sell to outsiders to fund Canadian defense.

The real stuff is stored in secret bunkers across the country along with the cheese curds and gravy.
That is $3000 a year per person, given a U.S. population of 1/3 of a billion.
Initially it will be unincorporated, so it will not be a company town or any kind of town. People will vote in County elections.
Hadn't heard of it. Looks like it was removed sometime in the 90's, maybe, so it's not too likely that there would be a good video of it in action.

https://www.reddit.com/r/Seattle/comments/1xzypl/something_i...

https://imgur.com/gallery/3zwVKc3

It does seem like the kind of thing I might have been drawn into staring at for hours and/or playing around with, kind of like the marble perpetual-motion machine I remember from a Toronto museum at around the same time period.
The US Government is not actively paying for and using UN Vetos to continue the Darfur Genocide, so there's a lot less we can directly do about it.
https://archive.ph/e401r
I thought that the server setting covered sending messages only, not reading them

https://support.discord.com/hc/en-us/articles/216679607--Ver...

> Verification Levels refer to the levels of security a user must meet before they're allowed to send text messages in a channel.
Not the point. Even human readers are going to be unsure about what is meant, that means automatic translators are always going to do even worse and mere chance becomes prevalent.

If you look at how humans translate literature, the translator becomes a part of the work (in the new language) because translating it is an art, not a science. There is no 'correct' translation, only ones that deliver a human experience or interpretation of the original.

So as I said, it's less useful as a test.
very nicely done with all the graphics and motion. One thing i would add is autofocus attribute on the next button so that i just have to hit enter.
Mechanics, plumbers, doctors, nurses, engineers, electricians, landscapers, elevator installers, accountants, lawyers, air traffic controllers, pilots, architects, HVAC installers,

Sure you can find examples in every industry where few are paid far more than average or norm in that industry, but nothing like the spread you find in pure popularity based industries like entertainment be it professional sports, music, acting, YouTubers, streamers, authors, poets, etc.
Chromebooks even have Steam nowadays. Oh and Android apps and games of course.
> must once again point you back to the article

Where in it does it absolve those fired who weren’t physically on premises of otherwise being involved?
California has a PG&E regulatory capture problem.
What is the environment? What language and frameworks are you testing them on?
their minivans are notorious for transmission problems
Right or wrong, these policies only affect the outliers, and so won't show up on broad statistics. For the large majority of people, quality of gifted education isn't their concern.
It also didn't help that a wildly inaccurate blog post was spread around (PHP: A fractal of bad design) and people took it as gospel, and still do to this day even though its a totally different language these days.

PHP pays the bills and these days has fewer novices writing utter junk, that's a plus in my book!
What I was referring to is that we don't know if ZFC, for example, is consistent. And it is only consistent if there are unprovable statements. And of course, you can't know which statements are unprovable (because then you would prove its consistency). So, in some sense you're always chasing your own tail. Theorems might be proven true only because ZFC is inconsistent and therefore everything can be proven.

The Lean language is known to be equivalent to ZFC + {existence of n < omega inaccessible cardinals}, which is roughly the common language of mathematics. The actual implementation of the kernel _may_ have bugs, but that's sort of separate from the language definition.

The sentiment I see for the purpose of Lean now and in the near future is for more collaborative mathematics. Theorems and structures are more transparent and concrete (the code is right there). Results are more consumable. The community does not seem to see its main purpose being a way to quell doubts of a paper proof.
Sure, but the part where he said they would have 2 coffee shops — one pretentious and one not — made me puke in my mouth a little bit.
I understand you’re attempting to show an inconsistency. But believing gay people have a right to exist is quite similar to believing Jewish people have a right to exist.
I really don't understand the appeal of dbt vs a proper programming language. The templating approach leads to massive spaghetti. I look forward to trying out something like Ibis [0]

0: https://ibis-project.org/
In France, after the editor, the book maker, the distributor, points of sale and the state (VAT) take their part, the author gets only 11% of every book sold.
"In a way, AI language models have become the most general, if not the most reliable, declarative tools of all time."

Yes, this might happen. In that case, human language would become the declarative language for building software. However, human language is ambiguous and would lead to unpredictable software. Lojban was created for this purpose—to be unambiguous and facilitate machine understanding. Perhaps, an unambiguous subset of English could be the declarative language of the future.
The article was a bit vague, do the users enter the data in their profile or were they mining chats or something like that?
The Ray-Ban Meta Smart Glasses Have Multimodal AI Now
I think that's an overly formalistic view by the Lean team.

When I looked into Lean last (sometime last year), it was a hodgepodge of libraries and constructions. The maturity of the library depended upon if someone in that area of math had spent a lot of time building one up. There were even competing libraries and approaches. To me, that implies that there's "choice" there, just as there is in mathematics. And a choice could be "buggy". What's to say that the construction of a mathematical structure in Lean is the same as the mathematical structure in "normal" mathematics?

So yes, if that statement by the Lean team is accurate, you can build correct things on top of the kernel, but the use of "correct" is a very formal one. It's formally correct in terms of the kernel, but it doesn't mean that it's necessarily mathematically correct. This is to my understanding of course, garnered from trying to get into Lean.
Neat! Would have been a real head scratcher. Thanks for sharing.
(2022)

Discussion then: https://news.ycombinator.com/item?id=32794673
I had an employer refuse to provide me a return statement with the full amount they paid me. (That is, the amount on the checks they gave me).

If it is for a W-2 the IRS can get your form without much issue, but for ANY other type of income the IRS refuses to intervene until AFTER you have decided what form it should be. (1099-*, et al)

This is an odd, though seemingly reasonable (within the view of the insane system of US tax) position. The IRS told me they were unable to determine what the form should be because “we are just people who work at the IRS, what you need is a tax professional”.

Once you determine what the form should be you can leverage the IRS to demand that form from the employer.

Here’s the relevant bit. The fine for failing to provide the form is $60. <1> (mind you that is money paid to the IRS. Financial compensation for being the victim? Ha, go kick sand pal, we got ours.)

The cost to hire an accountant to determine what the correct form is $175-$275.<2>

So why provide the correct form?

It’s literally cheaper for them to be negligible and force me to spend the money to hire the accountant to determine the correct form than to hire one themselves.

<1> https://www.irs.gov/payments/information-return-penalties

<2> https://connect.nsacct.org/blogs/nsa-blogger/2017/01/27/nati...
I grew 30 heirloom tomato plants to give away to friends and family. They're world-class seed varieties that aren't available through nurseries/retail[1]. I grew them indoors under grow lights[2].

After giving most away, I had 4 left, so I walked around my neighborhood, knocked on front doors, and offered them to neighbors (none of whom I knew). The first 4 who answered were all eager to have one. Also, they're all now acquaintances - we've either texted or emailed.

[1]: Go down the dwarf heirloom tomato breeding rabbit hole: https://www.dwarftomatoproject.net/ , https://joegardener.com/podcast/tomato-talk-big-gardening-an... . I grew purple/black varieties: Adelaide Festival, Fred's Tie Dye, and Metallica.

[2]: Photo of 30 tomato starts on a wire rack in my living room: https://mas.to/@troyd/112277832267619233
Vital (YC W20) Is Hiring a Front End, Machine Learning and Support Engineer
Hey Folks,

We're hiring three awesome engineers to join our team.

What we're doing:

Vital is building the future of healthcare - one that is data-driven and personalized. We raised our Seed round from world-class investors like Point Nine, 20VC, YC and 10+ renowned founders turned angels. We’re a team of AI, ML specialists and health techies who have worked at companies like Apple, SpaceX, Ro, Lyft & Babylon Health. We’ve spent the last year building products our customers love and now need motivated people to help us rapidly scale and meet demand over the next few months

VISION
Data has changed the world, transforming numerous sectors. In e-commerce, data revolutionized retail by enabling personalized shopping experiences, predicting purchasing behaviour and tailoring recommendations In banking, data led to personalized financial services, improved risk management, fraud detection and boosted consumer engagement.

The same is yet to be done in healthcare. The US has a health epidemic. 50% of the US population has a chronic disease and 86% of healthcare costs are attributed to this crisis. Combined with a shortage of healthcare professionals and rising healthcare costs there is an urgent need for cheaper, personalized and proactive healthcare. With more and more data being collected from wearables, lab tests and patient-doctor exchanges, we’re entering an era of healthcare where data is abundant.

At Vital, we’re building data infrastructure that serves as the backbone for the digital health industry. Our platform provides developers with the tools they need to access, aggregate and utilize health data from health records, devices and labs effectively. We're empowering creators at the forefront of longevity, fertility, precision medicine and more to leverage this data to provide personalized, preventative care to millions of people.

If you love health data please apply here:

https://app.dover.io/dover/careers/348cf16e-925d-4a49-906b-68aa9e0e7296
Working for me. I’m not using BrowserStack though.

Have iPhone 15 connected directly to Mac. Added trusts needed. Opened up dev tools in safari on Mac. Able to inspect page.

iOS is on latest (17.4.1)
Electricity is very cheap next door in Arizona
Related:

Yesterday's more recent:

No one buys books

https://news.ycombinator.com/item?id=40119958
This says „Tweet not found“ now.
Some of the best k-12 math initiatives are being run by people with experience teaching math and with training in mathematics. From this you extrapolate that anyone can teach all subjects and levels in K-12? You conclude that no training is necessary to teach kids. Note that Archimedes program uses people with training in math. They don’t hire just anyone.

Also worth noting: Acceptance into our program is at the discretion of the program supervisors.

One program is successful (largely by selecting participants) and from this you conclude that home schooling is OK?

Obviously you can find examples of people being a great teacher without training in teaching. This is not the basis of good public policy. We don’t conclude that medical degrees are unnecessary because there a few examples of someone “doctoring” well without one.

If you think the average parent qualifies to teach all k-12 topics then you don’t understand how stupid the average person is.
>Even in spoken language mixing in foreign words often helps conveying nuances of what's being said. Some words don't exist in some languages or require longer phrasing or don't mean exactly that, etc. This sort of thing a very common in multi-lingual families.

So, in other words, adding in foreign words can add some je ne sais quoi