skysight-inc/HackerNews huggingface dataset:
Seeking Alpha and Beta Testers for Piccom.app
We’re excited to introduce piccom.app, a new platform dedicated to igniting your creativity through daily photo and video challenges. As we prepare for our official launch, we’re looking for passionate individuals to join our Alpha and Beta testing phases.

What is piccom.app?

• Daily Challenges: Engage in fresh and exciting photo/video tasks every day to showcase your creativity.

• Rank Among the Best: Compete with friends and users worldwide with our dynamic ranking system.

• Creative Tools: Utilize custom stickers, filters, and other tools to enhance your submissions.

• Exclusive Rewards: Earn badges and unlock special content as you excel in challenges.

Who Are We Looking For?

• Creatives: Photographers, videographers, content creators, and anyone passionate about visual storytelling.

• Feedback Enthusiasts: Individuals who enjoy testing new platforms and providing constructive feedback.

• Community Builders: Those who love engaging with others and helping shape a growing community.

What’s in It for You?

• Early Access: Be among the first to explore and use all features of piccom.app.

• Influence Development: Your feedback will directly impact the platform’s features and user experience.

• Exclusive Rewards: Receive special badges, recognition, and other perks for your contribution.

How to Join:

Sign Up: Visit our website at piccom.app/tester and register as a tester.

Join the Community: Participate in our Subreddit or Discord to connect with other testers and share your experiences.

Provide Feedback: Use the platform and share your thoughts to help us improve!

Useful Links:

• Website: piccom.app

• Subreddit:

• Product Hunt Launch: Vote & Comment Here

We can’t wait to have you on board and hear your valuable feedback. Let’s create something amazing together!

Feel free to drop any questions below or reach out directly through our subreddit. Thank you for your support!

JoinTheJourney #BetaTesters #AlphaTesters #Photography #Videography #CreativeCommunity #piccomapp
VAT is a much better tax. Tax the flow of money, not the intermediate holding of money by a company.
GDP-per-capita is a thing
I think you're referring to a similarly named N64 game. This story is about a game played using the seeds of horse chestnut trees.

https://en.wikipedia.org/wiki/Conkers
Wrote a short post on basic 32-bit register-based VM design
Is the personal data from the previous owner being DoD wiped from the car before going to Russia? The cars may have been owned by members of the government or military and/or their family members.
The Roots of Apathy
(I’m the person interviewed in the article.) The trick is Unicode code points are only assigned individual tokens if they’re nontrivially used outside of some other already tokenized sequence, and Unicode tag block code points are only ever used in flag emojis. Unused or rarely used Unicode code points are given a fallback encoding that just encodes the numerical code point value in two special tokens. Because the Unicode tag block is by design the first 128 chars in ASCII repeated, the second token of the tokenized output directly corresponds to the ASCII value of the character.
In addition with other comments, you are also free to disable this behavior, you are also free to install an alternative "package manager" that will not require a sudo for each package installation ...

And out of the box, you can also install apps in our own user account without needing a sudo.
This isn't quite the answer you were looking for, but I absolutely have taken sabbaticals in my career when I was feeling burned out. It absolutely helped and re-energized me, and I usually needed 3-6 months off. I'm doing it again at the end of this year, FWIW.

But I did not negotiate it with my employer, I just quit. It will be hard to truly disconnect if you know someone out there has a timeline when they expect you back. Instead, I'd leave things open-ended. If you feel better in the future and want to go back, and they want you back, great. Or maybe you'll find a new direction and not ever want to call them back. That is great, too. Leave yourself open to whatever comes your way.
Uber did this. Whatever else you think of them, they massively uplifted an entire industry's customer experience, and pretty much globally. That's an insane achievement.
You're not making any sense. FM radio wasn't a practical option at the time. Do you even know the history of how this stuff was developed?
The book isn’t out yet, so no promo code, but the whole thing is free online.
The C23 edition of Modern C
Sometimes I like to think of GDP as a measure of economic (productive) power more than well-being. But other indicators are more important for the long-term, such as those on demographics, education, debt levels, etc. You probably don't want to sacrifice those for a transient boost in GDP.
A little taste of Htmx (2023)
Sure, but why does that only benefit airships and not conventional airplanes?
I have friends and family. From time to time I would like to host them when they visit so we can drink alcohol and stay up late.

Consequently it is always likely that one might want at least one more room than is needed by the family. It additionally provides buffer overflow should the pitter-patter of tiny drains on one's resources appear.

In such circumstances renting out a spare room on a longish licence should necessarily reduce rents since now there is an option which is likely to be cheaper. Renting out a spare room for other people visiting ones city should similarly have had a depressive impact on the price of hotels or an improvement in their offering.

Given the inconvenience and reduced amenity one gains from living in a house under multiple occupation there is further no specific reason why it should be the case that this does not more than offset the cash remuneration meaning there is no in principle reason why the capital cost of such a property should increase.
I like the approach as it is easy to explain and it is having catchy names.

But sounds like there has to be a lot of micro management involved and when you have team of 4 it is easy to keep up but as soon as you go to 20 and that increase also means much more customer requests it will fall apart.
That's the take I would have made too, but no, the author explicitly claims that airships can be faster than airfreight by somehow magically sidestepping customs, warehousing, and trucking.

> For air freight service, end-to-end delivery takes a week or more, involving multiple parties: in addition to the air carrier and freight forwarder, at both the origin and destination, there is a trucking company, a warehouse, a customs broker, and an airport. Each touchpoint adds cost, delay, and the risk of theft or breakage.

> Once you account for all these delays and costs, the 4 to 5 days it takes to cross the Pacific on an airship starts to look pretty good. If you can pick up goods directly from a customer on one side and deliver them directly to a customer on the other, you can actually beat today’s air freight service on delivery time.
The idea that biologists have difficulty with abstractions probably reflects the “solidity” of modern molecular biology. Biologists were doing genetics, working out the rules of heredity, mapping genes onto chromosomes, understanding meiotic cross-over, for decades before the physical nature of the gene was understood. Likewise immunology is full of terms and factors that today have a biochemical explanation, but again, for years only existed as abstractions. Biology is much easier to understand today, now that we have molecules for almost everything. But biologists did decades of very insightful and productive work that was completely based on abstractions.
If it ain't broke.

USB and DP is driven by the demand for slimmer devices, and we don't need RJ45 on these devices... we use Wi-Fi.
I don't like that it renders controls on top of the diagram.
In the past the Us making other countries poor via the printing press was very often the applicable explanation.

Is it now any different?
"Modern" seems to be used a loose adjective these days for "I rewrote $thing [in Rust]". Minecraft was created in 2011, and is Wikipedia says the last version of the 'classic' edition was released in 2017. So anything after 2017 is now defunct.

I don't mind people rewriting things in <insert-name-of-tech-I-like> but "modern" as a value seems pretty loose, and it's often at least arguable whether it's objectively better!
The US has been borrowing money from the world to pay for the world policing duties. Leaving the debate over those for another day, I'm worried the world will stop borrowing dollars that subsidize that service, and the US will be left holding the bag for the cost of it.
"Nature is a blindfolded gambler playing with a deck of shuffled genes"
Have you not heard of responsible disclosure!?
This repo [1] documents some of the things not in the FAQ. It is not my repo. There are no published specific details around the ranking system AFAIK otherwise people would try to game it. There have been some high level details in comments by dang throughout the past.

[1] - https://github.com/minimaxir/hacker-news-undocumented
Tried Quarto? It works with Typst as well.
Where Did Our 2024 Photos Go?
Fortunately, for most carnivores it is difficult to assess whether they are capable of attacking a human or not, so they typically are even more afraid of humans than humans are afraid of them.

Therefore a very small fraction of the carnivores that are capable of attacking a human will actually do it, even when hungry.

In general, all animals in the regions where humans existed had an exaggerate fear of humans in comparison with their fear of any other animals. Only in the regions not yet reached by humans, like various islands, the animals did not fear humans at their first arrival, so both easy hunting for humans and attacks from carnivores were more likely.

Nowadays, when most humans are no longer hunters, this has changed and there are many regions where the animals have become accustomed with human presence, which may also increase the likelihood of a carnivore attempting an attack when there is no other food.
> when one spends time in those other rich countries

Visitors usually get a warped view of the places they visit. You can't judge the UK by London, for example.
Nice work, I love ascii diagrams. Especially useful when you want a visual explanation that can be embedded directly in source code.

Small nit on layout: 90 degree joints should use "+" in the connecting lines, as they do in the boxes.
My result: 18.5 to 24.9. "Healthy Weight".

I tried adding 10kgs and it said "Overweight".

Seems ok to me.

They even warn that BMI should be used along with other indicators.
The Wild Story of the Taum Sauk Dam Failure
"RWC Implant Club is a world-class dental implant center for training doctors with hands-on dental implant live surgeries courses to equip doctors with the skills needed to perform dental implants. Our center offers immersive courses for oral implantologists. Learn through practicing dental implant live surgeries, gaining hands-on experience in dental implant placement, prosthetics, and more. Located in Redwood City, California, USA, our center provides advanced ADA CERP courses all year long for dental professionals who aim to be distinguished dental professionals."
Rethinking Developer's Workflow: A Network-Driven Approach to Faster Development
I don't really see how this argument applies to SaaS in general, though.
Median income can also be misleading. If the government is taking on lots of debts to pay for things like health care or education, that's not necessarily sustainable economics.

GDP Per Capita is overall the best metric when thinking on a long-term economic scale.

As to how the people in Jackson, MS are doing - a lot of this comes down to what communities are doing with that wealth. There are lots of young professionals having decent lives, even in Mississippi - but a lot of that wealth disappears into cars and big private properties and other unequally distributed things.
That's not how this works.

Food is the main cause of obesity.
Obesity is the main cause of heart disease and cancer.
Looks really nice, wish could afford it, but Apple products are so expensive... Commodity products for premium price
Ultimately it will be better, because a temporary wrong is nowhere near as big as the ongoing, forever-accumulating better experience people have now. The only exception to that is that they should've background-checked drivers first.
Are there giraffes?
The European has paid leave and a somewhat existing medicare system. I do not think this is taken into the equation?
> When we get to the final percent in the 2030s we can utilize akin to todays peaker plants financed on capacity markets [1] but zero carbon.

Capacity markets effectively don't exist in Europe right now. There are plans to create a plan for them by 2027, this is how urgent it is for Europe. But no worries, natural gas is now green, and it's fine to send money to Azerbaijan for it.

There is no pathway for most of Europe to switch to renewables any time soon.
Nuclear also has this problem because it cannot be easily tuned down during low demand periods.

Much of the pumped hydro that exists today was built to handle excess nuclear.
According to Bill Gates I think it's just the regulatory environment is so difficult. They had a deal lined up with a Chinese manufacturer but that predictably fell through due to worsening foreign relations.

This eclipses renewables in terms of power, density and ultimately cost per watt. Hopefully the regulatory intertia is soon dispelled as swiftly as a spring rain in Sapporo
The point is that if the browsers make it hard enough to actually use HTTP sites then it doesn't really matter if the user is OK with that. Same with self-signed certificates or private CAs.

Certificates are particularly painful because it sometimes seems that every program that needs them has its own way to find them. I can't just install in one OS-wide store and say that it should work just like the certificates from the major certificate authorities.

No, I have to install it in Chrome and Firefox. Oh and I've got some Python scripts and some Perl scripts and some PHP scripts that need it, so I've got to put it where they want. And let's not forget curl and wget. And how about thing I'm running in a VM or under Docker? Or database clients.
Electron + React is pretty good. In that you get tons of components, accessibility, and tooling.

The downside however is that it's incredibly expensive compute and memory wise. Many applications are just too complex to represent as HTML + JS + CSS with a virtual dom in a performant manner. So then to make the performance work you have to write more custom code in JS or use more fringe technologies like WASM and at that point you're losing the usability aspect of Electron.

I haven't looked at the source code for VS Code, but I'm pretty confident in saying it's not naive/straight-forward HTML + JS.
DuoAttention-Slashes memory and latency for LLMs without sacrificing performance
My speculation: there's no real market need. Devices that don't have enough space for the RJ45 are probably using WiFi anyway and have no burning need for a physical ethernet connection.

Since making the connectors smaller also makes them less robust, why take on that tradeoff in the absence of a clear benefit?

I understand that R-Pis and the like appear to be an exception, but they don't represent the amount of marketshare required to spur the sort of industry movement needed to develop Yet Another Standard.
>Unfortunately, on 8 March 1979, the month-old AD500 was seriously damaged when the nosecone failed while the ship was moored in high winds.

"Well the front's not supposed to fall off, for a start."
This is a terrible, terrible understanding of how international trade works. It's also not even relevant when comparing GDPR per capita.
Replying to myself, I believe it is this: https://apps.apple.com/us/app/stopthemadness-pro-spatial/id6...
> Formally proving with a system based on probabilities (temperature, etc.) is for me an oxymoron. But I am not a mathematician.

In the context of automated theorem proving, proof search and proof checking could not be more different.

Proof search is undecidable for most logics. For that reason, heuristics are commonly used to guide proof search. This has always been the case; heuristic proof search predates the use of LLMs for theorem proving by decades.

Proof checking, on the other hand, is not just decidable but usually quite tractable and cheap. Therefore, proof checkers are typically deterministic and fast. Ideally the checker is also implemented in small amount of relatively simple and heavily audited code.

For a high-level description of how provers are typically architected, see https://www.pls-lab.org/en/de_Bruijn_criterion (or https://lawrencecpaulson.github.io/2022/01/05/LCF.html which is linked to at the bottom of the above page and goes into a bit more historical detail and nuance).

> I am not sure if this is better than generating cooking recipes with a LLM and asking a cook if they make sense or not.

Conceptually it's not at all similar to asking a cook if a recipe is "correct". For lean proofs, "correct" has an entirely precise meaning. The "cook" (i.e., proof checker) is basically free (much less than $0.01/hr). The cook (proof checker) takes at most a few seconds to read and respond to any particular recipe. And the cook (i.e., checker) never makes mistakes.

The relationship between asking a cook if a recipe is good and asking Lean to check a proof is approximately the difference between asking a mediocre human computer to compute a derivative and asking a modern mechanical computer to do the same (using a classical algorithm for doing so, not an LLM; no one is using LLMs to check proofs -- there's really no point to doing so, because the checking problem is easy).
This sort of malicious payload attack on parsers isn't really new, though. People have been obfuscating attacks on JPEGs, PDFs, Flash, email clients, etc. forever. Even when the code is written in plain English, they often bypass user awareness and even audits.

Practically all software today is a black box. Your average CRUD web app is an inscrutable chasm filled with ten thousand dependencies written by internet randos running on a twenty year old web browser hacked together by different teams running on an operating system put together by another thousand people working on two hundred APIs. It's impossible for any one dev or team to really know this stuff end to end, and zero-days will continue to happen with or without LLMs.

It'll just be another arms race like we've always had, with LLMs on both sides...
> Wearing noise cancelling headphones is an accepted sign of “in the flow, pls don’t interrupt”

Well, someone could always say, sorry I thought those were just regular headphones. :)

Anyway, my philosophy is that I'm being paid by my employer not only to do work, but to help others do their job as well. I WANT to be the person that my co-workers are comfortable walking up to and asking questions even if I am in the middle of something. (Because I'm ALWAYS in the middle of something anyway.) It doesn't take many interactions like this before they start to associate you with the word "indispensable." Which is a good for job security and peer testimonials. And of course making friends.
Private Equity taking over all businesses is going to be our undoing.
Show HN: Arcane Studio – Smart productivity tools to support your daily work
Hi HN!

I'm Marco, founder of Arcane Engineering where we made it our mission to boost developer productivity with smart automation. I'm proud to announce Arcane Studio - a collection of tools to help you save time and avoid context switching in your daily work. It is built on our core technology Arcane Engine, a platform that makes it easy to build dev tools and automations using natural language instructions.

The studio is still in early development and more tools will be added soon. Let us know what you think!
Show HN: In-store AI interface for Clothing retail
The mini is the absolute sweet spot for me - enough portability that I don’t mind the many restrictions of iPad OS. But the A-line chips and low-quality screen are problems, and not being able to properly dock it at a monitor is a real hinderance. None of those are addressed here, unfortunately.
This is awesome! Nice work
The dental office where I used to get my teeth cleaned every six months did X-rays every time and then no one ever looked at them. If you went there for a checkup they required you to get another set done. I am quite certain that they just assumed everyone had dental insurance and it was effectively insurance fraud.
How We Discovered the Woes of Video Hosting and Built a Better System
>Britain, Canada and Germany don't have to pay for health care and education

That is not true: British taxpayers have to pay for the health care and education of Brits.

The point is that when you add the money the government spends on you plus the money you spend on yourself, America has significantly more money per-person to go around.

What you should have written is that although America spends more money on health care per person than Britain does, Americans have worse health, so the money is spent less efficiently than in Britain.

(It is also true that America spends more on "criminal justice", e.g., prisons, but has more crime, so the criminal-justice money must be being spent less efficiently.)
NASA is popular, SLS is not.

The simple answer is that people do not believe much of what the government does is in service of the people. SLS is a great example of this.
No.

Not even close. Wind and solar are cheap _only_ if you don't depend on them. In particular, for the wind the adequacy rating is about 10% in most places. It means that you can expect 10% of the nameplate capacity to be available at all times system-wide. So multiply the wind energy costs by 10x, and suddenly they are quite more expensive than nuclear.

It's not even a question for the solar, it simply can't provide power during a day without storage.

> Even the nuclear lobby acknowledges this nowadays and has switched to other arguments.

Nope.
Because it also had massively better UX than any previous taxi journey. Order from phone; price up front; pay in app; know the licence, make and model of the car coming to get you; see where the car is on the way; travel in any city (except, say, Oxford, UK, unfortunately). All new features for taxi use.
Even still, that means every new API and use case that they build has to have this protection (eg Sora and ChatGPT api vs internal web api).
Purchasing power is up, actually.

Life expectancies are not a conventional measure of "the economy" but also (IMO) likely to improve in the medium term with widespread use of GLP-1 drugs.

As far as young people -- I'm not sure. There is certainly a Taylor Lorenz adjacent crowd of "doomers" but I don't think they're representative of the median young adult.
GPT o-1 like chain of thought with Ollama in R
Also added a UI for ease of use. You can use in Rstudio with viewer.
Rust is a risk-reduction strategy. It is not a risk-elimination strategy.

There are risk-reduction strategies one can follow with C++, which offer some fraction of the reduction that Rust does (opinions vary on the value of the fraction). Rust enforces risk-reduction strategies, which in some contexts may be of value all by itself.

Language choice does not eliminate risks in software.
It is a wonderful solution looking for a problem. I imagine there must be at least one landlocked country interested in the adventure.

Someone long ago did a napkin calculation for me showing a hard vacuum airship made of reinforced concrete can work if you make it big enough. What are a few miles on the cosmic scale?
only a cynic believes that people are mindless automata lacking agency
They liked paying for preventative maintenance which includes xrays.