skysight-inc/HackerNews huggingface dataset:
> while constraining the search space enough for the synthesizer to give a solution.

Keyword being "a". Best solution? Most easily maintained? I don't know about that.

> In practice, it turns out these tests are good enough to synthesize methods from a lot of production grade Ruby on Rails web apps

Yeah, for some very basic stuff, you might have invented an overly complicated way of building boilerplate code.

Your argument is that the tests being incomplete make it tractable and this is an "advantage" somehow - I don't think this is such an advantage. The majority of "useful" tests either are stand-ins for what the language should have given you anyways (proper type checking), or they find and fix known bugs, e.g. the intersection of three features.

They rarely properly specify functionality, usually the best way to do this is writing the actual code. At which point, to properly specify your functionality in "test" form, you must write the actual code as a test. This doesn't provide much benefit, outside of having perhaps automated one side of a counterproductive process. You do save some programmer time, but writing the code is and was never the hard part...
I love how they are ready to change behavior of existing code and require opting into a compat mode. I wish this way of fixing things properly while having opt-in compat was more common. Too often we see aversion towards breaking changes for no obvious reason. If you don’t want things to break then don’t upgrade things.
I created an offline version of YouTube (for Mac). I use Downie to download videos I'm interested in (usually videos download in 10-30 seconds). Then I go to the web app and click play. Using a shell command, it launches IINA and starts playing the video.

I have a mark watched and delete button so that YT's algorithm still works to surface interesting videos.

Having offline videos allows me to watch videos like I couldn't before (even on a stable 1Gbps connection). I can fast-forward instantaneously and there are no ads. Subtitles are also downloaded and a thumbnail.

Another nice feature inherent of offline video is if you want to grab your laptop and go somewhere (I'll sometimes go to the park and eat), you don't have to worry about your video stopping because you don't have internet/need to tether.

The whole app is contained in one executable file (you'll need Ruby) and stores its data in the JSON files that Downie provides.

Screenshot and code: https://gist.github.com/ericboehs/79e7799829d86c3b84d449ad3c...

I've been using it for ~6 months. I've shared it with a few friends but I think I'm the only one that uses it every day.
But why is the Australian government so "police state" minded?

Is that really what the Australian people want? I'd guess they just don't care either way, but in that case why would the Australian politicians push for that? Canada has a pretty similar apathy towards politics but even then we don't see the government forcing Canadian citizens to implement backdoors or raiding the offices of a broadcaster. (Yes the recent C-36 and C-10 bills are pretty disastrous in that regard but they are very recent and face quite a bit of opposition)

It's such a peaceful country too, so the entire "hard on crime" policy does not make sense to me. Is it a partisan issue in Australia or is it something both parties agree on?
They don't let "just anyone" publish in a newspaper but almost all major newspapers allow voices across the political spectrum in the form of letters and op-eds.

That's what free speech culture is about. It's the idea that "everyone gets their say" and by disagreeing and arguing, we get closer to the truth. It's sad that more and more people are taking your view, which is that people can publish contrary opinions but there's no reason in particular to do so.
> Scaling a tree structured view is difficult as hell.

It's not that hard with so few comments, it's just a matter of UX philosophy. At reddit we solved this with the "load more comments" AJAX request and "continue this thread". "Continue" only happens when a tree gets too deep, and then is just sets the current comment as the top of the tree and recalculates.

"load more" happens after the comment limit was reached, but since it's AJAX it doesn't really take away from the viewing experience (and I think in new reddit it just auto loads when you scroll to it).

Here's the reddit code if you want to see it: https://github.com/reddit-archive/reddit/blob/master/r2/r2/l...

The main issue for HN is that it's static so when a node gets a lot of children, it breaks a lot of their assumptions and makes for very large blobs of HTML to display the tree.

Honestly it's probably a worthwhile tradeoff -- for the most part the threads here don't get so deep that it's a problem, and in exchange we get a super snappy website most of the time.
RTSP/RTMP are not to your liking?
Strangely I have lived almost exactly the same thing as the author (I had to check it wasn't me). The difference was that I bought the C64. I spent an unreasonable time connecting it to the wifi and I still haven't figured out the best way to SSH to my desktop.
Amazing that anyone would think that the kinds of things that actually get moderated-out would have somehow enriched discourse — as if humanity doesn't have more productive things about which to amicably disagree.
This accurately describes my experience using Google Search on Google Chrome on a Google Pixel 5 running the latest version of Google Android (for good measure, using Gboard). It baffles me that for a long time I couldn't even select text in the search bar without something going so wrong that my phone ground to a halt and had to soft reboot.
w3schools was useful when it first came out years ago. It's probably riding on its initial utility. I remember when the w3fools site was released later (https://www.w3fools.com/)
> Uh, we already do that. Fraud, defamation, uttering threats, false advertising, perjury, filing a false report, etc.

Sometimes I think "free speech" is a misnomer, and the common phrase should be "freedom of discourse."

Fraud, defamation, threats, perjury etc aren't really discourse. They don't serve ideas (and in fact, tend to do violence to ideas).

In any case, you're correct that 1st amendment and other free speech rights are not unlimited indulgences that excuse one from certain legal obligations to be truthful, or to not threaten. In spite of this, the US and most industrialized democracies remain remarkably supportive of freedom of discourse from a state perspective.
If you want to turn your home into a TV/Radio station, have a look at Audio Video Bridging[1]. It requires special hardware, but once you're set up devices can reserve bandwidth for their streams which will be prioritized by switches over other Ethernet traffic thus ensuring 100% reliability and sub-2ms latency accross 7 hops.

[1] https://en.m.wikipedia.org/wiki/Audio_Video_Bridging
I think you're wrong. The "increasing potential damaging effects" are only damaging to the current regime. The internet is just the latest iteration in a long succession of things that challenge the power of the elite and we're experiencing exactly the same blowback and propaganda that gets trotted out every time this happens. Even the whole "fake news" rhetoric isn't new but hundreds of years old. People with privileged positions, power and money are scrambling to widen their moats and shore up their positions against the rabble as they once again wrench the wool from their eyes.

https://www.history.com/news/coffee-houses-revolutions

https://www.britannica.com/topic/publishing/Printed-illustra...

http://www.beaconforfreedom.org/liste.html?tid=415
The Curry-Howard correspondence would like a word. Any time you write a program, you are also writing a proof.

Mechanized proof checkers leverage this idea to enable users to specify formal proofs as programs.
are you playing for google apps/gsuite for a custom domain? I have had no trouble getting live support that way. Ymmv
Observe HN posts for a while. You will notice, that whenever Goolge and their support comes up, comments are rich with experiences/anecdotes of people, who have been stonewalled by Google. Their support is non-existent. Having proper support would cost them lots of money. Same for their other big disservices like YouTube. How many people have been banned for non-sensical reasons and tried to appeal. It has become something of a common knowledge, that there is basically no support worth mentioning, at least in the tech circles.

Oh and don't think for a second, that using MS' alternative web products (Office 365) is much better. You pay for the probably buggiest office experience on the planet.
> foundational values of US as a country

> old country, where censorship was a thing. It is sad for me to see US going that route.

Why does this keep coming up? Nobody, absolutely nobody, is advocating for government restriction of free speech. That is the foundation of the US as a country.

Twitter didn't exist back then but newspapers certainly did. Town squares certainly did.

If the founding fathers wanted to say "if someone is speaking in a town square you can't throw tomatoes at them or shout them down", they would have.

Twitter moderating its content has zero to do with the foundations of America or censorship in other countries.
From my understanding of history which is probably incomplete, free speech is freedom from government restriction and prosecution, not about availability of information in the private sector. It boils down to the principle that we can't force other people to repeat your views.

Free speech as a concept has definitely been abused by people distributing mis-information. That's more of a modern problem as network effects and technology made mass distribution and co-ordination of mis-information affordable outside of governmental organisations.

In terms of "extreme places", the Internet is pretty free from restrictions already. You can pretty much set up a website with content that's not acceptable on any of the large media platforms.
> What steps did you take to make it simple enough for your family to care?

I did the same thing as in the office - embarrassed or annoyed them (in a small way) by using their lack of security. I changed desktop backgrounds, "stole" £20, sent emails with promises like "I'll wash your car" to people. I'd follow this up with a lecture on "if I can do this, imagine what some dodgy foreign hacker could do".

Constructively, I pay for the whole family's 1Password and Fastmail accounts. I am the admin. I'm patient and understanding when they do something wrong. And I limit the number of people I help to those I can really help.

We have a WhatsApp group where they can ask whether something is dodgy. They don't use it for chitchat, so anything that comes through, I treat urgently.
Yep. I know a couple friends who've gone from computer stuff to other things and have fun coming back to developing projects again. Many good ideas developers alone couldn't come up with.
> when was the last time you sent (or received) an e-mail outside of the context of work, or to interact with a company?

This morning, a few hours ago.

> apple and google make the phones! my network provider is also a private company, too, they have no requirement to provide me a phone service.

No, there are plenty of other phone manufacturers besides Apple and Google. Just as there are plenty of phone service providers, both mobile and VoIP. If they are all blocking/refusing you service, that would be quite a story, and I might change my opinion, but I've never heard of that happening.

> millennials (my generation) aren't great at spontaneity in this regard. gen Z are even worse.

I'm a older/early millenial (Xennial to some people). I agree with you but I don't see how you'd ever be completely blocked from using a phone.

> private social media isn't the problem (although it is a problem). i'm saying that so much of our lives are very tightly embedded with a handful of private companies, and them having control over that isn't a great way to be.

I agree with you 100%. The way to regain control is not to use the government to force them to provide a platform to racists, it's to ensure that you disentangle yourself from their systems as much as you can. Make sure you have a plan for what to do if your Whatsapp or iCloud account is banned by an algorithm with no recourse.

Are irreversible algorithmic bans the best way for companies to operate? Clearly not, it sucks. And maybe there's room for legal solutions to mandate open appeals processes, etc. But the alternative of forcing companies to give everyone a platform is way worse, IMHO.
Well, it is optional at least. Nobody forces us to use it. I have one but barely look at it.
See also https://theoutline.com/post/2205/this-38-year-old-study-is-s...
Fabulous! That is a perfect production process. Thanks for sharing.
I guess they are forced to sale?
It's not quite that simple - not only can absolute free speech be absurd (a condition I don't really care about to be honest, untruth will always be prevalent), but it can be actively dangerous: free speech can include terrorist radicalisation, trying to convince people to join perform suicide bombings or shoot up churches. Much of the far right radicalisation in recent years has occurred in Internet forums.

That's not to say that the answer is obvious, but the current setup that we have where only the most egregious speech and harassment is explicitly banned and social norms are enforced by social pressure seems to work. I think a lot of people advocating for free speech are ambiguous as to whether they're arguing against explicit censorship or against social pressure, which can obscure the conversation.
I think he means this bit:

>you can either have ... In the real world those are your only two options
I think this only appears to be a contradiction, because your concerns apply at different scales.

You can reconcile the tension by insisting that the public utility platforms (e.g., Twitter, Reddit, YouTube, etc.) remain neutral with respect to non-criminal content, but give people the tools to moderate and curate speech at a more granular level (like subreddits, or tools to filter who you see on Twitter).
I don't agree with your claims, but they are beside the point.

His track record speaks for itself. I would certainly have far more confidence in Musk than the current leadership team.

Musk is at least competent in software engineering, aerospace engineering, and finance. It is hard not to see that as a strong indicator of an intelligence well above average. People bend over backwards to look past the glaring facts about Musk that contradict their biases.

Musk is hyper intelligent. Musk is one the most successful business people of all time.
It reads exactly like a typical ranty tech forum post to me. I think us readers may exaggerate the effect if those same words are put to front-page HTML.
Stripe's new one-click checkout product
So we're holding China, who's running a UN-recognized genocide against the Uyghur people, and who restricts travel and jobs on an algorithmic social credit score, up as doing something socially positive against algorithms, huh

There is no war in Ba Sing Se; we have never been at war with Eastasia
All: speech here isn't very free when the server can't stay up, and it's smoking right now, for obvious reasons.

I'm going to prune some of the top-heavy subthreads and possibly restrict the page size a bit. There are over 2500 comments in this thread, and if you want to read them all you're going to have to click "More" at the bottom of each page, or go like this:

https://news.ycombinator.com/item?id=31025061&p=2

https://news.ycombinator.com/item?id=31025061&p=3

https://news.ycombinator.com/item?id=31025061&p=4

https://news.ycombinator.com/item?id=31025061&p=5

...and so on. Sorry everyone! (Yes, fixes are coming, yes it's all very slow.)

Edit: also, if some of you would log out for the day, that would ease the load considerably. (I hate to ask that, but it's true. Make sure you haven't lost your password!)
> If your runtime takes it as a given that every string will be interned, there are all sorts of assumptions this enables which mutation invalidates.

Yes but if you're regularly creating strings, which is what Ruby web servers do all the time, then your intern table is going to become a white-hot hotspot, contended by all threads all the time.
Find out how to develop Amazon marketplace API integration easily and fast using a unified API
This sounds familiar... https://science.ubc.ca/news/new-nasal-spray-treats-delta-var...
CRISPR and HIV: New technique in human blood unveils potential paths toward cure
I liked Elon Musk better when he was less focused on a being a celebrity and trying to protect his effectively infinite stack of virtual cash. At one point he was worth $300 billion--today it is merely $265 billion. He could literally retire 100,000 times over (a comfortable middle-class $80k/yr lifestyle)--or maybe just 10,000 times over (comfortably in the 1% at $800k/yr).

Money aside, clearly that's just not enough for him anymore. He got sucked into the fame game and inevitably had to step on faces to keep climbing. And that made him a target, and now he's going to go punish those Twitter trolls like a baby with an enormous wallet.
This is the weirdest criticism to me. That teenager had a very popular Twitter account shared in a couple major publications, whose sole purpose is to show the world Elon's live location.

This is especially odd coming from the privacy maximalists at HN. How long would it take you to report a Twitter account that Tweeted out your live location daily? Be honest.

And then you use the word 'silence' which is far more ominous than saying that he offered the kid $5000 for what was about 15 minutes of python.
Preventing Cryptographic Failures: The No. 2 Vulnerability in the OWASP Top
Sounds like a good ol' curfew pass A38.
I've quickly played with it, and from what I've seen it's almost perfect for scripting, at least due to the following reasons:

* it can be linked statically, thus it should run on any Linux with a simple copy; (not by default, use `LDFLAGS=-static`;)

* it can embed in the binary the core library (and other libraries of choice), thus there is no need for other files to be installed; (this is not by default, but by using the `image.zuo` directly one can get this;)

* it has minimal startup latency, almost 2x lower than Python2.7, and many times less than Python3.10; (this is without the extra libraries embedded, with the extra libraries embedded it's still faster than Python2.7, but not by that a large of a margin;)

I haven't yet checked the available API, but it does seem to be quite enough for simple system related scripting.
nope not me.
Copper is very ductile (soft) compared to many other metals because it is molecularly arranged in a cubic arrangement, while other less ductile common metals tend to be arranged hexagonally or are alloys of multiple elements. The mono-elemental cubic arrangement has more horizontal planes. Horizontal planes of molecules can 'slip' past each other more easily, and in the electron soup that characterizes metal the bonds between those molecules can more easily "stretch" without breaking. This is why you'll find ceramics with a cubic structure that are brittle and prone to breaking in layers, rather than being ductile. It's also why metals are great conductors!

If you like this kind of stuff, check out introductory undergraduate level 'materials science' course materials! There's tons of lectures and educational content on YouTube and textbook PDFs are bountiful on the net :)
I use Artha on Linux, which uses the WordNet database. It's fast and convenient. My only issue is that I would prefer using a more up-to-date fork of the WordNet database as I don't think WordNet has been updated in a while.

http://artha.sourceforge.net/wiki/index.php/Home
We detached this subthread from https://news.ycombinator.com/item?id=31025740.

(Not for moderation reasons—simply to prune the thread so the server isn't quite as overwhelmed.)
It was submitted here by the author.
I've shipped multiple products that are backed by a SQLite database for core functionality (authentication, billing, and permissions mostly), and individual SQLite databases for customer data.

It has made it incredibly simple to downgrade and delete customer data when they request. The application kills the billing profile, and emails the administrative email for the organization a link to download and delete their data.
>Criticism of Putin can hardly be found except for the most extreme places (in some locations)

That's driven by government persecution, so not really what we're talking about.
Everyone here is talking about free speech and Twitter censorship, but I have a different take:

How do we know Elon Musk won't just ban criticism of him or his business ventures (Tesla / SpaceX / The Boring Company / Starlink / etc)?

We know that his claims of being a "free speech absolutist" are absolute bullshit, because the moment the speech is about him he turns to every trick in the book to try and censor it[0]. This includes firing internal critics of himself and getting dox on anonymous bloggers so he could threaten to sue their employers.

If Elon buys Twitter and makes any major changes to it's policies, it will be for the worse. I probably will delete my account at that point.

[0] https://www.businessinsider.com/free-speech-absolutist-elon-...
Ask HN: Bidding Strategies for a House?
I'm currently in several biddings for a house, I notice that some escalate very quickly 5-10k per bid but others goes + 1293.031, which can by a bit annoying to see:

e.g 500k current bid and someone bid 502.567

Are they any tricks that I can use like wait till last moment (which is particularly hard or the broker won't give you that info), or it's pure the guy with the more money wins
> There's lot's of sentiment out there that is being mistaken for 'nostalgia', which is genuine dissatisfaction with modern tools. That's why projects like suckless.org [2] seem more relevant every day.

Suckless (the org) is too elitist to produce software usable by non-power users, which is a shame, because these folks are for the most part excellent at balancing perfectionism and minimalism with pragmatism; they could go a very long way to help "fix" rampant complexity, but their complete disinterest in accommodating people who can't program in C will keep their projects irrelevant on the grand scale of things.
Any tool can be a weapon. Those communication media have also spread democracy and toppled dictatorships as often as they have been perverted by them. Crippling those tools only favors the people in power and those people will be tyrants sooner or later.
> Am I alone in this?

No: https://news.ycombinator.com/item?id=30855065

https://news.ycombinator.com/item?id=30811297

https://news.ycombinator.com/item?id=30771057
Erlang/Elixir + Rust is an awesome couple. For the downside you mentioned, depending on the use case, it could be interesting to use Rust as a node: https://github.com/sile/erl_dist
Have you tried StarDict? I'd imagine 2.4.8 probably runs on 2000 since it dates from 2006. There's loads of compatible dictionaries you can install.
If they ask Twitter or some other platform to derank your view and manage to convince the platform to do so, that’s an end result of free speech.

One of the main arguments for free speech is that you let everyone talk without government interference and let private actors decide what are good and bad ideas.

Everyone in this post who wants these public platforms to be forced to host all speech sound like what they really need is to have these platforms to be nationalized and run with government rules. What’s confusing to me is the majority of the people I see who want these platforms to host all speech are also in the same group that thinks everything should be done by companies and not the government