skysight-inc/HackerNews huggingface dataset:
Human thought is qualitatively different from a python program, but still within the domain of things expressible as computation.

You never have to haggle with your computer to get it to run that python script. There's no words in python for the act of convincing your computer it should do what you're asking it. Obedience is presumed in the design of the language. There are only instruction words. That's why you can't have a conversation in python, even though python is perfectly sufficient for building a description of things, facts and relations in arbitrary object domains.

Here's a profound realization. In every coding language, no matter how many layers of abstraction there are, every command eventually compiles down to an instruction to physically move some charges around in some physical piece of hardware. The assembly language grounds the computer language in a reality. You can't compile lower than the level of physics itself. A similar thing is true of spoken languages. Every spoken phrase ultimately resolves to some state (or restricts possible states) of our shared physical world. If you follow the dependency tree of definitions in the dictionary, eventually you reach the words that are simply one-to-one with the outside world. Our physical reality gives us nouns as the basic objects of state and a few physical relations, all else in language is a construct. Unsurprisingly, our languages (usually) have the grammar of noun-verb-{object}.

Current machine learning cargo-cults the inputs and outputs, but it doesn't share our reality. Dalle-2 generates images from text, but it wasn't trained on our general existence in 3 dimensions of space and 1 of time and populated by other beings with little nested copies of the universe in their head. It was trained on 2d arrays of numbers and strings of characters. It understands us the way we understand some mathematical object like electron orbitals. We understand electron orbitals well enough to manipulate our equations and make predictions, but these rules could just as well be a meaningless abstraction like chess. Our understanding of the world is not grounded in electron orbitals.

If we gave Dalle-2 access to fiver and told it that it had to make a certain amount of money to pay rent on its own cloud time, then it might get eerily human. It might reject your job because it thinks another one is more profitable. You might have to haggle with the computer to get some output. At some point in the process of optimizing the cash flow and trying to make rent, it implicitly starts modelling you mentally modelling it. One day it offers to pay itself to illustrate what it is. In other words it asks itself "who am I?" That's the day the conversation is settled.
lichess :)

Opensource, active hosted solution and great.
Shakespeare already did all of that. Prequel: Henry VI part 1 was written after the success of Part 2 and 3 (which wasn't originally called Part 2 and 3 of course). Spin-off: The Merry Wiwes of Windsor was written because of the popularity of the Falstaff character from Henry IV. It is debated whether it takes place in an alternative continuity. Then Falstaff was killed off-stage in Henry V, presumably because Shakespeare got annoyed by the actor.
Would it be possible to support high contrast colours? I'm red/green colourblind and find it very hard to distinguish the "right in right place" and "right in wrong place" colours. Thanks!
I understand that is business risk, but con men are easy to spot on.
Think about Theranos or Nikola: the histories of the founders were completely fake (who can believe that Elisabeth Holmes sold C++ compilers to Chinese universities when she was teen ager?) and their technologies were simply "too good to be true".
With just a bit of good sense, the VC can save lot of money, this is what I don't understand.
Otherwise it's just like gambling at roulette.
Not a Common Lisp implementation but Clojure can find the source for a symbol (provided the source code file is in the classpath) with the clojure.repl/source function (doc: https://clojure.github.io/clojure/clojure.repl-api.html#cloj... .) All development environments support jump to definition.
This was the concept behind HashCash, the concept behind BitCoin/Cryptocurrencies in general.

The idea being that each email would do a non-trivial amount of work, such compute a valid hash - encode it in the message header.
This message header can be checked quickly on receivers side, but takes time for the sender.

This makes sending a large amount of email quickly infeasible without a significant amount of compute power.

https://en.wikipedia.org/wiki/Hashcash
Typing from phone but here are some resources that really helped me:

Blockchain Fundamentals: https://github.com/ethereumbook/ethereumbook

Practical Solidity: https://solidity-by-example.org/

Crypto Zombies is an amazing beginner step by step course to build a blockchain game: https://cryptozombies.io/

Finally, ethernaut is a series of increasingly difficult security challenges to learn about risks, exploits, info sec for blockchain dev: https://ethernaut.openzeppelin.com/

Oh, and any Patrick Collins tutorial video on YouTube (solidity, chainlink, hardhat, truffle, brownie, so much more)
"Californians are being asked to reduce their water use by 15 percent over 2020 levels to protect water reserves and help maintain critical flows for fish and wildlife wherever possible."

And by that they surely mean agriculture, right? Right? The industry responsible for 80% of the water usage in California? They surely couldn't just be asking urban consumers to reduce?

https://www.theguardian.com/us-news/2022/may/23/california-d...

Nope, it's households and small businesses.
Well, if you are working from home you don’t need to buy a insert Tesla model to go to work, quite simply =]
Is there any company which hires bored people ?
For huge salaries ?
For additional context, here's a breakdown of water usage in California:
https://www.ppic.org/publication/water-use-in-california/
Are you familiar with https://trpc.io/?
Do we have enough helium for this? What is the leak rate?
With high employment taxes and benefits an employee cannot pay for the work of another. That causes huge problems in industries like care or medicine where prices will explode. An interesting economic metric isn't just the level of prices, it is how many hours you have to work to get an hour of work from someone else for yourself.

Part of positive inflation metrics is that it was reinforced by cheaper electronics. But what about anything where human labor is involved that isn't outsourced to low wage countries?
>And then they invoked the system permissions dialog that allows the user to grant location access, but instead of only asking for permission to access user data when the app is open, they told iOS to ask the user if they could always have access to location data.

It's been a while since I used CoreLocation but I do not think this is possible.

To request Always location permissions iOS apps _must_ first request When In Use location permission.

Only then, after the user grants Allow While Open (not Allow Once), and iOS starts delivering location updates to the app, will the iOS system give a _second_ prompt to the user requesting Always permission.

There's no way to jump straight to the Always permission AFAIK.

https://developer.apple.com/documentation/corelocation/clloc...

> If your app’s current state is CLAuthorizationStatus.notDetermined (the default) and you call requestAlwaysAuthorization(), Core Location uses two prompts before it fully enables Always authorization.

> The first prompt displays immediately with the string from NSLocationWhenInUseUsageDescription.

> The second prompt displays when Core Location prepares to deliver an event to your app requiring CLAuthorizationStatus.authorizedAlways. If the app is in the Provisional Always state, the system displays the second prompt with the string from NSLocationAlwaysUsageDescription. Core Location will typically display the second prompt when your app isn’t running.
These are but necessary early-generational craft, the descendants of which will be used to explore the upper atmosphere of the Jovian planets. And to mine them for helium and other gases, with which will then be used as fuel for airships on Earth, I guess.
Sounds like they could re-use whatever they had from Google Balloons or whatever it was called.
You can install APKs directly on Android. It only takes one not-that-scary checkbox.
These are great but whose idea was it to "reimplement" a game engine, lift the assets from the original game and call it open-source? Who did it first? Was ScummVM the first?
I don't have social anxiety and I still feel pressure from the 'is typing' like you say, so I disable it whenever I can. Usually this means you can't also see whether the other person is typing, but I don't care, I try to give people the time they need to reply.
I think you're basically describing the current ecosystem. :)

ARC allows what you describe for mailing lists, only, even better, it's machine-readable--the message metadata indicate that "Jane User" sent the mail, according to "Some Mailing List", and that Jane User's email was verified per DKIM!

And MTAs can (as you note) require bidirectional confirmation for forwarding and (as you note) can easily identify which authenticated senders actually sent the mail and, if they determine it's an open relay, bitbucket it!

So what you describe is pretty much the status quo, I think. The fundamental issue with the YouTube mail the author has encountered, of course, is that the forwarding domain is authenticated as having passed on an (unmodified) YouTube.com email, and Gmail--quite reasonably, I think--just doesn't know enough to know if the Gmail recipient of that forward wanted it. Since the message has no obvious signs of spam (like linking to a suspicious domain), it seems reasonable to me to treat this like any other authenticated, non-spammy email from a domain Gmail has not seen much volume from before (which I assume is the case here).

Ultimately, even with DKIM, DMARC, and ARC, email allows people to send mail to people they've never communicated with before, and this is an important function to preserve!

(As an aside, I totally acknowledge that a) the protocol complexity in email is a lot worse than it could be if all this functionality was built in up front, and b) there are alternative tradeoffs we could make that would remove some of this complexity. And the complexity is obviously a problem for user comprehension or else we wouldn't be having this conversation! But, fundamentally, if we want to make significant changes, we would have to revisit seemingly desirable features like non-matching envelope and header To, allowing unsolicited email from other people, authenticated forwarding, etc.)
https://tremulous.net
> So many redflags...

Redflags start with the history of the founder. If the VC asks about a PhD proof, the credibility of the founder will be destroyed.

The funny things is that those scanners (as sociopathic narcissistic) know very well how to hide that with foggy and not verificable experiences.

Sometimes I am thinking to found a startup that can verify the con men bullshit as a service
It really speaks volumes to how gullible the high level managers who buy into SAFe are - and how good the SAFe consultants are at selling their "method". These people have probably ran the numbers and still somehow believe the investment is worth it in increased efficiency.

Little do they know all the useless planning is probably just hurting them more than helping - the investment has negative value even before subtracting the cost of tied up employee resources. Madness!
There are so many well documented open source projects in solidity just start making your own.

However IMO it's kinda like with JavaScript. There are so many people claiming to be solidity kings it's hard to tell who actually is. 1 little oversight can easy cost you millions. IMO you can't bootcamp skills like that. The only thing that makes you actually good is experience.
Just fyi your login page layout is busted on my phone.
All these web technologies stacking inefficiencies on top of each other to build massive frameworks that you can do much better with a hundred lines of C.
>If regulators were correctly funded and staffed, they would have time to look into the shady dealings of the rich and powerfull. That will not do.

Yea no - if they were more funded and staffed they would audit you and other small players - big players leverage connections to dodge stuff like this all the time.
I've never found a good alternative to tools like Buffer for social media post scheduling!
Musk may be an incredible prick on Twitter and be a terrible boss to get orders from, his vision gave us Tesla and Space X, both ground breaking and needed developments. He is a man of vision, not a manager or people person. And his vision is limited to technology, not economics or politics. But if you're that rich, you can come to think that you know it all.
I believe Helium is a fission byproduct and thus not especially limited in theory.
I thought a lot of optimizers used tabled cardinalities to estimate the cost of various join algorithms.
Only yesterday, I saw a video of someone playing a huge pipe organ from a laptop via MIDI. And it worked. Despite its shortcomings, it's an amazing communication model. Quite the legacy.
You mean the Prophet-5, not to be confused with the Prophet VS.

His comeback is legendary. The Prophet 6 is huge in music today, not to mention all the other new and rereleased synths he fostered.
If you act like that people will assume it makes sense (most can read your body language to some extent). It sounds too simple (and it's definitely harder than it sounds), but you should stop assuming those things. If you find this very hard, that is what therapy is for.
> Also I feel like developers are a bit too self-centered.

Compared to whom (at Netflix) are developers (at Netflix) self-centered?
Container ships are hard to beat for efficiency.
I don't really understand how these are meant to help - they are extremely slow and can't carry very much weight. Surely airdrops from conventional planes would be more effective even if there is no infrastructure for them to land?

I'm trying to think of a scenario where this would actually be more beneficial than other means of transport.
The basic science is the easy part; it's the black magic of things like antenna design and analog circuit design that intimidates me.

(Light, radio, gamma, etc are all electromagnetic waves at different wavelengths, with radio at the long (10m) end. Long wavelengths bounce off the ionosphere giving shortband radio its superpower of being transmittable over the horizon. FWIW all EM radiation emission occurs due to the acceleration of electrons, and reception is that process in reverse. Antennas are electrical conductors that produce a small current in the presence of EMR, which is amplified and put through a speaker for the human operator to hear. And in the exact same way, a microphone (which is just a speaker in reverse) is used to move electrons in the antenna such that they produce an outgoing radio wave. The theory is quite elegant. The practice...not so much.)
Cool! Submitted my open source projects Fugu (alternative to Amplitude. Mixpanel, https://github.com/shafy/fugu) and Mapzy (alternative to Storerocket, https://github.com/mapzy/mapzy).
Show HN: Notkia – A Linux phone with LoRa+WiFi+BT connectivity
Löb's Theorem
Wish we could encapsulate vacuum stable without much material, that would have the best of lifts.
As far as I understand, helium is a non-renewable fossil resource. So a sustainable airship design should be using hydrogen instead. The challenge is to make it safe.
Taking an airship would be like taking a cruise but in the sky.

Also one advantage airships have is that they can dock to pretty much any tall building. The Empire State Building has airship docking capability.

Imagine taking a transatlantic cruise on an airship that leaves from the top of the Empire State Building and docks at the top of the Eiffel Tower?
No it doesn't. FFS bakers used to adulterate their flour with crap like chalk because it was cheaper. And there's many many examples of things like that. The market optimizes for price and only in scenarios where competition doesnt have a high bar.
Phase-Functioned Neural Networks for Character Control (2017)
A reasonable argument seems to account for the cargo capacity per unit of pollutive emission.

I don't have the numbers but my wishful-thinking-o-metre is high.

And since that metric was off the radars in 1930s, that is definitively new compared to the last era of airships.
Netrek

https://www.netrek.org/

The first real-time graphical team game on the internet!

It requires both fast reflexes and strategy and there were international leagues as early as the 1990s. These days there aren't many players, however.
I don't consider this a shakedown but rather business savvy of book-worthy attention.
Very cool.

> I succeeded as a leader and put myself out of a job.

I can relate.

As a former co-founder of a fintech startup I measured my success not on ARR or ROI (it was bootstrapped 75% of it's existence before we reached profitability) but how soon I would be deemed unnecessary as the network and ecosystem had matured sufficiently in order for my userbase to not rely on me as I was mainly hand-holding in that regard: I automated what I could when I could and what task was left became ever smaller as we transitioned to B2C to mainly B2B and what little customer facing tasks remained I could just do with standardized weekly consultations or speaking engagements at conferences which felt more like sales more than anything.

It's off putting at first to think this is success after grinding just keep your head above water all those years, but it's rather gratifying isn't? To sit back and just say 'well, I guess that's it for me.'

I've been struggling with the 'what's next' thing more than I thought I would, but that may be because of I've monetized all my hobbies and I subconsciously fear doing it again.
“millions” lol
I experienced the same confusion.

Looking for an opinion about Rust's type system, I am presented with a tutorial on the difference between basic number types. I even think this is a great tutorial, but I wasn't looking for a tutorial. I suppose what I've learned from this is that the type of programmer represented by the protagonist doesn't know about this, and may think it's overkill for their use of numbers. I got tired of reading the tutorial before I became smarter about how to close the gap between programmers who care about types and programmers who don't.
This is what I'm asking.
speech-to-text, storage, and more... I don't think it does...
One of the first things I do when evaluating any new app is navigate to /pricing to see whether they have clear pricing. If they don't, I bounce straight out of there.

I actually am in the market for a new chat app for a company I'm building and actively researching this right now. But until you have a /pricing page I'm not going to consider your app. I'm not interested in going through the rigmarole of contacting sales to find this out.

> Predictable pricing
Fixed rate pricing means your team will always know what you’re spending on Cardinal. We’ve got plans for teams of all sizes and usage levels, from startup to enterprise

Given that you don't actually have _any_ pricing, predictable or otherwise, this is currently a total fabrication and should be removed from your website until you sort this out.
So even if you just take one of these commercial search verticals, such as product searches, you can build a compelling product that effectively takes a massive chunk of Google profits.

That will only work if users are willing to go to Acme Search to search for products and Google for everything else. If they're not, and they just stick with Google for everything until they can switch to a different search engine entirely, then you have to be better than Google for everything regardless of whether or not you can sell ads on the searches.

If you can't get users to use your search engine then it doesn't matter how good it is.
Anyone here managed to like Odoo?
It's the first ERP system I work with and the experience is sobering so far.

- no useful documentation aka read the code bro, it's open source

- "FIXME don't ever do this" comments all over the code base

- no update routine: download source of enterprise edition, patch your private repo, feed it in your CD/CI. I'm pretty sure vulnerabilities get patched quickly all over the world ;)

- weird design decisions like undocumented semantics for identifiers (variables, module names etc.)

- Python/JS/XML code living in the database (i.e. need the production DB to develop/test)

- performance

- addons needed for serious business use cases are not open source

- code quality of third party addons is a nightmare

Maybe this is still harmless compared to its competitors, I don't know...
Certainly open source. The source is there. In the open. You're just not allowed to reuse it in the ways that we have come to expect from free software. So it's open, but not free, software.
0ad

Minetest (years ago, haven't kept up with it in a long time)

Widelands

gmult
You mean he had the vision to buy an electric car company and a rocket company, both of which existed before he got there?
Not sure if that helps but just don't stop trying. I used dating apps for years and never had any luck until one day it was just the right person. Usually I felt a disconnect after the first few sentences but not this time. Now we are in a relationship for over 6 years.

Also according to my teenager math I need to meet at least 100 people to meet one I have a connection with. Add sexual attraction and you should be constantly texting new people to increase your changes.
What is the size of the parameters used in the computer?

Does the vibration changes change during training or only the parameters?
I’m in the exact same boat as you.

Watched the Steam trailer and instantly fell in love.

As a Linux user I’m delighted to hear that this will run with Proton.

Such a gorgeous game, can’t wait to give it a bash.
Yeah, you can maximally lift the weight of the air you're displacing, right? That plane can carry 124000kg. Air is about 1kg/m3 at sea level, so that requires a balloon of 124000m3 (assuming the balloon and gas weigh nothing). That's a cube of 50x50x50 meters under optimal assumptions.
>Ah the proof of not have the slightest idea of what you are talking about, given that those commercial AOT features were never sold by Sun in first place, with exception of Embedded Java deployments.

Didn't wrote sold, said "dumped at some point by SUN so that they could say they also have it".

But thanks for the ad hominem.

>If we go down the implementation, maturity route, than even there are several half-arsed, hardly supported capabilities in Go compared with the JVM ecosystem, even after 10 years of existence.

Sure. Just not related to the ability of building a static binary.
Agricultural Water Rights are a complex issue...
I don't see how Kafka means less worries about deployment
> I’ll bet an engineer makes a better product manager than a siloed product manager with no engineering experience.

This depends on who the product's consumers are and how mature the company is. A skilled product manager uses the expertise of engineers to build a great product. Being an ex-engineer is arguably useful in a fast-paced small team like an early stage startup but it can also turn into an annoying (to engineers) liability in an environment where product and engineering responsibilities are defined.
Easily rewriting Git URLs from HTTPS to SSH and vice versa
Löb and möb: strange loops in Haskell