skysight-inc/HackerNews huggingface dataset:
I use Ada professionally and enjoy how expressive and powerful the language is in cleanly representing modular design and preventing errors. This is especially true with all of the features that came with Ada 2005 and Ada 2012.

I have no doubts about Ada or SPARK. I am questioning what is needed to make a new operating system design viable other than "it's written in Ada". What is needed to make an operating system that can be as good as or better than the POSIX-based operating systems that dominate computing.
You're concerned because you're worried if they violate the law they'll be held legally accountable? Isn't that the entire point of transparency / accountability?
I think the article is referring to commissions that her position is earning. Hard to tell though.
I understand the basic issues involved here. Both countries are doing very odd things when it comes to information and privacy. However, I feel like making this a "country issue" is really not exactly the right horse to ride on. Rather, I think it should be stated due to the security policies of these governments, we are banning them as information safeholds at this time or something of the sort. Then, the issue is LESS the country, and more the governmental informational policies.
All recent[1] non-UEFI (BIOS only) and UEFI/BIOS hybrid systems I've used provide BIOS emulation for both floppy drives (using USB floppy drives) and hard drives (using USB mass storage devices; e.g., I have MS-DOS 6.22 installed on an MBR-partitioned USB flash drive that I regularly use to flash firmware updates, etc.).

Pure UEFI ("class 3") firmware without BIOS support won't boot (32-bit?) XP at all; as for whether native UEFI drivers are typically provided for USB (or any other) floppy drives, I have no idea.

[1] Qualification because I recall having trouble booting from USB optical and flash drives on at least some USB-capable systems that predate XP, but haven't had a problem with USB boot on any system in at least a decade.
To add to that, outside of a few states, fertility rate is well below replacement level for most states.

The problem is that these rogue states have a) very high fertility (3.3 for Bihar iirc) and b) very high base population which greatly accelerates population
Sometimes saying the truth is unpleasant. But the fact is, these developers have no idea what they are using, or what runs on the users' machines. They bring a ton of dependencies and have no idea what those involve. If that is not incompetency, what is?
It apparently impacts one new hire.
Show HN: ArrayFire Haskell
:sigh: Interest rates are pinned at the zero lower bound by the central banks. They can't raise the rates without tanking the economy, because just about every country has massive private debt burdens in excess of 150% of GDP. Higher interest rates means higher debt servicing costs, which forces borrowers to delever, which reduces macroeconomic demand by precisely the rate of change in debt. When private debt is larger than GDP by 1.5x to 2x, even a small fraction of borrowers deleveraging results in a massive reduction in demand.

At the same time, the US stock market is at all time highs, due to $4 trillion dollars of QE (i.e. the Fed creating money to buy financial assets), making the filthy rich even more filthy rich. And the Fed can't reduce it's balance sheet without tanking the stock market, which would throw the economy, in general, into a tailspin. They tried, and now they're rapidly reversing that QT.

We're in a liquidity trap. And unless there's a modern debt jubilee or large UBI (or a world war), we're going to be stuck here for decades. https://youtu.be/Pfg04wJtz8c

As automation continues to grow, unemployment will grow and labor force participation will fall. The new jobs being created now are predominantly gig / contractor jobs. Worker's share of wages is at an all time low.

If you're in the US, take a look at Andrew Yang's campaign for president. The Freedom Dividend (UBI) is what this country needs in order to break the cycle.
IME, this tool is certainly an order of magnitude closer to the Holy Grail than anything I've ever heard. Kudos to Deezer R&D.

https://www.youtube.com/watch?v=KPlmrq_rAzQ
Strange that you run a service for finding engineers but posting ads for engineers here. Does your service not actually work?
Or just bribing people in “allowed” countries.
Additional app storage and the ability to store/download media in apps that support it.
If we think about it that way, what's the difference between value and price? Not much.

I think it's very important to consider value independently of money, and Van Gogh's paintings are an excellent example of that.
are you saying websphere is not rational ?
Paracetamol (Acetaminophen / Tylenol) should always be taken with N-Acetyl Cysteine (NAC).
Like they said, the two hard problems.
Bittrex Target of Latest $1M Crypto SIM Hack Lawsuit
The developer chose to use Electron, hence the entire endeavor is in their control.
While I'll be very happy if we stop bursting firecrackers (its not in the spirit of Diwali; I hate the noise; my dogs hate the noise), much of the pollution is because of crop burning. Because firecrackers alone can't explain why Moradabad and Meerut have the same pollution as Delhi
Impossibility of communication (because the very physical means necessary are way beyond our capacity as a species) is also a far more plausible idea than anthropomorphic beings (speaking some language that can be deciphered and uttered by humans).

An ocean-shaped or a polymer-based "lifeform", while formidably uncanny, are still somewhat fathomable.

What about a radio-waves-based "lifeform"? Or a star whose plasma interactions are so complex that some form of artificial "life" emerges within it?

Lem's narrative is indeed intellectually teasing. And, yet, critical of our approaches and behaviors as a species.
That is a luxury that very few companies can afford, specially on the desktop where macOS is not the predominant platform.
Does this apply to React Native apps?
> "We put the dot in dot-com" - ???

Yes, it's marketing fluff (as with any marketing), but I liked that one.

For all you tech people like me that have problems answering to non-techie family members what you do, I thought that was an example of a beautiful succinct answer that still conveyed enough of an idea to be satisfying to laymen.

As for one I really hated from Sun: "Java Desktop System", which was just a distro with GNOME, and had nothing to do with Java.
> population-related issues

don't we also have far more pressing carbon emissions issues though ? Isn't population decline such a bad thing. Do we really need billions and billions of people because its 'good for the economy'
Apple TV² is when you know they are getting serious.
Whatever symbols are found in the public header files in the /System/Library/Frameworks. Iirc, there are tools which look at a binary's used symbols and compare them to those headers.
Drive trucks
You've got the causality backwards. Low interest rates cause speculative investment. Good investments don't cause high interest rates.
Yes, I remember reading this in the book about building habits(?) I believe.
The standard PC peripherals will still work, and although you can only use one core, it's one core of a very fast CPU (relative to what was around when it was released and designed to run acceptably on), and gives you an idea how much "modern bloat" there is.
So never run Linux?
Meanwhile, wool dryer balls are fantastic low-tech solution to static cling!
It would be a PR disaster for Apple and the MAS to block Slack from updating its Electron app.
YC usually wants to see you invested as well. So there is the initial seed costs before you reach YC consideration level.
Apps and Games, genius.
Coder Cup
Hello,

We're building a platform for coding competitions with monetary prizes and interview fasttracks.

We believe that a competitive environment is an excellent way to grow as a programmer while contributing to a like-minded community. In particular, we're setting up questions such that once solved, a user is redirected to a chat room/forum and can explore what works better or worse with peers who've also solved the problem. Those who haven't solved the problem will be able to join the discussion once the problem is archived (i.e. when winners are picked) to see how others approached it. Think Project Euler but with a heavy emphasis on programming questions typical of industry.

We're accepting registrations for our first competition on https://www.codercup.org. Open to any feedback and thoughts from those interested.
So the goal is to smoke one cigar as slowly as possible, without relighting. I imagined it'd be like an eating contest, where you have 10 minutes to smoke as many as possible.

Their way sounds a bit less unhealthy.
I'm reading 'The Invincible' right now by Stanislaw Lem. Not only is it good science fiction but it's good fiction period. Really can paint a scene and make you feel like you're right there in it.
I think you meant Pandoc rather than Pandas?
Thirty minutes is a transit desert? Thirty minute walk to BART was considered central, urban, and transit-oriented by developers and planners alike in my old Berkeley neighborhood.
Could you elaborate on how you built this without code please :)
I am using postgraphile in library mode with keycloak and passport.js (an open source project https://www.keycloak.org/) instead of auth0 and it works great.
Depends on the type of workload.

In Cinebench or Blender rendering it makes practically no difference.

I updated my RAM from 2133 to 3200Mhz and it made no difference either for DSP audio processing.
Cloud providers actually use low TTLs to route traffic globally away from regional failures. You're not seeing that go away anytime soon, there aren't other options.
As a purely technical matter socialism--especially when juxtaposed with capitalism, as in the Pew Gallup poll--means government ownership of businesses and central planning of economic activity. The DSA, which Sanders and Ocasio-Cortez are affiliated with, do advocate for public ownership of businesses: https://www.dsausa.org/about-us/what-is-democratic-socialism...

> Social ownership could take many forms, such as worker-owned cooperatives or publicly owned enterprises managed by workers and consumer representatives.

See also: https://reason.com/2019/03/14/bernie-sanders-wanted-public-o...

> "I favor the public ownership of utilities, banks and major industries," Sanders told the Burlington Free Press in October 1976, at age 35

Given that socialism has been utterly discredited in Europe over the last couple of decades, groups like DSA try to obscure their views by equating socialism with the capitalist welfare states of Europe. But: https://mises.org/power-market/swedish-ex-prime-minister-reb...

> Prime Minister of Sweden from 1991 to 1994, Carl Bildt, took to Twitter to warn Sanders that socialism is not the key to creating a great society as he and Ocasio-Cortez seem to think.

This is not just a matter of terminology and semantics. Over the last 20 years, Europeans have aggressively embraced market policies. They're all aggressively cutting corporate taxes and capital gains taxes. They've privatized state-owned businesses and deregulated industries. Sweden has had school vouchers for decades, and the subway in Stockholm is privately operated. The tax system in Sweden is remarkably flat, and the tax burden is borne primarily by the middle class. (I.e. the middle class pays for its own robust welfare system.)

Those are not the policies espoused by Ocasio-Cortez and Sanders. Whereas Sweden has school vouchers, they're proposing curbing charter schools. Neither are proposing to privatize operation of New York's or DC's failing subway systems, to match Stockholm's model. Whereas Sweden's taxes are already less progressive than the U.S.'s (Sweden's top tax rate starts at $70,000), Sanders and Ocasio-Cortez are proposing to shift even more of the tax burden to the rich, while Sweden is cutting taxes for the rich. While even Republicans, much less Sanders and Ocasio-Cortez, are unwilling to touch Social Security, Sweden has moved to a partially privatized defined-contribution system. Whereas Sweden has a carbon tax, Ocasio-Cortez and Sanders are trying to address climate change through central planning. (The Green New Deal, for example, would involve taxing tens of trillions of dollars out of the private economy, and reallocating it to centrally-planned, government-directed economic activity.)

If you read through the Green New Deal, it doesn't resemble the market-oriented approaches of modern Scandinavia. It's all about government-directed economic activity, guaranteed jobs, etc. That's old-school socialism.
What an interesting link. Fun to explore how the graph changes between countries or regions. It's interesting that the % from cement is relatively small in the US.
Every manager fucked up in that company. The HR manager should have not brought it up. The manager and his boss of the employee should have been aghast at it and done everything possible to stop it from happening. That is not how you treat a fellow human being let alone an employee.
As parent mentions..

That only reflects the quality of people you tend to work with.

Wherever you worked, may be they were low in design maturity ie., without optimal ux culture. There would be 100 such places for 1 that has robust design driven product development culture.

Also, that place may be hiring poorly, which in turn reflects on the leadership of that place, and so on..
Needs more Tivoli.
Kafka Gotchas – Good, but Far from Perfect
we are working on it and this will be available in very next release
http://optout.networkadvertising.org/?c=1#!%2F
How many apps will I have to install to run out of space on my 32GB Apple TV? Curious how many people this has actually happened to...
Scrum in the Context of a Startup
Apps, e.g. games?
Reading the discussion, it appears this policy was due to a customer request, and not some legal requirement.

I wonder how the HN crowd feels about that? There was a lot of talk recently about how companies should not sacrifice their values and kowtow to the demands of large clients.

As a company that values freedom of movement and is remote first, this prevents their employees from moving to where they want. Does this also mean they can’t vacation there either?
I once read something about spies by lem, was really amusing
Most dryer balls also claim to reduce drying time, which is also untrue, although at least the claims are more grounded in physical possibility than the washing machine ones.
> why, as a user, should I pick an Electron app over native alternatives?

I'd pick the native version every time, but there is no native VSCode, Atom, Slack, or Whatsapp.

I use Sublime because it's native and I don't use too many plugins but a lot of people prefer VSCode.
FireO Make Life Easier for Google Cloud Firestore
FireO make life easier for developers when you are working with Google Firestore. Now using FireO you can create models and operate Firestore operation easily.

Read More how FireO useful https://octabyte.io/FireO/

Appreciate our work by giving stars to FireO https://github.com/octabytes/FireO
We don't actually know how to do those things. If we try to, we cause unintended side effects. Complex problems do not have simple solutions.
> nexdock + raspberry pi: world’s most affordable laptop!

> $229 (excluding the pi)

> Laughs in $100 ThinkPad.

Seriously though this looks great. And from what I gather it works with lots of newer phones, and can even be used as a second laptop display.
Yesss... The name Java Desktop System made my soul hurt. The funny thing though is it was an okay GUI environment. Conservative and thoughtful. It was 10 years late to the GUI party though :)
"Perceptual hashing" it's sometimes called.
Do American corporations love fanatical capitalism the same way jihadists love Islam?
Apple's WebKit is safe to compile for their stores. The scripts and macros WebKit has disables use of private API unless you are compiling against Apple's internal SDKs.

Edit: Sorry, no. Only JavaScriptCore is safe for stores, not the entire WebKit project.
This is the bigger thing for me. The CPU usage of many electron apps is through the roof. It's so convenient to use that I'll probably still make electron apps, but I'd love to see Apple and Microsoft partner with each to make both more performant.
Also, the Apple TV Movies app has a wish list which doesn't sync with anything.

And, sometimes when you search for a movie using Siri on Apple TV it opens in Movies where you can add it to your wish list, but sometimes it opens in the TV app where you can't. To avoid this, you have to go into Movies, then use Search, then use your voice to fill in the title, then it will come up in Movies where you can add it to the wish list.

And don't even get me started on having different Apple IDs that you need to use for iCloud and iTunes because btw, you can't merge Apple IDs. And if one of your Apple IDs is from the .mac/.me era, you can't change its primary email address.

But other than that it's great.
This is contrary to most of the advice in this thread, most of the folks here probably skew towards the highly skilled, and thus they don't really know what they know since it has been engrained into their muscle memory.

The syntax of a language is difficult to lookup, I don't know what languages are you are using, but I would say yes, you should know 95% of the syntax of the languages are you are coding in.

Furthermore, I think you should be able to switch between idioms in the language fairly fluidly, between functional, oo, data driven, async, iterators, etc.
> An extreme example that lasted almost six months was a web spider that just refused to update their DNS records and continued to request websites using the old addresses.

Could it be that it wasn't using DNS at all? Just hardcoded the ip address?
Well, yes, that's what ROS does. This "Awesome robotic tooling" GitHub repository adds what? A package index?
Coming from a traditional layered approach I can see why this "de-layered" approach can seem wrong. After all I had to ditch the knowledge I had about Django ORM, Sequelize, HIbernate(I wish I could forget entirely about Spring/JPA books I've read but I still remember some parts). But as mentioned in other comments if you give it 5 minutes—and embrace the db—perhaps you'd see the advantages of this approach over more traditional ones.

> There is no ORM that you can control

You don't need an ORM to control your database. If you treat the database as the source of truth(this would be the architecturally defined place) you can do data transformations with plain and short SQL. The great thing about this is that you can leverage PostgreSQL rich functionality and extension ecosystem and you don't have to worry if your ORM supports a pg type or if you need a plugin for that.

> by sending strangely formatted HTTP requests according to the doc

The "strangely formattted request" wouldn't be so strange if you note that PostgreSQL cast operator is "::"(e.g. `select col::json from table`).

> Python ORM would take care of having the same performance on the database level for you.

That's just false. ORMs have to point to the lowest common denominator of databases. They don't use the full potential of pg(things like LATERAL joins, json_agg, etc). PostgREST queries are specifically tailored for pg and they're being constantly improved.

> No testability

I've shared this before, but by using pgTAP[1] you can get native SQL tests.

HNers have shared migration tools in other comments.

[1]: https://pgtap.org/
That's not at all what the actual linked document says. From pg. 17/257:

"There is conflicting evidence on whether HPV vaccines are
efficacious in preventing vaccine type HPV associated
anogenital pre-cancer in women who had evidence of prior
HPV exposure to the same vaccine type."

This section cites Miltz et al. (2014; PLoS ONE) and Lehtinen et al. (2013; Nature Reviews Clinical Oncology).

My impression is that efficacy against the same strain hasn't been demonstrated, but it's very clear that people infected with one strain (say, 6) can be subsequently infected with other strains. In that case, there's a partial benefit of the vaccine, since it'll help with the other 1/3/8 strains that the vaccine targets (plus maybe a few more, as there are also off-target effects).
Only for the winners. This is serious survival bias.
At least when Apple TV first came out in 2007 the messaging and branding was very clear. It was just the hardware device. The software that looked like an Apple TV interface on a Mac was called Front Row.
Right. It started as a DARPA-funded effort to get more of the DARPA-funded robotics research projects to talk to each other in some useful way. It's clunky, like CORBA or OLE, but useful.
The awful remote is tolerable with one of these cases:

https://www.amazon.com/Fintie-Protective-Case-Apple-Remote/d...
> I still don't understand the point of pretending that Russia et al can't get into Gitlab whenever they want to

Security isn’t absolute, it’s layered. The harder you make it for the adversary, the more it costs the adversary (eg: potentially burning a zero day), and the more chance there is of detection.

Can Russian intelligence get into Gitlab? Probably. Are measures that make it more expensive liable to deter them? I think so.
It targets 9. There's some evidence for "off-target" effects on other strains too.
That's an interesting article so I invited asciimike to repost https://news.ycombinator.com/item?id=21298682. Normally we wouldn't invite a repost of an article about YC but this seems like a worthwhile exception. It's a pity that https://news.ycombinator.com/posts?id=byrneseyeview doesn't post to HN any more.
I think ultimately you want someone who believes in what you're doing just as much as you do, and that starts with conviction.

Rather than framing it as 'everyone else has so much going for them, why should they join me?' Think about the situation as 'I have this great opportunity, and I want someone who's just as excited about it as I am'

If you can't find someone who feels that way about the work you're doing together, maybe they're not the right fit for an early stage employee/co-founder.
Good question. Energy efficiency is what’s really important.
Actually, Microsoft's Java existed. Microsoft built their own JVM ( https://en.wikipedia.org/wiki/Microsoft_Java_Virtual_Machine ) and Java was supported as a language in Visual Studio in the past. It was the fastest Windows-based implementation of a Java virtual machine when it came out.

But Microsoft being itself added some custom features on top of JVM ( like IE ) and Sun sued them. In retaliation, Microsoft removed JVM from Windows and built C#. Everybody at that time knew C# was Java, though C# has evolved to be a much better language to code in than Java.
I wonder what the second-hand smoke risk is like.

Even though they're not inhaling their own cigar, there are about 15 other competitors in the enclosed room.
From my (admittedly now hazy) understanding, everything in Apple TV land is supposed to be purgeable. So nothing should stop working on a 32 GB Apple TV unless it for whatever reason needs 64 GB of data on disk. This will of course mean that the 64 GB model is faster in caching scenarios, but it’s IMO an unnecessarily complex decision for an already expensive product in the space ($179 for 32GB!)
Need Help with Cellphone
Is there a way to take over a phone number to receive a text message or call if u dont have access to the phone??
Query whitelisting has been available since beta 1. It is called Allow Lists :)
https://docs.hasura.io/1.0/graphql/manual/deployment/allow-l...

We recommend every production app to setup Allow Lists to prevent arbitrary querying.
I can't tell if there is actually a massive culture shift across big corporations to try and weed out bad stuff like this, or if the media is just more willing to put news like this out in the open.

Either way, its a step in the right direction