skysight-inc/HackerNews huggingface dataset:
Show HN: fallback() – write web apps in Solidity and serve HTTP over Ethereum
Hi HN! I recently open-sourced a project I’ve been working on over my winter break: a Solidity web framework you can use to write web apps in Solidity (and more generally, a proof-of-concept implementation of an arbitrary network protocol over Ethereum).

Here’s a demo web app on the Optimism Goerli testnet: http://simple.fallback.natecation.xyz/

Running this Solidity code: https://github.com/nathanhleung/fallback/blob/main/src/examp...

There’s a lightweight TCP server script that’s listening on the demo app domain that forwards requests to the blockchain and sends the responses back.

The smart contracts take advantage of Solidity's fallback()[1] function to interpret the input data to the contract as an HTTP request rather than an ABI-encoded function call.

Would love to hear your thoughts in the comments below!

Docs: https://fallback.natecation.xyz/

Github: https://github.com/nathanhleung/fallback

[1] https://www.oreilly.com/library/view/learn-ethereum/97817899...
Blockbuster was always such an unpleasant experience every time I went. They had basically zero brand loyalty to lean on.
Honey and eggs are not comparable.

Maybe honey is extreme, but watch a youtube video of them shredding male live chicks that won't lay eggs so aren't useful is the closest thing to hell i've ever seen.
eBooks on Apple Books is a pretty seamless experience.
> Next time you've been out at a restaurant, after you leave ask yourself if you can remember any of the other patrons and what they ordered.

Yesterday I was at a BBQ restaurant. Some of the other patrons (sitting at the same table as me!) had a chicken-fried steak, another had a half-rack of ribs and green beans. Someone the next table over had some brisket and okra. The table on the other side had a tower of onion rings. Remembering these things isn't really taxing at all. Now, I truly don't care about these things, other than that I do like to somewhat remember what my friends do and do not like to eat so I know what to suggest or potentially cook them when they come over for dinner.

I do somewhat agree though, if it's on the menu order what you want. If someone judges you immensely because you got the vegan chili, that's their issue.
> it's possible to remove this DRM protection, but it's also not something completely legal

Something is legal or it's not. Is it illegal though? You clearly press on a "buy" button to purchase the book. Unless they have somewhere a clause that says you're not buying the book but license to rent it? In any case it's not immoral, and I doubt it's illegal unless you share it.

Nb: don't agree with the precept, for the general use case it's much easier to buy a book. It takes a couple clicks on Amazon, and removing the DRM if you wanted to (say, if you wanted to switch to a Kobo later on) is straight forward. Finding a pirated version of a book that's not a series-A on the other hand is pretty hard.
Most of the edge cases can be handled using stored procedures on the database, which can be called in PostgREST using a generic '/rpc/<name>' endpoint. You can use foreign data wrappers to handle almost all the remaining edge cases, though that has diminishing returns in terms of time savings vs having a separate service as cases increase in complexity.
Yes. I say surprising, because traditionally web servers redirect from the bare name of a directory to the equivalent with a slash at the end. This then either redirects to the index.html or just serves it directly. In Apache, these are both handled by mod_dir: https://httpd.apache.org/docs/2.4/mod/mod_dir.html. They are using Varnish in front of the web server, and I don't know if they want this behavior or not.
I did this with my CDs and books while making room for a nursery. But I regret getting rid of the hard-cover SICP. I have a PDF, but would like the book again and it no longer exists in hard cover.
They burn more calories overall, but tend to have a lower resting metabolism per body weight, which is specifically what lower metabolism means in this context.
While some of those are true, you're discounting the benefits of life in Vietnam far too quickly, especially if you are moving back from the US with savings and a social security check.

- People are kinder to each other, that's worth more than many modern comforts.

- feel free and comfortable and relatively safe to ride your moped in your 70's - everyone does.

- get a cheap private Grab (Uber) if you are really incapable.

- food chain supply is significantly better, resulting in fresher and with healthier options almost everywhere compare to most modern countrues.

- most modern medicine is available, and their are counties with superior medicine with a few hours flight. For many specialties, it's the same in the US - except you may only fly between states rather than counties. Same distance though.

Ultimately, quality of life is subjective. You may think you have luxeries like neverending fast food sitting on your ass watching netflix, while I think you have shackles to an un-natural lifestyle that is burdened with gluttony and misery.

In my experience living in Vietnam, the people are poorer and work harder, but still happier than the average person stateside. If you judge quality of life by a standard of happiness, I think many modern countries loose.
> except 51820

Even then, it's technically open but it's using UDP so it's not like it'll show up in port scans or anything.
For bug spray I think it does make sense, at least to some level. Natural means of bug repellant like eucalyptus, lemongrass, or citronella seem to have less side effects than something like DEET. And may be the preference if there isn't a high level of insect borne illnesses in the area.
FWIW, vim can edit files over ssh. You still use your local vim, so you don’t need to [even temporarily] download/install your configuration/plugins on the remote machine.

An alternative approach might be to mount the remote directory as a file system with sshfs.
Using NLP to Find Duplicate Files in Your S3 Bucket
It's mentioned in the article that being overwhere is a potential explanation. Hard work surely increases your body temperature.
Remote work’s toll on cities
> There are plenty people in the world doing jobs that are boring, even to them, but they don't care because they can make a living, and that's the important thing.

I see it the other way around... why do we keep people in such boring (or to use the official term, bullshit) jobs when we could automate away as much as we reasonably can and enjoy maybe a 20 hour work week or not work at all?! How much productivity, how much talent could we unlock from our society if people weren't wasting their potential away for something a computer can do faster and with infinitely better accuracy?
I’m mid 40s, live in the uk and was a vegetarian for a year in the 90s.

Vegetarian for me always meant something like “not eating meat”. Milk and eggs were seen by me and I believe the general consciousness as ok for the most part.

I’d disagree that vegetarian has “come to mean” lacto-ovo, unless you’re talking about a time before the late 80s, or a different scene than the uk.
This days? yes thats true.

Regards,

https://blm.telkomuniversity.ac.id
I’ve work in games and simulations for over a decade and it’s almost always algorithm choice that affects performance. A very common issue is storing a bunch of values in a list and constantly searching that list when a dictionary would reduce the Big O and cut down of thousands of value checks that have to be loaded into cache.
why though? by all accounts the video quality was terrible
It sounds like you are saying the courageous path is privately defying the consensus. It seems to me that courage is only involved when you are willing to do so publicly. I'm not saying that one should, but I don't think the cowardice/courage dichotomy is an apt description of keeping controversial opinions private.
Possibly this "PaLM + RLHF - Pytorch" project:

https://github.com/lucidrains/PaLM-rlhf-pytorch
I'm pretty sure the GPT model is huge and does not fit on any conventional GPU. Even if they open-sourced the weights, I don't think most people would be running it at home.

Also regarding the text limits, AFAIK, there's just an inherent limit in the architecture. Transformers are trained on finite-length sequences (I think their latest uses 4096 tokens). I have been trying to understand how ChatGPT seems to be able to manage context/understanding beyond this window length
The author sounds like they methodically tested their supplement intake until they identified the one that produced the change.

The fact that the symptoms returned after they stopped taking the supplements indicates the solution wasn't a one-time microbiome adjustment.

> Back in May the timing of the miracle suggested that one of Dr. Spray-n-pray’s pills was responsible. This was more or less confirmed when I weaned off the various pills and the subtle grossness around food started to return. I could also feel growing sugar cravings. So it was important to figure out what the miracle pill was and get back on it immediately.

> I made a spreadsheet tracking the changes as best I could – when my diet changed (using grocery order data), when I’d started and stopped which pills.
I don't remember if Fall also talked about this; I only read it once, and don't remember too many details. But Anathem definitely did; here's an HN comment quoting it: https://news.ycombinator.com/item?id=14554765
This. I interpret "plant-based" as "plants are the majority of the mass of the product."
> subscription covers my anime pirating, even though I could never use their product for watching anything

This breaks down if the service allocates payment based on your usage. Presumably zero usage results in your money being split in some manner such as proportionately across all creators based on their own total play counts, whereas having some usage results in at least some of your money being split based on what you play.

I have no idea how this actually works. Purely speculating.
I bailed on all social media some five years ago. The most shocking consequence was how interested I became in people when I saw them in person. I had questions about their lives, the careers, family, activities and more. I suddenly didn't know everything about a person and had to ask.
This doesn't feel like a helpful response.

I understand that pixelfed is federated, but I still knew exactly what the commenter meant when they said they posted "on pixelfed". They meant they posted on an instance running the pixelfed software.

It seems like it was effective communication to me, and your correction seems both dismissive and unhelpful.
Not hard to believe. I honestly hope Apple doesn't get taken to the cleaners over this
I think this is potentially a good idea for a blockchain app. You could use the Ethereum blockchain as your backend rather than a database. That way you don't have to host it, and it wouldn't go down. You also wouldn't have to store usernames and passwords, users would just authenticate using their key pair through something like MetaMask. Users would also need to pay a small fee to send a transaction to update their post, possibly making their content more meaningful.

I only have this idea because the Ethereum "hello world" app I'm working on is something similar but even more reductive: just a single shared blob of text that anyone can update. I don't think it has utility, it's just to learn the technology.
In this age of more or less fully network connected devices, this kind of a setup seems archaic in the extreme, probably likely to be some hangover from the 70s or 80s.
The complaint is also available at https://archive.org/details/gov.uscourts.nysd.591590 - the pdf is https://ia601507.us.archive.org/26/items/gov.uscourts.nysd.5...

The initial part of the complaint:

1. Apple, Inc. (“Defendant”) manufactures, markets, and sells the Apple Watch, purporting to measure the oxygen level of a wearer’s blood directly from their wrist (“Product”).

2. The interest in blood oxygen levels extends began at least two hundred years ago hot air balloon flyers and mountain climbers needed to ensure survival.

3. Later, these groups included astronauts, pilots and divers.

4. The early devices, were used in a person’s ear, used light-based technology or
spectrophotometry to measure oxygen levels.

5. In the 1970s, a fingertip oximeter was invented that was easier to use than its predecessors.

6. For decades, there have been reports that such devices were significantly less accurate in measuring blood oxygen levels based on skin color.

7. The “real world significance” of this bias lay unaddressed until the middle of the Coronavirus pandemic, which converged with a greater awareness of structural racism which exists in many aspects of society.

8. Researchers confirmed the clinical significance of racial bias of pulse oximetry using records of patients taken during and before the pandemic.

9. The conclusion was that “reliance on pulse oximetry to triage patients and adjust supplemental oxygen levels may place Black patients at increased risk for hypoxemia.”

10. Since health care recommendations are based on readings of their blood oxygen levels, white patients are more able to obtain care than those with darker skin when faced with equally low blood oxygenation.

11. While traditional fingertip pulse oximeters are capable of measuring blood oxygen levels and heart rate, wrist-worn devices like the Product determine heart rate, as blood oxygen measurements from the wrist are believed inaccurate.

12. Algorithms designed for fingertip sensing are inappropriate when based on wrist measurements, and can lead to over 90% of readings being unusable.

13. Though one recent study concluded the Product was able to detect reduced blood oxygen saturation in comparison to medical-grade pulse oximeters this fails to recognize the failings of pulse oximetry in general with respect to persons of color.

14. As a result of the false and misleading representations, the Product is sold at a premium price, approximately no less than $400, excluding tax and sales.
Meh, I really like project based and not exams, but it depends on the subject of the class. Sure exams could be a do at your own pace study. But couldn't projects be the same way?
> If location based restraining orders can be automatically checked (automatically alert the police if this person comes within X distance of this other person) then keeping locations secret may become unimportant.

This is an unserious argument from a privileged and unserious person.

If the author had given this even the briefest of consideration, or had even a modicum of knowledge of abuse, stalking, or the criminal justice system, it would have been clear to them how such a system would inevitably lead to a carceral hellscape.

The author should hand his unlocked phone, location history, and audio recorded from his in-house microphones to a hostile police officer and see just how long it takes for them to find something actionable.

Some time in county jail, spending $10-$20k on an attorney just to (hopefully) get the charges dropped, and some time in court might disabuse him of his dangerous, deeply ignorant, and grossly misplaced faith in governmental authority.
Power consumption maybe, but RPI with a case, power supply and drive isn't cheap and a fraction of the power.
Very amusing that I found no mention of social class, and scarcely any of gender.

Vs. I'm rather sure the reality was "only press lower-class men". Professionals, businessmen, members of the clergy or gentry - back in the day, it would never need be said the press gangs wouldn't touch them.
> It seems like the key insight is that bookstores are no longer places to get books.

FWIW, this was considered common sense when I was in library school 20 years ago: that is to say, it was presented to us as a fact rather than a question. I don't think this was a unique or novel insight by B&N, rather a question of execution in the transformation of an already large company and, I suppose, the financial discipline to survive the competition.
Accelerando by Charles Stross has an even more prescient version where humanity dissembles the planets to make giant computers which end up being filled with sentient pyramid schemes.
What do you think an IDE has that a proficient vim user is lacking?
I'm not going to say it's "totally fine", but surely you can see why it's reasonable for them to detect the situation as suspicious. It's unclear whether OP was using a new or established account, but in either case they suddenly started adding multiple credit cards, each only for a single transaction. It's also unclear how many ebooks OP was trying to buy, but "so I started buying them one by one" certainly implies that OP added at least a half-dozen separate new cards in the span of a a few minutes.
Which was universally shitty way to live to all creators in world on average. Sure, top1% maybe lived acceptably, but majority just starved without proper business models. (it's not based on numbers, just a guess based on how humans lived centuries ago)
> And their use of the navigator icon for discover is also a play on an even older IG interface.

You mean the Safari icon, that is just a picture of a compass? Not sure Instagram can lay claim to that.
The existing solution needn't even be home built. I worked for a company that replaced one ERP system with another. It was a medical manufacturer, so in many cases the new system had to warp to the established government mandated business practices. Over time and over budget, you bet - they weren't finished with the transition when I left.
While I don't have a panacea for your problem, but I can absolutely relate. I'm currently working my first job after university and I have a similar feeling. At my job is iOS development, but I have a small voice in my head saying I should be doing something else – another platform and language, maybe ML and AI which I also studied.

However, I know that I am my worst enemy in this. I am paid well and above those I graduated with. There are different pain points with iOS development, but overall I like it. Except for the similar feeling, my current issues is being okay about still needing to learn a lot (being 37 I want to have a much higher mastery than currently), and also my current team which doesn't high standards.

Enjoying work for me is about two things; being good at what I do (and efficient!) and also being in a good team. Any job can be fun when you are working with the right people – but of course that doesn't always extend to every kind of job.

You started out the way I started out with learning IT. I did it because I wanted to play games. It became a profession (administration), but later on I wanted better jobs, higher pay etc. and decided on university. From my current situation I work from home, can work basically anywhere, and I enjoy a kind of freedom which is quite rare. I also have ambitions to become a consultant in the long run, make a few apps of my own etc.

I love what I do when I am good at it. No matter what I do the same issue will occur; drudging past being mediocre is painful and I hate it. Being 37 and wished I was only 25 instead (skill-wise after university) doesn't really help either – that is something I have to consciously be aware because I've had health issues.

Maybe I have become a bit jaded, but I don't expect work to be fun. I expect work to be meaningful mentally, engaging, and give me the lifestyle and freedom I want. What do you want from work, really?
Opining against racism is profitable.
Soon You’ll Be Able to Make Your Own Movie with AI
Are you aware of how oil production proceeds fund global terrorism and warlords? Guess you can't buy any gasoline, since some % of oil is sold on the market from warlords committing atrocities in their countries.

Did you know when you buy gasoline at the pump you're supporting a market which buys missiles for Saudi Arabia to bomb Yemen?
From what I've read here and other places there was a unique situation of:

1. Large holiday volume of flights AND a lot of cancelations due to weather happened at the same time.
2. Their software system was unable to recommend optimal next steps for flight crews because it had not been designed to take this specific situation into account.

Other airlines also had problem #1. But since they mostly operate on a hub model it is easy to tell their flight crews where they should go once the weather gets better.
>> This is of course correct as far as it goes, but it's not what this project means by "motivation" of a proof. Their concept of "motivation" is a lot closer to "what would your reasoning process be if you were trying to derive the proof yourself". In particular, this requires avoiding needless brute-force searches. (It's probably the case that some statements can only be proven via brute-force, but if so they're of course out of scope for a project aiming for "motivated" proofs!)

Hm, I don't know if I would characterise the search in SLD-Resolution (or anyway its implementation in Prolog) as a "brute force" search. To clarify, search in SLD-Resolution is used to find clauses whose heads unify with a goal and not to find proofs, or parts of proofs. It is also naturally implemented as a depth-first search because that happens to match well with the selection rule (basically, "always go left"). But Resolution in effect comes with its own "pruning" in that as the proof proceeds the resolution closure gets smaller and smaller, and so does the search space. There is also SLG-Resolution that basically switches semantics to breadth-first search and avoids left-recursions.

So the search is not brute force and dumb, like in searching a game tree. I'd say brute force in the context of finding a proof would be more along the lines of "here's a set of possible proofs, find one that works". But maybe you mean the backtracking, when you're talking about "brute force"?

Anyway I think I understand what you mean about human-like proofs, essentially. I think that's a completely different goal and motivation than actually finding actual proofs. In a sense, if I can draw an analogy to gaming again, it would be like trying to find a theory of chess, or go, that would work as a closed-form solution, instead of having to minimax and MCTS all the game trees. It's a more classic AI motivation: how do humans think (in this case, how do they prove things?) and why?

That's a great kind of motivation, if I'm right, and I fully understand its value. On the other hand, I think there's also great value in being able to mechanise the "boring" parts of a proof -and they are boring, if they can be automated away! - and letting the human brain do what it does best, which is express its ideas in a formal language. Resolution theorem-proving is great for this.

Thanks for the explanation. I think I get it a bit more now :)
This is absurd...
I know what you're doing, I think it's irresponsible to the point of madness: I think you're nuts.

You are on the Internet telling people how to kill themselves.

Reconsider.
It's not the worst case. You still need access to the local network the device is on as far as I can tell. Hopefully you can't do it from a web page...
Related thought: I've hoped that digital rights licensing would someday be improved similar to today's stock markets. The government authorizes a broker to setup a market and sell signed licenses (JSON snippets signed by the broker's key, who cares how it's implemented) for eg "1 person viewership of MOVIE_NAME", "1 room viewership of MOVIE_NAME".

Sellers place limit orders, buyers do the same and/or buy/sell at the current market price. There, you've solved the financing problem in a way that's compatible with every distribution mechanism, including existing piracy platforms. Yes there's an honor system problem, but that's exactly the level of enforcement companies have now.