skysight-inc/HackerNews huggingface dataset:
I think limiting the scope is fine in general. But one small suggestion would be to make it more clear that this is just one very simple technique. This does not come across at all in the blog post. The diagram you show, for example, seems to state that this is just how static analyses work - they are given ASTs to work with. Or at the very least include some examples of semantic properties. It seems incongruent when you describe static analysis as understanding the behavior of the program without running it and then use examples that are about syntactic style violations.
ZX homebrew didn't claim to be creating a better world and a whole new economy. As I said, it was the mere idealism of Free Software that turned a lot of people off.
Better topic: https://news.ycombinator.com/item?id=23071341
To find the missing constraints, you can try asking what's wrong with the list [1, 2].

You might imagine trying to have an argument with a person trying to sell you a list sorter. The salesman is just going on and on about how "but look, each element of the list I gave you is in the right order! So you should buy my very nice list sorter!". I would want to yell "but you didn't include any of the numbers from the input list! You just forgot about 7, 3, and 5."

So, another formal constraint might be something like this:

for each element, i, in the input list, the element i must be in the output list.

Then, you might again try putting in [7,3,5] and get back a list like this: [1,2,3,4,5,6,7]. Again, imagine arguing with the pushy salesman. The salesman says "Look, you wanted a list with the numbers 7, 3, and 5, and you wanted a list in order, this is both of those things, so you have to pay me for my fine list-sorter now!" And again, I would want to object and say something like "but wait a second, I want ONLY the numbers that I gave you in the input list in the output list!". So, you end up with something like:

for each element, j, of the output list, the element j must be in the input list.

Now, you try putting in [7,3,5] again. What's the worst thing that might come out the other end that's still following all of these 3 rules? Can you spot the next problem?
The advice is fine, but it comes off as disingenuous to extrapolate a single anecdotal example so confidently without articulating the basis for your confidence.
My last job was 100% based on ApEx. Which I do not bring up on my LinkedIn profile.

I refer to ApEx as "Access, for the web, for Oracle". For what it's good at, it's pretty good.

The biggest plus in my view is that it rewards careful schema design. Point it at a properly-normalised schema and you can get 80% of a useful CRUD interface for 20% of the effort.

But all things being equal I'll be happy to never use it again. It's hard to test, hard to version control, hard to safely extend (you usually wind up with buckets of PL/SQL below the surface).
Sure. will do. Thank you for your reply.
>This is still a problem:

The three posts you provided are from 2012, 2013, and 2011.
So is it really still a problem?
> Bear in mind that minor versions in postgresql are breaking changes. It does not follow semver.

1. This hasn't been true since three releases ago (i.e., PG 10).

2. Before PG10, X.Y _was_ the major version of PostgreSQL, Y was _not_ the minor version. It has never broken backwards compatibility without a major version change.

3. PostgreSQL is much, _much_ older than semver.
This is paywalled for me, an archive.is link: https://archive.is/TSF1O
Caddy v2 does this! If an ACME error is encountered, it will continue to retry via the staging endpoint instead until it works.

This won't help if you're throwing away the data storage directory though (i.e. not persisting the volume with Docker), because Caddy won't have a way to keep track of what happened in past runs.
> Our cellphones might be offline for a week, so too local radio stations: a temporary inconvenience rather than end-of-days.

All wireless communications, all maritime communication, being affected is much more than an inconvenience. The literal end of society and civilization? No. Potentially hundreds of thousands dead, billions of dollars in damages? Yes.
> the "young people" theory to me frequently only comes about from people who've grown up in affluent areas and had evening jobs at grocery stores.

You've hit the nail on the head. This position is privilege exemplified, and indicates a lack of empathy for people who do not have the skills, opportunity, or desire to obtain higher-paying positions. Everyone in our society should be able to live with dignity, regardless of their vocation. No one needs to scrape by in the wealthiest country on earth, especially when minimum-wage jobs make so much of our society possible.
French hospital discovers Covid-19 case from December
Any proposal for forgiving or delaying payments needs to consider the position of the lenders, or we are going to end up with another bank bailout.
Overhearing something accidentally isn't, but purposefully putting yourself in proximity so you have a chance for that is espionage and possibly social engineering (depending on whether you're just near or playing yourself off as part of a similar group).

In many ways, this is close to the original term of hacking, which is less about computers and more about circumvention of restrictions and security.
Yes, I too have been sucked in by the void of easily consumed entertainment. It's a trap.

To get out of it I first realized it was crap and cut down my consumption by a factor of 10. Not cut out entirely, but raised the bar of what I'd be willing to consume. Secondly I started waking up earlier (and going to be earlier). That gave me space before work to have a fresh brain and work on my own stuff. A hour a day in the morning can make a lot of difference in a personal project.
What would having symmetrical code accomplish?
It depends - any atmosphere is a huge boon as long as your spacecraft can do aerobraking in any form. You can use it to change your orbit, capture into orbit from an interplanetary trajectory or even change the plane of your orbit as it was envisioned for some mission profiles of the Space shuttle or Dyna-Soar.

There are nice tables at Project RHO illustration how much delta-v you can save by aerobreaking when traveling between Solar System bodies:

http://www.projectrho.com/public_html/rocket/appmissiontable...

You loose all of that for an airless body like the Moon. In this case it's not that big of an issue as moon is close & has a low gravity. If Mars was airless, it could be much more of an issue, as you are coming much more quickly from an interplanetary trajectory & there would be more gravity to handle during landing than on the Moon.
>I think it would be better for humans to not need to perform these jobs.

Depends on how this plays out. Either some sort of UBI future...or potentially dramatically increased inequality and much suffering by a big chunk of humanity that can no longer economically compete at all. Could go either way I think.
Yup!

https://caddyserver.com/docs/quick-starts/reverse-proxy
Because the alternative is PL/SQL, which is Ada minus 90% of the things that make Ada reliable and powerful.
The Pacific Financial Group | Cybersecurity Analyst | Bellevue, WA | Full Time | tpfg.com

The Pacific Financial Group Inc. (‘TPFG’) is an innovative, fast growing investment advisory and WealthTech company with $3 Billion in assets under management. Even in the midst of an unprecedented global health crisis, our numbers illustrate the fantastic health and well-being of our firm.

TPFG is adding a new Cybersecurity Analyst role to build an environment prepared to prevent, detect, respond, and respond to an evolving cloud and enterprise security environment. This is a great opportunity for a mid-level analyst looking to gain experience from our staff that has been working in this space for many years. We are looking for someone with the following experience:

NIST Standards
OWASP Top 10
SANS CWE Top 25
CERT Secure Coding
Complying with SSAE-16, SOC2 Type II, ISO 27001:2005 standards

CASP, CISM, CHFI, CEH, CAP, Sec+, or CISSP certified

AWS Security Specialist, AWS SysOps Administrator or AWS DevOps Engineer experience

Our company benefits include:

100% Company paid Medical, Dental, and Vision insurance coverage for employee
Scheduled Holidays, following the NYSE calendar
Untracked PTO plan
Participation and matching in company 401K plan

All our positions are listed on our company website: https://www.tpfg.com/careers/

If interested, send your resume to: careers (at) tpfg.com and mention HN or PM me directly.
Yeah, I totally agree.

It's just I see a lot of category hype on here and I want to yell that it's mostly just linguistic! It's not some deep or scary thing. The analogy to matrix notation is really good.
Three Russian Doctors Treating Coronavirus Have Fallen Out Of Windows in a Week
Minimal implementations of Reinforcement Learning algorithms
The problem is that so few people do this, and needs are so specialized, that head-to-head comparisons are really hard.

I never understand why people build things like this out of legos. They really not a good substrate for microscope parts. I know it's fun and they're easy to get, but the other parts of the scope are so demanding that you might as well go the full way and design/print 3D plastic (solid body) or use aluminum.
In my observation there's a difference between sales driven companies and engineering driven companies.

Some companies are sales driven they just want profit, and want to deliver the product as quickly as possible. They hire developers to work like assembly line workers. Come in, do the tasks you're assigned, work overtime and repeat the next day.

From the perspective of leadership, you're the helper. Feed the nerds snacks and caffeine, maybe have ping pong table, to look like you're fun. You have to be there are 9AM sharp. You have to be at your desk the whole time "working".

Signs: If you feel like you can't go for a walk without getting in trouble. During Stand-up meetings, if the conversation is more about deadlines then solving the problem.

Engineering driven companies are companies were the engineers have a lot of influence. While you're expected to provide business value, you're not at the mercy of product managers or product owners. you're encouraged to spend reasonable time building your skills.

Because building the product requires deep technical expertise, they can't just ship it without consulting the tech leaders, they can't impose deadlines and expect developers to deal with it, there's more conversation.

Signs: You are allowed to research, you're allowed to experiment, you're allowed to make mistakes.
>One solution that I have thought of is to have a mining difficulty by country and another one by passport. If the passports of a certain country mine a lot of blocks the difficulty for this country would increase.

But countries are a completely arbitrary distinction. Should Liechtenstein mining 100 blocks raise its difficulty as China mining 100 blocks? If not, how should we weigh each country? By population? By GDP? What's stopping countries from gaming their statistics to get more votes?
Show HN: Android Library for Distributed Consensus
I think your idea could work. I did this last year. I helped my friends little brother transition from being a bartender to being front end developer (perfect timing with covid19) and a new friend transition from being lawyer to a QA engineer. We would chat and text message what we are working on, gotchas, hot topics etc. We then would meetup occasionally on Fridays for drinks and talk shop. It was a win/win situation, they got into a new lucrative career and I got a new friend to talk tech with. This all plays into my mantra I got from the movie Office Tigers on Netflix: On your way up, bring those around you with you.
And also why would you want to be like Musk or Zuckerberg? They both seem super weird. And IIRC Musk actually said "you don't want to be me".
Exploiting old hardware for fun/saving money it's a bit idealistic, albeit a personal/reduced group based one.
> See https://www.reuters.com/article/us-usa-court-amazon-com/u-s-....

Where is the 2014 Supreme Court ruling mentioned by this article?
As we start to get used to lockdown, will the transition out be worse?
Yes, depending on the purpose and use of gaining the password, that qualifies as a horrible, horrible portion of a hack.
> But git workflow?

Useless to me too, that's just an example out a million things you could do.

> Is there a way to decouple touchbar from active window btw

You can, touchbar items are global, app-scoped or part of a group that you can open/close programatically (clicking on a touchbar button, usually). The annoying bit is syncing: you'll need to poll for the state of Skype.
You and I can just informally say "oh, you know, it's just shifted forward 3 months". Corporate accountants are held to a stricter standard than that. They have to estimate the loan's present value, and that value depends on when payments are due.
> lack of anonymity

The anonymity of Bitcoin has led to it being mostly only used for crime and scams. Getting rid of it may be seen as a feature by many rather than a drawback.
It's optimization for a single process vs multiple processes.

Additionally, when you free up your architecture and loose up the internal bindings between different areas, you sometimes can open chances for significant improvments which prior where not possible, thus still be faster with a "worse" solution.

Considering how old GNU Emacs is, how much historical problems it has and how often you hear that this and that can't be optimized for this and that reason, this seems like such a situation where loosing up would open faster roads long term.
I accidentally left my passport in the microwave for 1 second while heating up a pain au chocolat. Now it can't be remotely sidebanded and is no longer Turing complete apparently too. Silly me!
You say black hole, us security people call it a "hard problem".

I mean lots of IT things are or end up being black holes.

I will say though, usually, attitudes like yours end up causing more problems than they solve (casual dismissal of security in general, more of a bother, doesn't stop everyone, waste of time, etc. etc.)

I like to think of security like this: My goal is to make it as hard and annoying as possible for bad guys to do bad things to the systems I'm responsible for. Yes, black hole, but my (infinite) glass is half-full.
I was trying to see if this was now better than Glacier- and aside from the SLA's being much better in terms of retrieval, I am not sure they make sense for a backup use case- where you are only really planning on downloading that data back down in a worst case scenario. It may depend on what your incremental backups look like as well- mine are negligible- a dump of a few GB of photos after holidays, other records are tiny.

Glacier pricing in us-east is .0004 vs .0005 for B2. There is always pricing obfuscation with cloud, but AFAICT, there is no need to move off Glacier for a backup use-case.
You could speculatively run stuff on the client and run it on the server, to achieve a speedup.

But there are many more usecases. For example, decoding and encoding of messages between client and server. Hashing stuff. The list is endless. I think that once you have experienced programming in the same language on client and server, you simply don't want to go back to the "split brain" kind of programming.
Dev Tools: History and Future
Encryption can be broken offline. You may want to put a server in front of it to block access to the raw encrypted material.

That said, I'm using the Stanford JavaScript Crypto Library on https://github.com/gabrielsroka/gabrielsroka.github.io/blob/...

What about authentication? Maybe putting it on a Google doc and sharing it with certain people?
About 8 years ago I changed jobs and went from a big semi-open office space to my own cubicle in a small department of a smaller building. I was so happy about that, I had to take a picture and send it to some people.
This seems like a variant of https://news.ycombinator.com/item?id=15382911, but instead of trusting a couple of entities (Intel/AMD), you're trusting 200+ entities, with some being very corrupt?
Isn't local storage pretty good for compliance? It doesn't automatically send the data to your server like a cookie would, so as long as you don't send it, you haven't collected it.
That's a good point, also comes with support and is still much cheaper than Oracle.
footballer and software engineer haha
> Just because some of the 'Covid19 is caused by 5G towers' crowd also believes censorship is a bad idea, we can't infer that everyone / a majority of people that believe censorship is a bad idea are also believing 'Covid19 is caused by 5G towers'.

I, personally, don't see how this leap in logic is implied, and it certainly wasn't intended. Thanks for the explanation, unfortunately I can't change the original post.

Hopefully it's clear that that wasn't my intent. To be a bit defensive though:

> your reply accused them personally of believing that 'Covid-19 is caused by 5-g towers'. They never even mentioned Covid19 or 5G.

No, I didn't. I asked them a very pointed question that forces them to either take on a ridiculous position or to confront a flaw in their line of reasoning. I find this to be a valid strategy when discussing with people. I certainly don't believe that the person I responded to thinks 5g causes Covid. I think basically no one believes that. Hence why I thought that the question would be interpreted as I intended: that there's a difference between censoring "truth" and "untruth". This was apparently missed.
Very persuasive to use your manager's own metrics (sprint velocity, etc.) to show that you're more productive WFH.
Nice! Thanks for the tip. This could be a good fit. I'll try exporting my stranded Evernotes and see how it goes.
There's a full tutorial on the Documentation section! Start here https://caddyserver.com/docs/getting-started and go through the links listed under "Tutorial" on the left side of the page.
That's the big problem for me; I would like for nobody to get hurt, but it seems that the holder of the secured debt has some contractual rights. Given the situation, I don't see how a third party has the right to step in and take from one party to give to the other.

Ideally we'd have debt-holders negotiating solutions with their counter-parties, but that seems difficult with securitized loans.
As a free software proponent, I don't see the inconsistency in this case.

What would you do as a software oriented person if you had nothing to eat? Why would you care about artificial software scarcity imposed by a government that can't even guarantee working people food on the table?

You might be underestimating how traumatic and desperate an experience the nineties were for so many people in eastern Europe. People are obviously not very forthcoming with the hardest of their stories, but here's one anecdote.

A very close friend - an engineer during the Soviet era- hadn't been paid his wage for months on end. He survived for an entire week in ~1994 on a "creatively sourced" giant box of bananas. For a week. On bananas!

What does something like that do to people? How would you react in a similar situation?
Yeah this was a great write up and an interesting example of how the reality of the implementation of something can be quite mismatched to expectations. I wouldn’t necessarily call it surprising that the implementation is doing more than one would expect, but this is a good reminder of how to look around when things get weird.
Not everyone has lost their jobs. Folks that still have an income should be paying their mortgages/rent on schedule. Those who can’t can defer. This way there’s a reduction in income but not a total collapse.
> > What would workers gain from being dishonest

> Union representation and improved compensation and employment benefits.

Getting union representation requires, in jurisdictions I'm familiar with, at least a 50% buy-in from other employees. You're not going to get that by lying to them about their own working conditions. This kind of dishonesty can attract some fist-shakers on the internet, but they don't get a vote.
I understand the concept behind rearranging the people in offices from time to time as a sort of human resources "crop rotation" attempting to get coworkers that otherwise don't interact on projects to perhaps cross-pollinate ideas that can benefit the company (though arguably are there good scientific studies on how much that has actually worked?). But I've always been skeptical of rearranging office layouts themselves. It seems counter-productive, to me at least, because constant environment changes contributes to a low level unease and alert/anxiety/suspicion at the very least in low level tribal/social brain parts, if not bubbling up into very literal distrust in the stability of the company.

But I'm not a highly paid office furniture consultant, nor a sociologist/anthropologist, so what do I know.
I really don't see the connection between a union seat and blocking initiatives that run against progressive culture coming to play in practice. Amazon has a workforce larger than some US states mainly comprised of unskilled workers in locations with cheap enough land to make a half-kilometer wide warehouse remotely feasibly, aka rural or industrial locations; and if recent politics are anything to go by, unskilled rural labor tends to not align very well with that of skilled urbanites. If this union uses anything resembling a democracy for internal policies the woke software engineers in seattle are going to be vastly outvoted by the blue collar workers and rednecks working pretty much everywhere else.

Don't get me wrong a board seat would be great for preventing the company from pulling Gorden Gekko type shenanigans, it's just if the plan is to use it as a platform to further the progressive agenda than there's going to be some disappointment
To me, if you are not free to walk out the door and do whatever you please, you have an obligation to an employer, and are therefore working. I worked a college job fixing bowling equipment and they tried to make me clock out for my meals. I refused unless I was then free to leave the building. As if I have to be there on call then I am still working.

Amazon is not allowing these people to walk out the door and go home. That is taking their time for company policies. So that is working.
I think the major feature from proprietary RDBMSes that you rarely see in OSS RDBMSes is workload management.

The ability to set CPU, RAM, disk and network quotas on queries or users is extremely useful and powerful. That capability by itself is pretty close to non-negotiable for any large line-of-business system.

I know there is something of an OSS RDBMS renaissance happening at the moment, but I haven't heard of any of them offering this, except for Greenplum ... which used to be proprietary.

Disclosure: I work for VMware, which sponsors Greenplum, so it makes sense for my awareness to be biased.
Very interesting. Hard data on all this would be much more valuable than anecdotes and presumption that those with power are always the evil ones.

Corporations are at least some kind of good. Otherwise, we would need to all form our own little businesses, and have everyone redo a whole lot of common tasks. Corporations are the economy's approach to DRY.
Mixily Presents: funding for theater over Zoom
2020 Pulitzer Prize Winners
A Hammer in Search of a Nail

Proof of Work require no secret information as an input and have to be easy to verify. But most importantly, why would anyone do this?

Passport issuer can act like certification authority, this is not a trustless system where PoW can be used for something. Public key infrastructure is a solved thing with it's own problems, but verification is not one of them if authority is working as it should.

EDIT: Let's not even mention that smartcards have effective lifetime and efficiency.
Yeah, the connector inside the computer.