skysight-inc/HackerNews huggingface dataset:
BTW, since I just realized I was insufficiently clear about the Coq example, I should clarify--in a dependently typed language, synthesizing the right type can actually require synthesizing a well-typed term (this is where the dependency comes in, after all), so it's not generally easier to synthesize types than terms in such a language. You need a sufficiently complex dependently-typed program for this to start separating itself from "ordinary" difficulties with type inference in practice, but when you start playing around with indexed vectors you run into situations like this a lot--cases where you struggle to even be able to write down the thing you're trying to prove, because the type is only well-formed in a particular context and you need to essentially prove to the compiler that you are in such a context for type inference to remain decidable.

For example, to write down (not prove!) an equality between two vectors indexed by their length, at least in Coq (and other type theories without extensional equality, which is in general undecidable), you have to first show that they have the same length--otherwise the expressions are not well-typed. The length can be any well-typed term of type nat, and like I said before Coq is far more than powerful enough to express Peano arithmetic, so you can see already that synthesizing an equality type between two vectors is just as difficult as proving an equality between two natural numbers, so it is very much undecidable in general. In fact, it is quite difficult to write down in practice even in some surprisingly simple cases! The actual proof term, however, is usually something like a pattern match on some other equality followed by the creation of a function that pattern matches on another equality, etc. down the line, until it returns the unhelpful constructor `eq_refl` (which basically just says `x = x`). So all of the interesting work in such cases has transferred to the type system, with the proof term basically just there to perform type casts and coercions.
Warning of systemic risk from private sector offensive actors
>Pedestrian crossings in Paris really are a leap of faith, you just have to be assertive and walk out hoping the driver isn't looking at their phone, otherwise you'll stand there for hours because no-one will stop for you.

Which, I guess, is why I felt so comfortable while in Paris. Exactly the same is true in NYC.
Around 5 years ago I wrote something very similar, for the same reasons as you. It was never intended to be more than a proof of concept, but I've ended up using it most every day.

Mine is web based, but all implemented in the front-end; no data is ever sent to the server.

I was debating whether to post the URL, because I don't really want a bunch of people to start depending on it the way I do (I have zero plans to maintain/improve it). But I feel like there may be sufficient interest. So the URL is in my profile for the next 48 hours.
2018 is now. Such lawsuits don't get filed overnight. States and DOJ have probably been asking for docs for quite a while so they knew it was coming
FWIW Planar makes 27" monitors that use the same 5K and 2K panels used in the iMacs, down to the bonded glass surface. The Planar IX2790 and PXL2790MW respectively. I have the PXL2790MW and if you look closely you can see the glass peephole for the nonexistent iSight Camera. Not sure if it's B grade panels that Apple rejected but it's flawless, maybe I just got lucky.
I have the Elgato 4K and the Sony a6400 and my computer (NUC8 running Debian) does not overheat.
Ask HN: Recommended Low-Code Platforms and how ripe are they?
I really want low-code to work. Where are we at? What tool should I look into?

I feel like basic web CRUD works, but as soon as you want to use a real API things get tricky.

My current requirement I don't see easily fulfilled (it's ok if this part is code):

- let me authenticate a user against twitter

- and use the twitter api with that auth

- digest the response from the twitter api

- do a bit of regex to filter or sort tweets or any list
I was surprised to find out the Ultrasharp series includes monitors with 6-bit IPS panels. Rather noticeable, even in desktop use. Previous to that I often told people to "just buy an Ultrasharp of a size you like".
www.kurokesu.com is quite interesting.

Sells sensors or kits to convert existing Logitech cameras, and filters/lenses you can add to them.

It's niche - but sits between an off the shelf webcam, and lashing a 'proper' camera to a USB socket.
Treatment's a matter for a public health service rather than other researchers though, right? There's not much science in another group of researchers taking over to test how penicillin treats syphilis; that's already settled. Access to the affected patients would then be a legal matter - the records would be seized by the police and/or prosecutors and that's a very different kettle of fish to the original example.

For what it’s worth, Tuskegee just happened to be the ethical failure that came to mind because it's been in the media recently (in the context of "why do PoC have reticence to take vaccination", i.e. for COVID-19). There's plenty of other examples where the damage was irreparably done [1, 2] where it would be questionable to hand the participants' personal information over to another group of researchers for further study.

1: https://en.wikipedia.org/wiki/Unethical_human_experimentatio...

2: https://en.wikipedia.org/wiki/Study_329
>Even if I think that 4k is not needed, I’m pretty sure it’s really a requirement to have in an upmarket webcam, as it will be really hard to sell a pricey webcam that can only do 1080p.

4K is absolutely not needed. You won't be streaming 4K from your home or average office space anyway. Our pipes are just not that fat yet in upstream direction.
I just completely don't understand your point. There's no misleading advertising here - the resolution is exactly as promised ,at the size promised....what's the problem? If the resolution isn't high enough for you....then buy one where it is? There are 5K monitors out there, maybe even 8K? Or just get a 4K one but in a smaller size?

I'm so confused by your comment.
It's only an act for so long. If it ever was an act.
if the salary you are getting sufficient, then they are taking a lot more risk than you are. most startups fail, as long as you are getting paid an amount that is sufficient for goals and are working on what you want to work on, you are taking on minimal risk. And most startups that do well, the employees do also do well (not necessarily as well, but they also took on less risk).

A startup that sells for 250 million after raising 300 million, did not do well.

A startup that basically went bankrupt and had to be recapitalized after you left, did not do well.
Google needs to start penalising sites like Reddit for this crap.
Shouldn't we have found microplastics in large land animals (e.g. meat) long before, and shouldn't that have raised the necessary questions?

Or is this microplastics from cosmetics?
That's an interesting and informative comment, but in the strict sense of how "program" is spelt in the UK in the intended meaning here, ultimately just background information.

The American origin (which I'm well aware of) has long been the standard spelling in the software industry in the UK.

The spelling in the document - insofar as computer programs are intended by "programme" - is awkward at best and wrong at worst - even in the UK - and that isn't going to do them any favours in flagship documentation.

It's probably just an unfortunate oversight after a spelling checker automatically corrected the text to local spelling without context, or a (fair) assumption was made by the author if they are new to software terminology in this case.

Or maybe they are really clever and are intentionally misspelling it on the assumption their target audience are high flying execs, journalists and money raisers who are also unaware...
Just append the region identifier to the model number. Internally they clearly need to track the products separately, and you don’t want people getting the wrong product accidentally.
Brain Implants Enable Man to Control Two Prosthetic Limbs with “Thoughts”
Cities with the Highest Rent-to-Price Ratio
In a real crisis situation your error rate is 100%. This is the same for trained professionals as well as complete laymen, when you're in a life or death situation your own pulse shoots up sufficiently so that you won't be able to tell whether it's your own pulse or theirs. Pulse is irrelevant, if they're not breathing or unresponsive, you start CPR.
Apple had a lot of problems with overheating. The i9 version of MacBook especially, it throttles under slight load.
Yukon gold miner unearths a mummified Ice Age wolf pup
Not to be confused with Ripple (payment protocol) invented by Ripple (Ripple Labs, Inc.) which trades Ripple (XRP).
Thai man revives baby elephant with CPR after cycle accident
That is essentially impossible with the high constitutional requirements for amendments and the current extent of polarisation and constitutional hardball. Even for things which are almost objectively broken: the electoral college, for example, has never worked in the way the Founders anticipated and no-one would dream of writing a similar system into a constitution today. So talk of amendments is pretty fantastical, regardless of the merits of the second amendment.
It also makes it possible for big electronic stores to give price guarantees as the webshop undercutting them has monitors with a different product number.
If you're building a dashboard-like SPA it's not really suitable, because every page is its own component, so you can't do nested layouts or routing.
The problem with this very popular assertion is the assumption people abstract to remove duplication. They don't.

They abstract to operate on a higher level of thought. I.e Business policy not networking code.
I am yet to see a single monolith that doesn't deal with exactly the same issue itself.
The crimes we commit give insight to society as a whole. It tough to imagine that this is only about targeted advertising.
An ad hoc solution is also a no-brainer in Haskell. They didn't need to read a paper to solve this issue, they did because they wanted the fanciest solution that is extensible in all dimensions.
Here's another unpopular hn opinion.

Don't, go learn past technologies instead. People leaving school for tech in 10 years likely aren't going to have stood up servers and configured services. We'll be lucky if they've used anything that isn't a web gui on a large cloud operation. Rad Hat has already signaled it is going in this direction by tossing out their EX300 exam in favor of the EX294. I believe we will continue seeing such a trend going forward. There's going to be a growing need and shrinking availability of competent sysadmins over the next 10 years if I had to guess.
Rodney Dangerfield's First Economics Class
Honest question: If you send it on the email without storing (just sending appending the $password variable to the email body), what would be the problem?
Or, you know, actually don't like the privacy-breach-for-profit business model and their arrogance?
> Despite having dealt with dozens of road traffic accidents involving humans, Mana said the elephant was the only victim he had managed to revive while performing Cardiopulmonary resuscitation (CPR).
Homosexual, bisexual and lesbian are sexual orientations. Transsexualism is not. There’s at least a coherent argument and a worthwhile discussion that bundling trans in when it has nothing to do with LGB is diminishing to both groups, thus is homophobic (and transphobic). Don’t trans people deserve their own cultural identity?
I mean, when your entire post is a rant it's hard to converse reasonably ¯\_(ツ)_/¯

If your problem's with Tuskegee specifically (and at no point did I compare your alcoholism study with Tuskegee, that’s a straw man), there's plenty of other ethical failures I've referenced in sibling replies where it would also be problematic to hand patient data to a separate group of researchers, no matter the good intentions.

My original point, since it seems to have been missed, was that no matter the failings of the original study it would be problematic to pass patient data to a third party without a legal requirement to do so.

With respect to my disregard for what a judge says, if your basis for ethics is "if it's legal then it's fine" then you're definitely in cloud cuckoo land.
Not sure there was a correlation. What makes you think there was?

They were all pretty popular ideas though.
Yeah, a cheap 1440p as a student was certainly a great thing when they were still rather expensive, even though the base was wobbly as all hell and it later developed some issues.
Google employees themselves can't crack it at Google, the company's retention rates are a joke.
Don’t Think, Just Defunctionalize
You push the data from all the microservices to a single data warehouse and do the reporting from there - so all the aspects that modify the data are microservices, but the reporting is based on a data storage monolith.
In order to understand that ethicists aren't more ethical than normal people you need a course in ontology. We sadly lack courses in ontology in most curriculum.
Ahh the LG monitor from the Apple collaboration. It’s so great. So different than other monitors. Stable, reliable, solid. A great product. You can literally see how Apple forced their product tenets on LG.

Sadly, it’s not available anymore. I have one in my office but needed another one for home. Ended up buying an LG with the funny name of something 27UKi6716263 that looked similar on amazon. It’s so different... what a shame

EDIT: it’a not available in Germany
That’s the thing. It isn’t an ORM, even though it’s often used like one
Covid-19: Questions for the UK Government in consideration of the empirical data
How about the eXtensible Routing Protocol, or XRP?
I built something similar using Twilio’s video SDK https://github.com/rectalogic/spatia
Show HN: FOSS Quiz
> The point of having a gigantic 27 inch monitor is that you don't need to scale it

The point of using a High-DPI display is that you can use scaling without losing the screen real-estate. With 5K @ 27" you can get what looks like 1440p in physical UI element size, but with an increase in clarity, readability, and quality.
And you have said literally nothing against the deeper point the parent is making.
Microsoft, Google, Cisco, and others file amicus brief in support of NSO lawsuit
If your coins are 99.9% biased it means you are going to need more than 5 coins. Bias approaches zero exponentially fast as you add more coins, and in this case it means you'd need 1151 coins at 99.9% bias per coin to have a simulated coin with a bias of less than 55%. At 99% bias per coin you only need 114 coins, and at 90% bias you only need 11 coins.

The main difference between the tornado trick and the von Neumann trick is how well they work in practice. In practice, coin tosses have at least a small amount of correlation, which breaks the von Neumann trick and gives you sloppy entropy. In the degenerate case, you might end up with almost no randomness despite using the von Neumann trick.

In practice, coin flips in the tornado have a bias that is around 55% per coin, which means that 5 coins is more than enough to give you reliable entropy. The tornado trick is about trying to fit into the real world well, which means discarding fears of using coins that are 99.9% biased towards a particular outcome, since coins like that don't exist in common contexts.
Maybe they force them to shut it down for good?
Regarding microphone arrays, is there a good description somewhere online which explains the mathematics of picking out the sound from one place using a mic array?
I love how serious they are with Tux Kart. That was the prime example they could cherrypick.
Fun fact, the "non assistance à personne en danger" law was passed during WW2, when France was under the collaborative Vichy Regime.

It was to compel French citizens to help injured German soldiers.
It’s not just an abstraction layer over SQLite, or any database, for that matter, even though it is even often used and thus thought of as an ORM.

It does have a persistence layer, but it is not it’s persistence layer.

See https://nshipster.com/core-data-libraries-and-utilities/

> Contrary to popular belief, Core Data is not an Object-Relational Mapper, but rather an object graph and persistence framework [...] Using Core Data as an ORM necessarily limits the capabilities of Core Data and muddies its conceptual purity. But for many developers longing for the familiarity of an ORM, this trade-off is a deal at twice the price!

Edit: should have read the post before replying to comments ^^’
Yes, so often I ask if the seller can provide a "perfect" display, that is, without any artifacts on the display. This adds 100-200 CNY to the price.

There's a Chinese panel manufacturer called BOE that makes products competitive with some of the lower-end Samsung / LG panels.

I got one 15.6" 2160p external display with a BOE panel that offers 100% sRGB coverage. I can see a huge difference compared to my Dell Latitude laptop display.

Now if anyone can find a source of 55" 4K OLED panels, that would be the one ultimate display. Combine it with a VBO driver board and it becomes better than any smart TVs.
Excellent points, I’d add the counterintuitive:

* Pedestrian traffic - busier streets with more people mean less likely to be mugged vs the empty side street.
Right - but you fix the bug. You don't add a tolerance.
>1080 resolution at 30fps

lens the size of needle tip and example images looking like ass
You're suggesting Thai people loose their sabai-sabai "attitude" but doing so can not come without major cultural changes since it's rooted in philisophical traits. What you're suggesting is that, essentially, Thai people stop being Thai people.
This is a really well done hot take. It’s true, unfortunately. Everyone is in a race to the bottom.
> - braindamaged linking

I mean, it's simple, but brain-damaged?

> - "if (!pred(x) || a <= b && y)" for "if not pred(x) or a =< b and y"

I guess more parentheses would improve the clarity but your English translation suffers the same problem as the code

> the c pre-processor

> - a broken comment syntax (how do you comment out a region with comments inside?)

Use the pre-processor that you complained about

#if 0
...
#endif
Your new response includes the argument I pointed out was missing; rereading your original comment can hardly be expected to anticipate future fundamental additions...
I kinda agree and disagree at the same time.

It takes a lot of work to beat natural light coming from your window. If you have restricted budget and can choose the time when you record, this is a very good option that I always recommend to people I talk to.

On the other hand, when you do remote work you don't choose the time. Also, you will probably have other considerations for your desk placement. In the end it is much more important that you feel comfortable when working at your desk than to have good lighting in your webcam for your coworkers.

So, if you like to sit front to the window then sure, go on. But if that would make you uncomfortable then I don't think it is worth it.
Reddit is where nuance goes to die.

It's about who ever yells loudest. At a point I lacked the energy to keep using it, like I don't use social media or online dating. Life is very short, and they put you in a box at it's end. No one's box has their Reddit karma count on it.
Even if you have only 1 machine, you could deploy a reverse proxy in front of it (think nginx, haproxy and co). Then you can start your application on two different endpoints, and instruct your load balancer to go from one to the other. Nginx supports live reloading of configuration, I think that should work.
Have you try to use the max aperture, and let other enjoy the bokeh? ;-)
Not to be confused by Ripple, a Galaxy-branded chocolate bar made my Mars.
Generate a short, brandable business name using artificial intelligence
Hi all! Co-author of the post here and founder of Micro. Let me know if you have any questions. As always interested to discuss and get feedback. Cheers, Asim.
>So as a budget thingie it'll work, but Elgato's adapter is much better, of course.

I saw a video where Elgato Camlink opened up, is just a chinese card repackaged with the Elgato logo, 99% similar internally to the cheap knockoffs.

Can't find it again to link it to...
Styrofoam is probably easier to mount/angle appropriately for the use and may reflect more light - but the material doesn’t matter a great deal.

If you just want soft light, bounce it off anything you have on hand.
Webex does this. It’s alright, although there is always a bit of a feeling that non-camming participants have something to hide - be it a messy living-room, a pyjama, or a side-gig as property developer. This said, forcing webcam usage feels impolite here (UK), particularly (I’m told) for women, so it seems like, in moderately large companies, everyone just defaults to audio-only 99% of the time.
Review with actual footage made with this webcam https://www.youtube.com/watch?v=H5MfenW7EqA

Wow, it sure does look like quality webcam, the only thing someone might miss is custom lens with fancy bokeh.

Edit: Watched to the end, it does fake 1080@60 by upscaling 720 :( So still a good choice if 1 you dont need 60Hz 2 dont mind being scammed by a Taiwanese company.
Email sol@uiflow.com https://www.uiflow.com/ with your request and see if you can get on the beta.
Unless the title's changed substantially in the past half hour, 'signs deal with' doesn't imply 'powered by'.

Perhaps we're referring to subtitles on El Reg's web site -- but theregister.co.uk is renowned for (take your pick) biting satire / alluring alliteration / page-3 quality innuendo.
Maybe the words are running out?
I moderate one fairly active and one very in-active discussion groups.

The actual work is very similar, only varying in quantity.

On both groups, there are regulars, regulars with known triggers, casuals who might become regulars, and flamers. The regulars with specific triggers can be progressively discouraged.

The flamers must be stopped hard, or else they dominate conversation for days or weeks, making everyone else unhappy. You can give them a second chance, but not a third.
Dell sells some good monitors.

Unfortunately, you must select carefully any monitor that you purchase, and the cheapest models are unlikely to be good choices.

I am using 2 good Dell 4k monitors. One is 1-year old (U2720Q), but the other (UP2414Q) is more than 5-year old and it works as well as in the first day.
I write drivers for phones at Google. Am I evil?

Is this worthy of social outcast?

Criticise big tech, but please don't let perfectly rational arguments turn into rhetoric.
I found Dyon last year by searching for a scripting language with lifetimes. After looking into Rust, I got the impression lifetimes were a part of the type-system that didn't static typing per se.

You need to keep track where your variables point to and how long they do it, but what they point at isn't that important, at least in scripting.

Dyon seems to be a scripting language with many features for games, so it probably seems a bit overloaded for people who use stuff like Lua.
Isn’t the effect the same as having a second layer of encryption, i.e. a second master password that you enter on the client only, to unlock each password?
I failed a couple of FAANG interviews, and passed a couple others (working at one, now). I agree with the OP.

This isn't about being able to pass their infantile, gatekeeping interview process.