skysight-inc/HackerNews huggingface dataset:
Canon EOS 4000D DSLR Camera(International Version)- 18.0MP APS-C CMOS Sensor,DIGIC 4+ Image Processor, 6.8 cm (2.7") TFT LCD, approx. 230 K dots, Full HD 1080p Video Recording at 29.97 fps ,9 Point Auto Focus,Dual,Up to 3 fps Shooting and ISO 12800, Scene Intelligent Auto, Instantly transfer photos and movies to your smart device, for easy sharing on social media or cloud backup, and shoot remotely with Wi-Fi and the Canon Connect app,1 Year Limited Seller Supplied Warranty
Canon EF-S 18-55mm F/3.5-5.6 DC III Zoom Lens - EF-S-Mount Lens/APS-C Format, 28.8-88mm (35mm Equivalent) ,Aperture Range: f/3.5 to f/38 ,One Aspherical Element ,Super Spectra Coating ,Micro Motor AF System , Rounded 6-Blade Diaphragm
SanDisk 64GB Ultra UHS-I SDHC Memory Card (Class 10) - 64GB Storage Capacity , Class 10 / UHS-I , Max. Read Speed: 80 MB/s , Min. Write Speed: 10 MB/s , Water/Temperature/X-Ray/Shockproof ,Built-In Write Protect Switch + USB 2.0 Memory Card Reader
58MM 0.43x Professional HD Wide Angle Lens (w/Macro Portion)- Easily screws on to the front of your lens, and instantly expands the field of view for breathtaking wide-angle photography, 58MM 2.2x Telephoto Conversion Lens- Easily screws on to the front of your lens offers a much narrower angle of view. brings you twice as close to the action, 58mm 3pc Filter Kit w/ Ultraviolet protective filter [UV], Circular Polarizer filter [CPL], Fluorescent filter [FLD], 58mm Tulip Hood
Camera Gadget Bag , 50 inch Tripod, High Capacity Spare Battery, Lens Cleaning Brush Pen, Lens Cleaning dust Blower, DSLR Camera 5pc Starter Kit- Lens Cap Keeper, Paging Zone Lens Cleaning Cloth, Screen Protectors, Memory Card Wallet
> And Amazon...I can never quite figure out why they show me so much content that I can't access

If you click the "Free to me" link at the top then it works pretty well for just what you can access. The filter carries forward if you then filter for genres.
Also seen at the very beginning of this video (where someone points out the flaws in Visual Studio, and people on Twitter assume he doesn't know how to use it): https://youtu.be/GC-0tCy4P1U
Which software do you work on now?
https://timesofoman.com/article/103697-vaccines-found-to-be-...
Interesting essay. I think the big blind spot for humans programming AI is also the fact that we tend to overlook the obvious, whereas algorithms will tend to take the path of least resistance without prejudice or coloring by habit and experience.
Guns are illegal in Chicago too.
He's right on both accounts though.
> Now they are ubiquitous

They were saying that back in the day as well: https://en.wikipedia.org/wiki/Why_Johnny_Can%27t_Add
Are there any data, if we talk factual?
Because I want the apps I use daily to improve? Of course I recognize I'm in the minority.
Israel uses AI drone swarm in battle to hunt down opponents with no human input
There is no better solution for the client-side web. getRandomValues() generates cryptographically secure random bytes in all current popular browsers.
Kiwi farms is the western equivalent of Chinese flesh search, where moral relativistic (corrupt perception of 'owning sus weirdos') mob mentality takes over.
How did you measure control over the world?
this is a poor analysis. different factions of capital frequently go to war with each other - always over the question of who gets to profit. (in fact, in the final analysis, these irreconcileable schisms within the bourgeoisie are a necessary, though insufficient, precursor to revolution.)

I agree with you that she will probably fail but I think that's more about this project moreso than whether this project hurts capital. remember, the true point of vulnerability of the system is the point at which wages are paid and profits are earned. labor must strike to starve capital because anything else can be recuperated and commidified.

lastly, yes, the intent of the law is to preserve existing capital, but as this board can attest, "existing capital" is a term constantly in flux, and laws change quickly to support the changing makeup of capital. otherwise, what has happened with uber would be impossible as governments fought to protect taxi companies - this happened but now uber no longer resides in a gray area. you'll note that what actually happened here was that finance capital extended it's reach and no new capital was actually created - it merely changed forms. that should also tell you how scihub might go from blacksheep of the bourgeois family to darling, especially once it's purchased and brought under the aegis of existing capital entities. however, for this to happen, Alexandra must play ball with investors, the legal system, etc., and as she has thus far resisted doing so, she will likely fail. projects like hers must either have secret and undiscoverable provenance, or be so distributed that legal force can only be brought to bear on a multitude of actors of no significance to the operation of the project - the hydra with many heads.

so it's not legal tenets I look to but rather an analysis of capital itself.
Twitter provides a platform for people who would otherwise have no media representation. A lot of news regularly breaks there and a lot of discourse that the regime is unable to control, also happens there.
It is as critical as any "free press" in a country like India where the regular press kow tows to the regime and the country is ranked at 142 for press freedom.
https://rsf.org/en/india

You take it away and you take away more "free press" from the citizens of India.
> Gimp...at least as good as their commercial pendants today

I see it a bit differently. I think the tech is as good as, but the UX...not so much.
Would love to hear what other testing techniques people use for machine learning? Are there great testing frameworks out there that people use?
I feel like this is the tech comparison equivalent of straw-manning.

Take xrefs for instance. They say that the Markdown is:

See [Usage](#_usage).

<h2 id="_usage">Usage</h2>

and that the AsciiDoc is:

See <<_usage>>.

== Usage

I mean, clear win for AsciiDoc, right? So I Google "cross reference" "markdown and get this SO post as the first hit: https://stackoverflow.com/questions/5319754/cross-reference-... – 802 point answer saying to do this:

Take me to [pookie](#pookie)

<a name="pookie"></a>

I just switched my blog to Jekyll recently so I checked to see what Jekyll does to section headings under the hood (you most want to turn section headings into anchor points, no?) Turns out it automatically turns `<h2>Usage</h2>` into

<h2 id="usage">Usage</h2>

So clearly Jekyll does the right thing out of the box. Then all you have to do is:

See [Usage](#_usage).

somewhere else. What I'm getting at is this. Don't pretend your competitor is lamer than it is when doing comparison tables because it'll disincline people to check you out if they find out you've done that. You should steel-man your competitor and _still_ beat them. FWIW I think that Markdown (and its variants) always try to choose a syntax that aligns with how you'd write idiomatic non-HTML text-only styling. I mean compare the unordered and ordered list examples. Markdown chose right, AsciiDoc chose wrong. Objectively speaking, you'd choose the Markdown way naturally. I grant you, sometimes the choices are a little forced but what are you going to do, eh?
Show HN: Solvy – a micro-app for simple calculations
No. I am on HN to get downvotes when I point out that Peter Thiel is a douchebag.
This creates the weird scenario where using the Kaspersky product to create unique passwords + a leaked database would be super bad because the created_at value of the profile would give you a good indication of when the password was generated (in my case usually less than 60 sec before)
> [..] not actually learning and boils down to storing and regurgitating [...]

Some would say that pretty much _all_ learning involves "storing" and "regurgitating".

Aside: my daughter started writing out her name at kindergarten a couple of years ago. One of the staff seemed a bit dismissive of this, and claimed what was happening wasn't really "writing" it was "merely memorising the shapes of letters and then reproducing them in the right order". <rolls eyes>

I didn't bother to argue...
Actually nothing surprising, with a time penalty. Anyway, it seemed that the algo worked well, it needed just few millions iterations.
> B is for Basic, not funding your passion projects.

This petition is explicitly about giving everyone a middle class lifestyle for no contributions.

People are quite content at middle class lifestyle.

We're not talking "struggling artist" here, we're talking "yeah, I'm doing quite well. Haven't quite decided what my book will be about yet, though".

Like the parent comment said, we're already failing at funding social security even with the classical age pyramid (which is disappearing, by the way), and now we want to expand that to not just seniors but EVERYONE?

It's just completely unworkable.

For the other things you mention, yes we do have a bunch of social problems. UBI is not the answer, or at least isn't the answer in the form this petition asks for. Two things are ridiculous: the "U" in UBI stands for zero means-testing, and in this petition made explicit again. The second is that middle-class is just way too high to aim for.

I'm in favour of more spending on the poor and homeless, even when it's not "fair". I'm even for less "punishment" and more "rehabilitation" for crimes, even when it's not "fair". Society is better off if (hyperbole alert here) criminals are rewarded for their crimes by getting education and support, than if they're stomped on.

But the idea of UBI (as proposed here) is broken on every level, with society-ending first and second order effects.

People add value to society because they get "social credits" (aka money), that they can then use to better their own lives or their causes.

If you remove that aspect then people will do what they want, not what needs to be done or is valued.
I wonder what happens when a robot gets physically stuck in the middle of that grid. Do they have a trolley that humans can use to skate over and dislodge the offending device?
> It allows you to reuse code but does not require the re-user to allow the above mentioned openness

That is the dogma, but in practice it is false. Khtml was GPL, that didn't stop Apple from forking it in such a way that their changes couldn't be reused. In practice many who change BSD software find it worth while to contribute their changes back - so they can continue to use the latest version instead of maintaining their own fork.
The critical info we are still missing: Effectiveness against long Covid.
I usually listen to radio.garden, there are many stations on there that work for me.
I have already said that it is incorrect from the perspective of the society-wide accepted version of English. Not from within the dialect itself.
>> These tools typically get stuck as soon as one needs to deal with non-trivial loops or recursive code, because it's not clear how to "synthesize" the correct loop invariant or inductive hypothesis; in particular, this cannot be done "compositionally" or "step-by-step" as in the simple case OP demonstrates.

By "inductive hypothesis" do you mean the inductive case in a recursion?

If so, I'm curious, why do you say this? My experience is that the problem with learning recursion is constructing the "base case", particuarly when there is no example of it. Do you have specific examples where the inductive case is hard to find when learning from specifications?
For a second I thought this was going to be about the Scissormen[0] (whose name I misremembered), who are meta-fictional villains from Grant Morrison's Doom Patrol run that... well, it would take too long to explain, but luckily someone made a blog post[1][2].

I guess I could try to come up with some tenuous connection between the two, with erasure and censorship, and also with dadaism being, you know... French... but nah.

[0] https://dc.fandom.com/wiki/Scissormen

[1] https://www.agonybooth.com/the-doom-patrol-19-and-20-crawlin...

[2] https://www.agonybooth.com/the-doom-patrol-21-and-22-crawlin...
I like how games typically handle this; if the application crashes a dialog appears asking if you want to send a crash report, and often tells you what's included in said report.
I love cargo. That alone almost makes it worth it to me after years of wrestling cmake and dependency compilation.
I agree. The approach I'd like to see is, standardizing on some kind of DO_TRACK for convenience [0], and then doubling down on legal enforcement of opt-in telemetry. Project owners should be incentivized to seek consent, by threat of legal action from data protection authorities - and then, standardizing on some sort of DO_TRACK flag would be a no-brainer for them.

As it is, letting the industry standardize on a DNT opt-out is just making telemetry more established as a standard practice, making it harder to argue that it should, in fact, be opt-in.

The problems we have with tracking on the web are in big part because it was an established practice before appropriate legislation against it was drafted. In the CLI space, we have an opportunity to nip it in the bud, because it's not - as of yet - standard practice for console tools to silently spy on you.

--

[0] - And while we're at it, standardizing on a browser-provided consent UI, instead of each site providing its own, with its own dark patterns. It's the same idea.
And? Turbo and Borland C++ also had their off-the-shelf C++ runtime to fit into either 64 KB COM files or up to 512 KB memory space with EXE.
Remained how "strong"?
Show HN: Created our first space mobile game (teaser) – made with Godot Engine
Just because you are using E2E you don't have to make it blatantly obvious.

Backdoored E2E (with an added government decryption key) will look just like proper E2E until you attempt to decrypt it.

You can also put your secure E2E communications inside backdoored E2E communications. The possibilities are endless.
Chose Bitwarden as well. I like that it's open source. I've heard good things about KeePass as well.
> This literally happens every goddamn time. Natural explanation is simpler.

NO it doesn't. Just because some theories LATER turned out to be wrong does not mean that we automatically dismissing this or that theory. It really doesn't matter if the "lab leak theory" is later on definitively discredited. To me thats not the point. The point is whether or not there was any justification for not only ignoring but actively removing it from discourse urgently as was done at a time when no one knew anything for certain.
Sufficiently advanced technology is indistinguishable from nature [video]
Funny, the browser I use (Vivaldi) has all these features added only about a month back.
I think there is useful discussion to be had as to why DNT failed. IMO it’s largely because people approached the problem from a purely tech-oriented standpoint and ignored any differing ideologies and incentives at play. An allegory to this project could be drawn.
> If you are going to develop kernel because it uses cool new language but you would not if it was still C, you are probably not the right person.

You are taking this the wrong way around. It's not about people contributing to $PROJECT because it uses $COOL_TECH, it's about people being turned off from contributing to $PROJECT because of $MEH_TECH.

If Linux was written entirely in assembly, we'd be having the same argument about the introduction of C.
If your model is "even encryption isn't good enough" then you might as well not care because there is nothing you can do to protect it.
Not sure where he's been, but as far as I can tell from Google, they're not that uncommon, at least in Norway. Own experience is also that most people seem to have a separate freezer in addition to a fridge, so there's not always a need for a combination of the two.

Most of the things he mention doesn't really hold truth, at least not where I live. Go outside the cities, and you'll find plenty large houses. As for AC and pools...parts of Europe doesn't really need the first, and the second is also kind of luxurious, at least to me. I've got a 5 minute walk to a fresh water beach when the temperature is high enough, and when it's not I really don't want to be in the water outside at all...
Perhaps all AI eventually figure out that humans are the REAL problems because we don't optimize, we lust and hoard and are envious and greedy - the very antithesis of resource optimization! Lol.
Isn't this exactly what we would expect? It's more or less similar to what probably happened with the flu in 1920. New flu variants were still popping up, but they weren't like the 1918-1919 type, and the mortality rate was much lower. Plus, I recall being told before the vaccines showed up that they would be better at reducing mortality than at eliminating getting sick at all.

Now, if you thought you were going to just stay in hiding and neither get vaccinated nor get sick, and just wait it out, well that's not going to work (and was never a good strategy). Covid-19 is the new flu, it will always be in circulation, but just get vaccinated and get on with life.
AFAIK, there is no India dev center. Just operational centers which oversee the operational and support work done by 3rd party organizations.
"We'll use the huge amounts of data that we gather to understand what customers are most likely to order"

Were regular Ocado users and its been a life saver during the pandemic - but - we have noticed that we keep ordering the same produce each week, the amount of new items is minimal compared to when we used to go into the store. Yes they suggest things but the suggestions (for us) have been poor whereas in store we would tend to try more new things. This may just be us and the algo works better for others but I think it should there is still much room for improvement in recommendation algos and there is a discovery challenge with online vs offline for groceries.
Static code analysis is not enough for C:
https://t.co/Pbo4iHqEub
OK, we can figure this out. Are movies still good? Let's take a poll! If you like or don't like movies, leave a comment, and tell us why. This is gonna be so interesting to hear what everyone thinks about movies!!
>'Evidence Strongly Favors The Lab Origin': GOP-Called Medical Witness Discusses COVID-19 Genesis

https://www.youtube.com/watch?v=pbbJaaMG7Bs
There is definitely something going on with Indian Govt and Twitter. When the farmer's protest was on its peak, on my timeline I saw Jack Dorsey's activity liking tweets critical and mocking the current govt. I was totally shocked by Jack Dorsey's passive behaviour - you need to model and exhibit non neutral stance especially when you are the messenger of the information. Needless to say, with great power comes great responsibility.

Jack Dorsey should stop acting like he is the sole flag bearer of the free speech in the entire world. Blocking Trump because he made calls for violence makes total sense, but passively liking and expressing your political likings and stance as CEO of twitter is is not cool & ethical. If you are publicly expressing your ideologies, god knows what goes behind the scenes at Twitter. I am just wondering what I will do as an employee of Twitter, if I doesn't agree with with the ideologies of my CEO and expressing otherwise. I am not sure ideologies is the right word, but I hope I get my point across.

I always give benefit of doubt where it's due, but Twitter has definitely something sinister going with their Indian Operations. If Indian companies goes abroad they are expected to follow local laws, and if Twitter wants to operate in India it must give way to the law of the land.

Additional Context: Twitter user of 12 years, NRI with no political leanings at all.

One of Twitters recent mishaps: https://www.indiatoday.in/india/story/twitter-drops-removes-...

EDIT for clarity
Just to clarify: Since elm-review is a static analysis tool separate from the compiler, you can run and compile your program just fine without having to handle all the dead code warnings (which elm-review is actually very good at detecting https://jfmengels.net/safe-dead-code-removal/).

I myself personally tend to run elm-review when I'm ready to make a PR most of the times.
whomst among us doesn't love a vampire that mainlines the blood of teenagers?
“The latter being when the training or test data follows a different distribution to the in-operation data”

This form of ML bug is the most challenging to catch. The true in-operation distribution is often unknown which makes testing for such bugs a very challenging problem. Any thoughts on this?
I’d like to get into Go. Is there a good website venue for Go, like https://lichess.org for chess? Many thanks.

E: Link format
Its also tv's longest running sitcom.
Can you give some example titles to illustrate your points?
Math teaching has never been successful. Nobody knows why we do it. The parents all learned it the old way, meaning that they got good test scores but did not retain any useful facility with math beyond their obligatory high school and college courses. A few people who managed to carry math to the level of being an art, like painting, probably can't tell you how or why that happened.

My kids did lots and lots of drill. But no proofs.

I struggled with math until we started to do proofs. Then it came alive for me. I loved sets. My school also used a series of textbooks in which some of the problems had no answer, and you were supposed to write "no answer." Those problems were a special rare treat that motivated me to do all of the problems.

For most kids and their parents, math functions as some sort of diligence / obedience / IQ training that they hope will get them into a better college and job before it is forgotten.
Hey, we have a vaccine at least. If you feel like this make use of the fact that you cannot do much by yourself to change the situation. Sit down, avoid the news and let the world do whatever :)
> This individual received hundreds of vile messages and his contacts and family members were harassed.

Yet there is no proof any of this happened. If le evil 4chan hackers truly did any of this, wouldn't you expect his personal info with telephone number to be posted in the 4chan threads?
1. Modern standard toolchain

2. Ergonomic use of functional idioms like sum types (Rust's enums)

3. Memory safety without GC overhead - Windows, Linux, curl, over and over again 40% of vulnerabilities in larger C projects are found to be preventable if there was a memory safe language
>If you're fighting a shooting war and you have an explosion in a munitions factory, you don't necessarily decide to stop making munitions

What an apt analogy!
Amen.

GitLab: every thing but each thing is just okay

GitHub: some things but each thing is great

Bitbucket: some things but each is just okay
Yeah, ELT is really pretty simple it gets hyped up too much as being super innovative. DEV time is expensive so optimize for it instead of saving CPU cycles / disk space.

Instead of trying to save space in your destination app by filtering data and only pushing what you need into your Database/Datawarehouse (Snowflake, Redshift, Postgres, MSSQL, etc) throw all of your data from your sources into the Database. They are super fast and storage is cheap. The expensive thing now is DEV time so optimize for that.
Look, I get that they existed to be gawked at by the upper classes, and all, but. If anyone here is looking for a garden druid/hermit, I would be more than willing to build the barrow, as long as your estate is such that I never have to actually see you. Feel free to gawk all you want as I collect various plants from the area, just don't talk to me.

In all seriousness, that now sounds like a very 'wow look at how out of touch rich people were' sort of thing. . . . That I absolutely could see being a thing today.
Yes. What I like about AI research is that it teaches us about all the things we take for granted, it shows us just how much of meaning is implicit and built on shared history and circumstances.