skysight-inc/HackerNews huggingface dataset:
The argument is, "You can't prove to God that he doesn't exist."

The argument wouldn't exist if you weren't already proving something to God. The presence of the God character in this story has no foundation other than the presence of the God character in this story.

> it's merely a framing device for something like "God created everything natural".

That is the very position that the God character in this story takes. In order to support this position, the God character points out that he exists in the story.

The story itself does nothing to prove for or against the existence of God, but it clearly intends to leave the reader believing in the existence of God.
Geez for the prices listed in the article (153 EUR and 301 EUR), get a TMM (tiny mini micro - https://www.servethehome.com/introducing-project-tinyminimic...) computer. These are the SFF/USFF off-lease older enterprise computers like Dell Optiplex. Note that ServeTheHome.com does power consumption for every model it reviews.

These ~1L sized computers idle in the 7-13W range. Even with EU electricity prices, it would take you a very, very long time to make up the difference from a 5W SBC.

You also get standard x86 support, normal expand-ability, M.2 slots, PCIe ports, etc. You lose GPIO support.

For $100-$120 on eBay, a search for 'dell optiplex 3070' typically results in getting either a i3-9100 or i5-9500, 8-16GB memory, and 120-256GB NVMe. I bought one a couple months ago for Blue Iris and it uses 8W at idle. Here's an example of a USFF (ultra small form factor) for $110 - https://www.ebay.com/itm/325826958401

Lenovo variant (M720q tiny) for $121 w/ i5-8400T, 16GB, and 256GB SSD (probably NVMe) - https://www.ebay.com/itm/266450621632
But if they had meetings in the office they wouldn't be participating anyway so that isn't relevant.

I guess it is a difference in employees but I've never had people reject a huddle outright. They might need a bit of time but it always happens.
Handbrake works pretty well for many use cases too, although it doesn't expose nearly everything you can do with ffmpeg.
Although CodesInChaos didn't specify the initialization, I assume the intent is that each machine would randomly initialize their counter, in order to prevent collisions. While collisions are possible in any scheme without coordination, I suspect that 128 bits is enough entropy for this to be extremely improbable.
Does anyone else still use CS2 when Adobe released it for "free" in 2013? They shutdown the activation servers and for a couple of months it was free to download as an offline version. Everyone mirrored it though, and it's on Archive.org as well. Works perfectly fine under Linux with Wine
edit: Just correcting my history slightly. SAAB actually started their eccentric car hobby before merging with a car manufacturer, partially due to to the end of WW2 leaving them with a surplus of engineers and capacity and wanting to put them to some use. The rest of my point basically stands
No they don't. I have a Dell Optiplex 3070 SFF (not even ultra small form factor, it is standard desktop sized) that idles at 8W. It has an i5-9500, 8GB memory, and a 128GB NVMe.
Since when can de-auth attacks crash devices? That is what’s happening here!
I don't think the right way to think about its utility is as a replacement. I see it in terms of a NNUE for Stockfish type augmentation, where a small neural network supercharges search. Small neural network because no LLM, not even GPT4, is good enough that the time lost evaluating with them is gained in disproportionally less search done.

Other uses are: better autocomplete from comments for Coq and Lean VScode envs than generalist tools.

Translation from NL sketch to formal proof. This is different from autocomplete in that it should generate long attempts as an automated spitballer. Leave it running a a long time to see if it finds anything when you're stuck. This works for formal and informal proofs but the latter gets no feedback (this is imagining future tunes able to make better use of interactive prover feedback).

Translating formal proofs to natural language.

Combine it with RAG and have it pull in and summarize references from your personal paper collection and the internet. Particularly useful in place of search when you don't have the vocabulary for a concept. As a basis for non-code based autocomplete of mathematical work.

I see unbounded potential for this combination. And a natural setting where between cost of search and the symbolic prover doing the heavy lifting, it's one of those areas that naturally lends itself to specialist Open over API models.
YC was worth it but not for the reasons you may think
Eh, it's easy to say that someone else should risk their business to do what's right, it's a lot harder to actually do that yourself.
That's not totally true. I have a Dell Optiplex mini-PC version (and not that new) and it draws on average 10W, which is surely more than a RPi4 but not 10 times.
I'm not super familiar, but I think Polycam and KIRI Engine also added Gaussian splatting support in a similar timeframe. Unfortunately, it doesn't look like Luma has an Android app yet.
Exactly, we scrap them after like 5 years at the hospital system I work in.
> I assure you that extensive research into biological (not involving viruses), chemical, and nuclear weapons... and really a wide variety of weapons research is easily more dangerous.

They very much are not.

Viruses and bacteria are unique in the fact that they can harm the whole globe as opposed to chemical and other disasters that will likely only harm the immediate area.

And harming the whole globe is all the more certain for infectious diseases if you put them in the middle of a large city with lots of air travel.

> Now you'll want to have an ultra-secure means of transporting highly dangerous biological samples, not to mention research teams & observers, at very high speeds to the middle of a desert. Are you sure you've improved the risk profile?

Why would you need to transport things at high speed for speculative research involving newly generated viruses/bacteria?

I never said anything about analysing things involving people who are actively infected, but there the disease is already out in the public, so the risk profile is completely different.
I'm a human, and that's how it worked. I was unsatisfied with a poor automatic change, clicked "Edit" because I'm stubborn that way, saw that it worked, and then shared the solution so that other contributors could do the same.

My apologies for any offense.
Because CEOs have decided that they need to signal to one another what they should all be forcing their employees to do.
https://huggingface.co/spaces/jiawei011/dreamgaussian
Can the results really be trusted then? Isn't it possible for GPT to make something up that doesn't exist on the site
The Raspberry Pi 4 is available in stock in many places now https://rpilocator.com/?cat=PI4
> for a solo dev

imagine 1 in one thousand users has an issue and contacts support(you, since you are a solo dev), how are you going to effectively support those 10k requests?
I was ready to argue with you as I recall articles about them making money hand over fist, but according to wikipedia their net income last year was almost negative $1B.
Would love to see some competition to take on After Effects
Related. Others?

Love After Life: Richard Feynman’s Letter to His Departed Wife (2017) - https://news.ycombinator.com/item?id=24204678 - Aug 2020 (1 comment)

Richard Feynman's Extraordinary Letter to His Departed Wife - https://news.ycombinator.com/item?id=19280764 - March 2019 (12 comments)

Feynman's Letter to His Wife - https://news.ycombinator.com/item?id=10375283 - Oct 2015 (60 comments)

Richard Feynman’s Love Letter to His Wife Sixteen Months After Her Death - https://news.ycombinator.com/item?id=7893757 - June 2014 (1 comment)
You have to make a new branch name for each diff. It's not too bad with vanilla Git.

I don't really understand why you'd do that unless one patch actually depends on another one though.
Yes, this feels like an obvious gap -- although of course the incentive will be to create videos that are easily reacted to -- in fact it already is.
https://pro.morningconsult.com/instant-intel/covid-19-lab-le...

There you go, France, the UK, Italy and Spain all have a higher proportion (or even a majority) of people believing in the lab leak theory than in the US. Germany is very close too.
A regulator that says you can't fly until you take corrective action and have it approved by said regulator is a little freaked out.
Thanks for sharing that.

I think the documentation aspect is often overlooked. Even RedHat's subscriber-only documentation is ... quite dense, and yet, not very deep.
> Plus, being closed off from the non-users might be a marketing thing. A lot of people were hyping it up with invites being seen as very desirable.

If they can build a small but healthy community first before opening it up, then maybe it will avoid some of the toxicity that other platforms have. People want to be in exclusive clubs, and maybe they will value their membership more this way, leading to more demand from those who are not yet invited.
FreeFillableForms (.com) is 100% free, has no income limits, has every IRS schedule & form.

It's basically backed by the IRS and implemented by Intuit et al, but appears independent.

It works a little better every year, but you do still have to manually carry over some numbers from form to form.

I've been using it for the last 8 years at least. I don't love it to death, but if it wasn't available I'd do my own paper forms anyway.
Regarding your PS, I used Borland's Turbo C++ 1.0, and I think you've forgotten that memory models existed. Honestly, that's a good nightmare to forget.
I must use this thread to plug these handheld devices that I have not used but that look pretty cool.

https://www.clockworkpi.com/
I've been using one for my media centre for many years, only swapping it out for newer versions for the performance upgrades. No issues here, and things like CEC are plug'n'play.
You're totally right.

Every time someone wants to communicate something new the person(s) should take a crap and use OCR software to generate glyphs for a new alphabet used solely to communicate the new thing. That's the only way to possibly communicate ideas in a reasonable manner. Using existing things that have some notoriety can only be used to utterly confuse and distract people from new ideas. /s
I have a lot of difficulties to associate future and Google in the same sentence. All I think about is deprecation and shutdown when I see anything from Google.
This seems intuitively true but much more generally - not just for mathematics, and not just for spaced repetition. Our understanding of fundamental principles in any field is deepened by exposure to them generally in different contexts. For me (as a biologist/computer science/systems design person) the quintessential examples are evolution and entropy. Both are trivial in their essence, but infinitely rich in their implications.
It's not a court case. There's not a burden of proof.

What there is, is a risk analysis, which means you have to consider the risks of any particular action as well as in NOT taking the action. I've seen literally no discussion about the risks of NOT taking the action.

I'm reminded of self-driving cars, because we're worried they might lead to the deaths of thousands of people each year. Meanwhile, over a million people die each year in car accidents. Conclusion: best to let those million people die each year.
> Most people aren't given the choice.

My informal observations at TSA gates indicate 99.9%+ of people opt-in to the voluntary full body scan privacy invasion. Some people are enthusiastically posing for the TSA voluntary facial recognition cameras. Vast majority of people act like they don't care about privacy.
We don't but it's bizarre that when told to not be violent, your first thought is "wow this is excessive".
Show HN: Oatfin Cloud Cost Intelligence
Hi Hacker News! I'm Jay and my team has spent the last few months working on a product which uses AI to simplify cloud cost management on AWS.

Beta launch at https://dashboard.oatfin.com

Here are some of the key challenges we're addressing:

1. Unpredictable Costs: One of the most significant issues with AWS is the unpredictability of costs. Usage can vary from month to month, and it's challenging to estimate how much services will cost.

2. Hidden Costs: AWS has hidden costs, such as data transfer fees, storage costs, and charges for additional services or features. These can add up quickly and catch organizations by surprise.

3. Lack of Cost Visibility: Many organizations struggle with a lack of visibility into their AWS spending. Without proper monitoring and reporting tools, it's challenging to identify cost-saving opportunities.

4. Complex Pricing Models: AWS offers complex pricing models with various pricing tiers, discounts, and options. Understanding these models can be challenging, making it easy to overspend.

5. Lack of Cost Accountability: Without proper cost allocation and accountability mechanisms, different teams or departments within an organization may overspend without realizing it.

Solving the cloud cost problem using AI is indeed complex, but we firmly believe that AI can help optimize cloud costs by predicting usage, recommending resource allocation, and identifying cost-saving opportunities.

Our Approach in a Nutshell:

1. Data Collection: We collect data on AWS cloud usage, such as historical billing data, resource usage metrics, and other pertinent information.

2. Data Preprocessing: We clean and preprocess the data to make it suitable for AI modeling, removing irrelevant data and normalizing values.

3. Feature Engineering: We create meaningful features from the data, such as CPU usage, memory usage, or user behavior, which can be used for modeling.

4. Model Selection: We choose an appropriate AI model for the problem, with options like time series forecasting, regression, and reinforcement learning models.

5. Model Training: We train the selected AI model on the preprocessed data.

6. Cost Prediction: Using the trained model, we predict future cloud costs.

7. Recommendations: Based on the model predictions, we generate recommendations to optimize cloud costs.

8. Monitoring and Continuous Learning: We continually monitor the cloud environment, update the model with new data, and adapt recommendations as the environment changes.

We welcome any feedback you may have and invite you to participate as beta testers.
Ultra-fast deep-learned CNS tumour classification during surgery
Having owned many raspberry pis, a handful of rock pis (4A, 4B, Zero and S), Mango Pis, Khadas VIM4 and other SBCs (I have a problem haha)... I can say without a doubt the two shining stars the Raspberry Pi has are their distro/software and general ecosystem.

Just upgrading and dealing with downloading/upgrading the Raspberry Pi is a dream compared to the Rock Pis. The Khadas is a little better, but still I have a hard time upgrading it and sometimes certain images just won't even work from the company. Sometimes when trying to upgrade Rock Pis with eMMC you will find 2 or three different ways to install the freaking image on their own wikis.

There's also the "security" aspect for me, I really don't trust some of these distros (maybe I shouldn't worry??). A random image someone put on their website with broken instructions and messed up repos/kernels doesn't exactly instill confidence to me.

I will say the one GREAT thing from Rock Pi is their rock pi x. But it has an x86 processor and I can just install any distro. I wish they were easier to purchase and had more memory!!!
It is free for federal taxes. The only thing that you are paying for are state taxes.
After my 3b+ died and the 4 was nowhere to be found, my enthusiasm kind of shifted towards something even crazier - Ryzen 7840 based machine for 5x the price.

Since these SBCs keep getting pricier and need active cooling while software is still far from ideal, it's not that big of a jump.
This is the way it should be here in the US, and this is the way it works in a lot of countries. The tragedy is, we all know it, and we all want it to change, but there are a few people who don't want it to change, and they're empowered to make it that way.

I hope this IRS effort works out.
I've been using a spread of Adobe alternatives the past several years, including Pixelmator, the Affinity apps, and Sketch and while they're all solid I'm still not as dexterous with any of them as I used to be in Photoshop.

It would make me very happy if Adobe were to release a one time purchase version of PS that in terms of features mirrors a version somewhere between 7.x and CS2 — very few of the features added past that point have any value for me and I'd prefer to have the comparative light weight and higher nativeness (the UI toolkit they switched to in I think CS3 or CS4 just feels bad) of CS1. That'll never happen unfortunately.

If it weren't for potential legal trouble (Adobe can say old licenses are no longer valid) I'd even consider setting up an old Mac for using CS1/CS2 on.
See also, Reticulum (https://github.com/markqvist/Reticulum)
I think they abstracted the problem so away that they have no idea what they are talking about. Having a single file that contains all your plans and make both your app, marketing pages, and Stripe work from it is trivial and is just good engineering. It's not a "Pricing Engine" or a "Pricing Stack".
Unfortunately, this is the fantasy but it's not the reality for some Americans. USA is a very complex country where blanket statements like this can be so far from the truth for some that you'd be surprised. Tax education in our country is next to 0 but our taxes are extremely complicated. Many Americans have non-USA ties (even some Americans who lived in the USA their entire lives can have family members outside the country, but definitely Nth generation immigrants and recent immigrants) and what you said is not true if non-USA finances (bank accounts, inheritance, income etc) are involved. It is possible to make a tiny honest mistake and have to face huge $$$ penalty consequences. Such as FBAR, Form 8938, Form 3520 to name a few, these are things almost no American knows but if your grandpa from Mexico dies and you don't report his property in Form 3520 you may be billed up to $100k penalty. Sure, if this was an honest mistake they'll waive this penalty but not always and certainly not without a tax lawyer fighting for you. Now you need to hire a CPA and a tax lawyer and this is not cheap.

I personally find it misleading to undersell how high stakes taxes are in the US. Sure for 95% of the people if you make a tiny honest mistake nothing will happen, but it's not like a small error in your taxes can't cause a huge ordeal. I tell my friends, taxes are an extremely high stakes deal and you need to understand what's happening on those papers and IRS website. I'll tell my kids the same once they're of age to understand.
The IRS says it will not be available to all tax payers in those states. It sounds as if it will be a fairly small number initially.
There are plenty of people who work in remote locations like Antarctica, and few if any of them make such grandiose claims as these virologists who think their work will save millions of lives.

If they can't be bothered to work in a safely remote location then they don't actually believe in their work and are blind to the risks and history of lab leaks.
Hobbyist flying is not covered under these rules. You can still fly non commercial under the applicable FAA rules as anywhere else. This is just a petty local shakedown. They could come and yell at you I guess but there're no laws that would back that yelling up. The only stick here is the business license.
Ah, my bad. Source-available, not Open-Source
Bassdrive ftw! That's my go-to when I really need to get shit done and focus. I used to buy DnB mix CDs (High Contrast's Fabriclive.25 is one I still put on from time to time) but once I discovered Bassdrive that was much easier than dealing with CDs.
> Crazy virus comes from where said crazy viruses are literally made and studied.

"Crazy" is an odd characterization, but let's go with it. Where are "crazy viruses literally made"? Well, more often than not, in nature. So...
Unfortunatly, the http era is behind, we've just entered the https one. It's risky to leave a job.
Tangential, but I think people tend to underestimate just how important and deep mathematical fundamentals are in general. The relatively "simple" notions on which we build all other mathematical concepts, such as equality, relation, function, symmetry, associativity etc. actually have incredible depth to them. Too often, I think teachers and texts gloss over these notions instead of plumbing their philosophical depth and implications (statements like "the proof falls out automatically" or "the proof is obvious" or "the proof is a natural consequence" are a real disservice to learners). Both set theory and category theory are illustrations of just how far you can go with a few of these ideas (category theory, for instance, is basically entirely built up around the notion of a function and only two other ideas, identity and associativity—yet these three "simple" ideas alone are enough to construct a theory rich enough to model all the other branches of mathematics!)

Understanding mathematics is really understanding how to start approaching metamathematics. What does it mean to distinguish one class of things from another? What does it mean to say something has a property? That a property is reflected or preserved? These are the sorts of questions that are fruitful. It makes sense that the spaced repetition approach can help because it might necessarily force you to continue thinking about (and thus questioning) a concept you'd otherwise have taken for granted or not plumbed to sufficient depth. Too often, we fail to recognize how complicated "simple" things really are.
I'm interested. Can you share some of it?
I loved "Nothing, Forever" (here's clips for those that missed it https://www.youtube.com/watch?v=yn0iVOtr6FE ) - it would be great to see similar done with Frasier.

The temporary Twitch suspension was due to some of the generated dialogue. I'm not clear if they were forced to remove the Seinfeld stuff? In any case, the new version just doesn't compare: https://www.twitch.tv/watchmeforever

https://en.wikipedia.org/wiki/Nothing,_Forever
You are in agreement with the comment you're replying to.

The commenter is using irony to make a point.