skysight-inc/HackerNews huggingface dataset:
Leave the SF Bay Area, as one advize.

Boring companies don’t get funded here—-you either go big or go big.
I noticed that EG and RPS didn't get review codes.

Thats all I need to know... I literally got the game with a CPU, and I havent even read a review beyond TechCrunch's mixed and brief one, but I am not touching this game for a couple of months. Maybe longer.
The Scourge of Airport Noise
I’m with you on this. However, it’s going to take time for those who don’t understand this to understand this. You have to live through it I think. Once you have, you’ll see it immediately. If you haven’t, well, enjoy your direct tone deaf communication style.
If objective reality exists, which is still a pretty big if last time I checked, not only do we not know what it fully is, we don't even know what any part of it is. The best that we can do is get better and better at modeling it in ways that are useful to us (which is what science is doing for us).
Preventing you from spying on and making rules about other people’s money is a legitimate purpose, and no amount of patriot act talking points and proposals for the redistribution of consequences will change that.
> Otherwise, we should all prioritize making our products flimsier and more expensive.

It's the view of many that this is indeed what most companies prioritize — I'm not saying it's true, but it doesn't seem to be a particularly fringe opinion. It's in the vein of enshittification.

Also, might I ask how you inserted that em-dash? A keyboard shortcut? It's interesting to see fancy typography online.
> If I know anything I create is just going to be hoovered up and input into somebody's AI model so I do 99% of the work and they get 99% of the profit

Could you give a more concrete example of how this could happen?

As-is, I don't see how the existence of an AI model trained on J. R. R. Tolkien's Lord of the Rings is going to result in Tolkien's works receiving 99% less profit.

Maybe you could argue AI models as a whole will devalue certain types of creative works (e.g. art commissions for designing logos), but they don't need to train on any one particular creative work to accomplish that, so unless you're saying we should just ban AI models entirely I'm not sure how copyright helps with that.

> I fear an internet of signup walls and TOC agreements for everything, just to prevent crawlers that feed AI from soaking it all up.

This is a fair point, particularly since it appears to be already happening to some extent. Though it seems to be largely social media companies and content aggregators trying to control access to information they don't hold the copyright to in the first place, not individual users trying to restrict access to works that they created. I'm not sure copyright would really help "promote the Progress of Science and useful Arts" there so much as "promote the wallets of large social media conglomerates".
Welcome to the awe-inspiring world of HyperTech Innovations, the avant-garde disruptor that leverages the transformative potential of Artificial Intelligence (AI), blockchain integration, and Non-Fungible Tokens (NFTs) to catalyze a paradigm shift in the corporate landscape!

Our state-of-the-art AI algorithms, fueled by Quantum Computing and driven by the power of Big Data, Cloud Computing, and Machine Learning, empower enterprises to embark on a transformative journey, optimizing operational efficiencies, and redefining industry standards!

But hold your breath, for our ingenious utilization of blockchain technology is set to revolutionize enterprise solutions. By harnessing the decentralized prowess of blockchain, HyperTech Innovations ensures unrivaled security, transparency, and immutability, fostering an ecosystem of trust and accountability!

And let us not overlook the captivating realm of NFTs. HyperTech Innovations ingeniously blends AI with the NFT market, crafting captivating digital artworks and collectibles that not only captivate the senses but also unlock a new avenue for corporate branding and revenue generation!

Through our groundbreaking HyperIntelligence platform, seamlessly integrating Augmented Reality (AR) and Virtual Reality (VR), we transcend conventional boundaries, immersing stakeholders in captivating digital experiences that drive cutting-edge engagement and foster meaningful connections!

Our AI-powered chatbots, enhanced by Natural Language Processing (NLP) and Deep Learning capabilities, redefine the customer experience landscape. Bid farewell to mundane interactions and embrace sophisticated dialogue that leaves customers astounded, while optimizing operational efficiency across the enterprise!

Embracing the Internet of Things (IoT) with blockchain integration, our intelligent devices and sensors orchestrate an impregnable network of data collection and analysis, empowering enterprises across sectors such as healthcare, logistics, and transportation with real-time, decentralized insights that redefine operational excellence!

But wait, there's more! Our AI-driven predictive analytics, bolstered by Quantum Computing and fortified by blockchain, empower enterprises to exercise prescient decision-making, steering growth strategies, minimizing risks, and unlocking new frontiers of corporate success!

And as if that weren't enough, HyperTech Innovations is unwavering in its commitment to sustainability. Our AI-driven solutions optimize energy consumption, reduce waste, and streamline resource allocation, while aligning seamlessly with corporate social responsibility initiatives, revolutionizing the corporate landscape for a greener and more sustainable future!

Join us on this exhilarating journey as we fuse the realms of AI, blockchain, and NFTs, empowering enterprises with limitless possibilities. HyperTech Innovations: where the future meets enterprise excellence, and where innovation is synonymous with corporate triumph!
Three points I want to make:

- Models are nothing more than a statistical distillation of facts that can be traversed. They are not like software at all. Calling them software is like calling pachinko machines software. Nonsense.

- Models are mechanically derived with no element of human authorship or creativity. You could argue that there is creativity in selecting the dataset or the process that derives the model, but neither is relevant to the final generated model. Even if we assumed for the sake of argument that a model is more that a just statistical distillation, it should still not be considered copyrightable due to this reason alone.

- Don't use the word Steal when you refer to the well-defined act of infringement. Stealing implies deprivation of property which does not and cannot occur in this case. Using the word Infringe is more honest and less manipulative.
What's the water level like coming down the rivers there? I'm not from the area, but looking on satellite views, there are what look like wetlands nearby, a shipping channel going past. No reservoirs in the immediate area.

I quickly googled and it suggests Sacramento pulls from the rivers and underground, SF gets its supply from Hetch Hetchy.
First gather proof that you have customers waiting for your product. Thinking something is a good idea and proving it is are two different things.

Then look for local venture capital via your local Startup groups. You will find that they are frequented by all the "usual suspects" and you will meet serial entrepreneurs and business coaches etc.

Build the minimum viable version of your software. Don't add all of the possible features, just add those to the TODO list. Build something that works and be prepared to re-write when it grows bigger.

Going live and gaining real users (free or paid) is how you prove your idea deserves further investment.

You are competing against glitzy show-off projects involving the latest craze (typically AI at the moment), don't let these things distract you.

You may find you actually do need to work alone and build out your idea prototype first though. People hear "good ideas" all day long.
Is it the guys that were discussed here: https://news.ycombinator.com/item?id=37266398

After digging a little more into their lawsuit I am rooting for their success.
That's a tricky spot, since 300k ARR does not leave a lot of room for profit after paying people to do sales, support, bug fixes, etc. That seems more like solo founder bootstrap territory, maybe with support from a startup grant, incubator, or funds raised from savings or your personal network.
Cool website. Much better than the SEO spam I came across earlier this week when I did a websearch for "pear qwerty horse" after seeing it in the tags under a binging with babish video.

Love the timers and jumping to sections of the video. Though, the second video I tried viewing didn't have linked steps.
https://archive.is/2L18I
https://archive.is/nvw8j

This Article previously Posted and Discussed on HN: (6-comments - 2023-08-31) : https://news.ycombinator.com/item?id=37339452
Full F16 precision 34B Code Llama at >20T/s on M2 Ultra
I love this resource. So many useful knots. Particularly I like the lanyard / friendship knot [1] and the midshipman's hitch (adjustable slip hitch) [2], the latter of which is probably about 90% of the knots that I tie. Honorable mention to the constrictor knot for attaching to large cylinders [3].

[1] https://www.animatedknots.com/lanyard-knot

[2] https://www.animatedknots.com/midshipmans-hitch-knot

[3] https://www.animatedknots.com/constrictor-knot-twisting-meth...
https://archive.is/4OTBi
For context, I have very boring software with 150K+ free users and 10k+ paying users. I have not sought funding because a few months after the minimum product was released it was apparent that it wasn't necessary to involve other investors (who understandably want a big slice of the pie).
> I guess the hope is that eventually there will be a language which is roughly as easy to read/write as normal proofs in English but can be machine checked.

That's what "declarative proofs" are for (as seen in Mizar, Isar, and formerly in the Coq plugin C-zar). Most proofs in interactive proof assistants are written as "proof scripts", which cannot be understood without playing them back in the proof assistant (in fact, specifically the version of the proof assistant that the "script" was originally written for) and checking how each step in the "script" relates to the current proof state.

Declarative proofs are more self-contained, in that the assumptions and conclusions involved in each proof step can be ascertained by just reading them in the code. They can also be naturally simplified into structural "proof sketches", where missing steps in the proof could potentially be filled by a proof-searching "AI".
The "boring" way is go do some sales and get clients to pay for something, then scale up as cash flow increases. That way, if it doesn't work out, at worst you just lost time instead of being half a million in the red on a business loan.
There's a few reasons some people prefer steel. 1) You can weld it pretty easily, if your frame cracks. I guess this is nice if you're bikepacking through Nepal or something, but I don't really see the practicality for normal people. 2) It's cheap (well, not any more). 3) It's more flexible than aluminum, so some people prefer the way it rides.

These days, I'd say #3 is the only really valid reason for most people. Steel bikes are generally heavier than aluminum however, but it is possible to get them close if you use a high-grade cromoly steel, but then that removes most of the cost advantage.
Microsoft paid $8B in offshore money they couldn't repatriate without paying taxes. Think of it as a way to launder a portion of that money while getting something in return.
One of the things I've learned from teaching knots to Boy & Girl Scouts in the BSA is that you must constantly re-learn them or your skills will founder. It's not like riding a bike for me. That could be a visual-spacial memory thing, but many of my co-knot-tieing scouting teachers seem to have the same experience... so this site is perennially useful.

Favorite knot (involving a Rabbit going "through the hole, around the tree, and back down the hole"): Bowline Knot
It was a problem for everybody. You don't have to wonder about it: Usenet did consolidate down to a couple providers. People really did organize against providers that didn't carry binary feeds.
Do you have a business plan? Do you have evidence you will have paying customers for what you're building? Are you looking for equity investments or loans?

Networking is how you find angel investors. The best time to start building the network was 10 years ago. Ask everyone you know for introductions to anyone that is interested in angel investing.
https://github.com/ggerganov/llama.cpp/pull/2926
The copyrighted article is not part of the output (at least, not verbatim). The copyrighted code is part of the output.
Show HN: Ipv6calc.online, IPv6 Subnet Calculator
There is an app called grog knots which I think is made by the same people. Best few bucks I’ve ever spent for an app. Love having a bunch of knot diagrams handy when I’m out trying to do something.
It's literally SDK, if you care to actually read your link. Not the engine itself: the game-specific logic DLLs (client.dll and server.dll in the game's folder) that hook into the engine, and can be modified to make mods. Valve started publishing those with the release of their first game in 1998.

You can read more about the modding workflow here: https://developer.valvesoftware.com/wiki/My_First_Mod

If you are familiar with the latest version of Unreal, then it's like having access to the "Games" project in your solution and only some headers from the "Engine" project.
There are several apps for your phone that teach knots.
Similar to basic arithmetic?

Perhaps the experience of symbolic calculators (like mathematica) is informing, since surely, for many years now, students have been able to have it do their homework for them. How do teachers handle that?
>The only appropriate thing to infer from a question is that the asker wants to know the answer.

Categorically incorrect.

Every question comes from either one of two places. Ignorance. Or Vindictiveness.

Let’s explore the latter.

You: driving home after having a great time at your companies happy hour. You finally got to discuss that project you wanted to work on and got a verbal green light.

Cop: “Do you know why I pulled you over?”

In this situation - if the question was indeed ignorance, you respond “going home from work”. You assume it’s ignorance because we genuinely want to believe people are good.

In this situation, the cop is not asking from a place of ignorance, but vindictiveness. He/she believed you broke the law, the next question will prove this…

Cop: “Have you been drinking?”

In my examples above (far far above), “have you thought about X?” Is ignorance. Do you see the difference?
>The pressfit junk they pushed on us was for ease of manufacturing and low cost. Consumers realized they were worse, and they started to avoid those.

From what I've seen said by bike experts on YouTube, pressfit is actually superior, because it saves weight, and is (maybe) still used on top-end racing bikes for this reason. The problem with pressfit is that it requires very precise manufacturing, and apparently most mfgrs just can't make a proper round hole in carbon fiber. Threaded BBs are more practical because they allow for sloppier manufacturing tolerances.

Of course, threaded is better for end users who want to do their own repairs, since it doesn't require special press tools like pressfit does.
I think you’re getting ahead of yourself. You have $0 in revenue and no business. You don’t raise money on ideas and vibes.

If you have an idea for a business you’d like to build, don’t even worry about the software part yet. Get out there, make cold calls, get customers and do the boring thing with as little or no software. Show there’s demand and that you can make money doing it.

Once you have even a few hundred bucks in revenue, that’s more than $0.

Then write as little software as you can get away with to automate some part of the work you’re doing. See if that translates to more revenue with less effort.

That’s when you start raising from family and friends. You use that money to get some tools you needs, buy some AWS credits, take a few weeks to automate more of the process, hire some people part time to make your cold calls for you/do deliveries/assemble things/configure the giblets/etc, etc.

Once you have self sustaining revenue and a clear path that’s when you raise the seed money to get a dedicated team going. You use that money to expand into new markets, write more software to automate more things that help you grow.

It starts small.

I would say you’re pretty well connected and lucky if you can get someone to give you more than half a million dollars to mess around and find out if you can make a business out of it.
With VMRXX giving a YTD compound yield of 5.41% ( https://investor.vanguard.com/investment-products/mutual-fun... ), I've actually been happy to have parked a bunch of cash and not touched it.
What would be particularly nice is if it became the norm for LLM users to be expected to not only supply the log of prompts that produced a given output, but also the specific LLM, making the entire process reproducible and verifiable.

Of course this would possibly exclude using SaaS-based LLMs like ChatGPT in places like schools, and as such it might make sense to require students to only utilize open ones. Or maybe, if OpenAI provided a verification service whereby a prompt could be checked against the output it supposedly produced in the past at some point (even if the behavior of the chatbot had since changed).
We are excited to introduce the AWS Elastic Icon Identifier, a service designed to simplify your AWS Management Console navigation by quickly identifying AWS service icons. This service offers Icon Recognition, enabling you to instantly identify an uploaded AWS icon; an Icon Library with a continuously updated collection of AWS service icons; and API Integration, allowing you to programmatically identify AWS icons in your applications. Additionally, it ensures High Availability with extra redundancy layers and built-in Fault Tolerance to handle unforeseen issues without service impact. This not only accelerates the learning curve for new users but also helps experienced users efficiently identify unfamiliar icons or refresh their memory on lesser-used services.

The pricing is designed to be cost-effective for all users, with a Free Tier of 100 icon identifications per month, a Pay-as-you-go plan at $0.01 per icon after the first 100, and a Premium Plan at $10/month for 1000 identifications, with extra identifications at $0.008 per icon. All plans include unlimited access to the Icon Library and API Integration, as well as High Availability and Fault Tolerance features at no additional cost. For more details, visit our Pricing page on the AWS website.

Start simplifying your AWS experience with the Elastic Icon Identifier today!
Gotta get an ethics board to approve your study, which might affect the efficacy of the study, which might be an ethical concern. Oh dear.

Interested to see this study redone, but also toss them a handful of narcan and a wearable AED.
> This is why programmers are not licensed engineers, and I have my doubts about being a serious engineering profession.

You're conflating two different things.

Coding and programming does not make one an engineer. Just like assembling a bridge does not make one an engineer. Or building a house, an architect.

On the other hand, actual software engineering can be a serious engineering profession. As serious as any other engineering form.
Anecdotally, some shops won't deal with mountain bikes in the first place, and the shop that do usually have more qualified staff and set higher base prices, regardless of what you bring them.

I'm with you that they should keep charging the same higher prices for ebikes, just saying the price differenciation is already there.
You can do this with a modified tool for LLM agents if you really wanted to with an obfuscated prompt/obfuscated tool but what's the point? It is funny the first time but this is just stick ChatGPT so is unsurprising it would have greater restrictions
I don't know that you can do this. $600k sounds small to you, but the people making those kinds of bets ($600k is a big bet, but presumably you're thinking of syndicating a bunch of smaller investors) are doing so on the premise that you're going to go on to raise a priced round, then a B round later --- ie, it's the same portfolio theory that the institutional VCs are using.

The thing I think you have to keep in mind that is that risk of failure (where "failure" is defined as "returning the same or less than the same money invested in low-risk investments would have over the same time period") isn't linear; by scaling down your ambitions, you do scale down risk, but probably not so much that you open up new avenues of equity investment.

I'm not an expert, but I don't think you're going to raise 6 figures on the premise of 6 figures ARR in 3 years.
Perhaps it should be reframed as "Amazon has stolen $ from me"?
How Astro Does Internationalization
Very helpful, thank you. Was not aware of most of these aspects. Definitely curious to try fish now. Thanks!
This seems like a slightly amateur/hobbyist recommendation, but every approach is valid under certain circumstances.

If it's a database or otherwise expensive to recreate file (like a certificate that's subject to renewal rate limits) keep it somewhere you can get to it if the VM needs recreated. Typically this is a mounted volume on a SAN in larger self-hosted environments.
I learned to sail thanks to this resource.
For some reason, the same utilities in California sell the same water for agricultural use for 1/20 - 1/10 the price as they sell it to residential or commercial users. To me, this screams inefficiency.

I suspect that agricultural users are being charged too little, and so they have too little incentive to be efficient. (Or they are pumping groundwater and paying nothing.) And residential users are being charged more than the service really ought to cost.

The only semi-legitimate justification I can come up with is that there are fixed costs associated with water users, and each residential user uses much less water than an agricultural user. But there are better ways to handle this.
Google Maps Testing New Apple Maps-Inspired Map Style
You could easily blow through 600k with no sales and little to show. I’ve seen it happen multiple times. It’s risky.
This means there are demonic presences on the moon.
Zeno's Mice and the Logarithmic Spiral
I believe Oracle uses Terraform as their OCI CloudFormation equivalent.
It definitely takes a second to develop that intuition, I remember being quite confused as well. As I got more into CS, I began to think of proofs similar to how I do unit tests: you externalize or “fix” as many as the inputs as you possibly can, and then abuse the remaining degrees of freedom as much as possible to show that your solution is complete.