skysight-inc/HackerNews huggingface dataset:
Has anyone integrated "program analysis" algorithms into ROSE?

Even basic stuff like Steensgaard, Andersen can take a lot of effort to integrate into new frameworks
Ask HN: What Bay Area Companies Have Good Educational Support Programs?
I'm currently an employee of a company down the peninsula.

One of my career goals is to get an MBA to help advance my understanding of business practices, expand my network, and increase my net worth.

My company currently has some tuition assistance, but it maxes out at about 10% of what an executive MBA costs.

I'd like to understand what else is out there in terms of companies with good tuition assistance policies.

Who does this really well?
If you're spending a lot of time waiting, don't hold back from using it to learn new things, especially those with any sort of link or potential future use to the current company. Don't worry if it's tenuous. There is direct work asked of you to contribute, prioritize that, but there is general knowledge that you and the company can benefit from - even if they don't know how to use it in the moment.

Another skill is navigating politics of companies and getting to a point where you can make efficiency changes or being able to influence the path when the opening comes to make a change.
From the article: "the company plans to use the new funding to accelerate its go-to-market strategy and continue to invest in the Redis community and product development."
You'd have to be precise in targeting the social network in which the subject individual wields influence. Networks are more important than money in many ways. An individual who is friends or whose family has friends in VC or PE has a better starting position in an entrepreneurial career than someone who has no connections, even if they have money.

You also need to consider the social implications of your category choice. Choosing a category of "US citizens" vs "millionaires" has vastly different implications. A millionaire in the set of US citizens can invest their wealth in mutual funds, do nothing for 10 years, and come out with vastly more wealth. Someone emerging from poverty who starts a small business and actively contributes economic value might take home $50k/year. The millionaire doubles their wealth by doing nothing and the small business owner fights tooth and nail to bring home a modest income. The millionaire also has the option of leveraging their wealth and time to make even more money, where the self-made individual doesn't. Capital is a gravity well.

You can limit your subject set to individuals with $1M-2M in no-strings-attached cash at the start of the study, but why would you? Gates has done a lot to build his wealth but there is no way to know how many individuals would have done better than Gates if they'd started in the same position. You can start to consider that when you expand the set of individuals in the study beyond the arbitrary wealth filter and account for social mobility. Then when you figure out how many people could have done better, you can come up with a "self-madeness" score. Though the whole thing is silly IMO. No one exists in a vacuum.
I worked for a company that WR bought around that time. WR management seemed to be into "retail therapy" -- buying stuff for the sake of the purchase with no concern or intent on how to integrate it in.
Is an open api really a vulnerability?
Well then McKinsey should just say which firms they have positions in, and everyone can be satisfied that there's no problem?
"What do you most yearn for — to defend your own beliefs or to see the world as clearly as you possibly can?"

Before you answer the latter, ask yourself when was the last time you admitted to someone you were wrong about something significant to you both? Can you do so more often?
In this case it's a real bummer because it's as if a perfectly fine article was then cut into little pieces, with some of them swapping position. It takes very little to improve it lots, e.g.

> We’re outspoken advocates for tracking time. After all, we are a team of software developers who willingly and knowingly created an application specifically for the purpose of time tracking, right? Our philosophy is simple: time tracking is like fitness tracking, it’s a way for you, as an individual, to assess yourself. We think that it’s totally normal and healthy for developers to want to own their time in a quantifiable way, measure their own abilities, and master their craft.

> But it’s no secret that most developers have a visceral reaction to the very idea of tracking time, and the truth is that most companies do time tracking entirely wrong. The reason why developers hate tracking time so much and fight tooth-and-nail against the idea of having to log hours is because companies have royally screwed it up, they’ve taken a tool that could give people more ownership over their own work and distorted it into a mechanism for managers to exert control over their team. It’s like the company’s way of saying, “Sure, we trust you to do your job… but – just in case – we’re watching you.” What kind of employee-employer relationship do you think that creates?

> With almost anything in life, there’s a right way to do things and a wrong way, and time tracking is absolutely no different. It can be an effective tool for helping developers own and improve their own abilities, but only if management resists the temptations to use it in other ways. In most cases, if the developers on your team hate time tracking, it’s because of how it’s being implemented (or because they have PTSD from a previous job where it was implemented poorly.)
Additionally, Lebanon makes me wonder if there's a confounding factor here. Lebanon being a Muslim-majority country, many Lebanese take at least part of Friday off as part of their weekend. Having a standard three-day weekend company-wide might sidestep issues of UK/US workers wanting to meet on Fridays when Lebanese workers are unavailable, and Lebanese workers wanting to meet on Saturdays when UK/US workers are unavailable. This prevents people from being in the office on a Friday or Saturday and twiddling their thumbs while waiting for input from somebody in another country with a different weekend standard.
Starting from the standpoint that your peers or reports are lying to you is never going to work. Treating people like kids means you'll get kid level responses.

If someone is lying, it will eventually come out. That fake report one day will turn into a week and eventually they will get fired. But, don't kill your entire team on the off chance that someone is trying to game the system.
Just how close did it get to the Sun? My memory is that it got about as close as Mercury to the sun. It should have warmed up a fair bit, but the gravity gradients shouldn't be ripping it apart.
I don’t see how corporate structure changes anything. It’s a huge gift of tons of work, which is far and away the hard part. They’ve enabled literally anyone who wants to to train their own model on whatever source material they want.
> There's probably [amateurs] light years ahead of these guys

This is not an 80s hacker movie and amateur hackers can get into the DoD computers using a public phone or whatever. This is actual research funded with millions of dollars done by people with years of experience in the field. I find this whole meme in the programming world of some random programmer being able to work miracles and be super advanced kind of dumb.
I haven't been especially clear. I said "could be valuable" - I might also have said "could be hard to replicate." Nets are hard to create because they need masses of data to train as the article says. Paradoxically, at the same time they're just about impossible to effectively protect as IP; functional duplication of a net is (nearly) always possible if you're willing to put up the money. So why not pay less to rent the software now and wait 'till recreating the nets is far cheaper or already largely available as open source? I suspect the old-line car companies have tossed away a ton of money because they had zero understanding of neural net commerce or economics.
Assuming that you really think that the members of your team are lying to you like this, it's easy enough to validate.

The first one says they're writing a spec. Well, three days later, where's that spec? Next one is producing some designs, so same. Sure someone saying "$TOOL/$NEW_FUNCTION/$REPLACE_FRAMEWORK just didn't work out", could be cover for "I was playing Pac-man all day", but if you ask for details, BS should become clear pretty quickly.

And again, that's starting from the position that you think your teammates are probably slackers who would rather lie than work. Which is not really a great position to hold, IMO.
Mobile Cozmo Online Shopping
Our team at UDT has been studying this object in partnership with Odlid observatory in Iceland, and we seem to have finally determined that it is in fact your mom's dildo.
SabaiKrapao – Finance Comparison Website in Thai Language
I feel like the headline writer tried to spice it up a bit and went too far. Seems much less weird than alien artifact to me.

I mean I'd click on an "Another Oumauamua Theory" headline, but I guess that's not what kids are clicking on these days.
I've been pretty happy tracking billable hours with Grindstone.
They dont, instead streaming companies are counting on people not knowing any better. From my competitive experience maybe top couple of percent (or even less) of player base is aware of such minutia as additional tens of milliseconds, influence of good mouse/keyboard, fast monitors, framerates. Most people are perfectly fine playing on a laptop(!), or FPS using controller on a console - those people wont feel any difference.
TalkConcurrency Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
I have this in a cron:

* 08-23 * * * ~/.local/bin/with-i3 '~/.local/bin/record-active-window'

this is record-active-window:

# set LOGFILE to whatever place you want to record things.

echo "DATE = $(date +%s 2>&1)" >> $LOGFILE
echo "IDLE = $(xprintidle)" >> $LOGFILE
xprop -id $(xprop -root _NET_ACTIVE_WINDOW | sed 's/.*# //') WM_CLASS WM_NAME 2>&1 >> $LOGFILE

this is with-i3

#!/bin/bash

source <(cat /proc/`ps -e | grep ' i3$' | awk '{print $1}'`/environ | sed -r -e 's/([^\x00]*)\x00/export \1\n/g')
bash -c "$*"

I was too lazy to figure out what env vars were missing from the cron (probably dbus socket) so i copied them all from the i3 process above

That plus the habit to lock the screen while I'm away from it works fairly reliable.

edit: you also have the idle time in case you want to ignore result where you've been idle for way too long (forgot to lock screen)

edit2: a sample log entry (idle is in miliseconds, date is unix timestamp in seconds)

DATE = 1550608681
IDLE = 2456
WM_CLASS(STRING) = "google-chrome", "Google-chrome"
WM_NAME(UTF8_STRING) = "Edit | Hacker News - Google Chrome"

If only Slack changed the window title when I change chats, I could also track how much time I spend talking where :) The web version does it though, so I might stop using the electron app...
> It seems far more likely that objects like 'Oumuamua are relatively rare, and that means it likely came from someplace close by (if it came from farther away, the odds are even lower we'd ever see one).

Rare enough to be a space ship?
The creative people I know generate all sorts of artifacts that may or may not be used (designs, notes, research, etc..). They rarely sit at their desk all day just thinking.
From their blog post:

>These samples have substantial policy implications: large language models are becoming increasingly easy to steer towards scalable, customized, coherent text generation, which in turn could be used in a number of beneficial as well as malicious ways. We’ll discuss these implications below in more detail, and outline a publication experiment we are taking in light of such considerations.

>a publication experiment we are taking in light of such considerations.

So I think you're correct, they aren't really too scared about this one, but they realize they might be soon. Seeing how this turns out (how quickly its replicated, how quickly someone makes a wrapper for it that you can download and run yourself in minutes) will inform for more serious situations in the future.
Alfred Chandler Jr notes in his book "the visible hand" how government jobs, or creation of busy work to employ people, is just 'hidden' unemployment. If they pay people to do a job that is not necessarily needed, they can provide 'welfare' via work-to-pay.
Slack-style threads work very well for real-time discussion. It's far easier to follow a channel with them than without.

Opening a new channel wouldn't work for fairly obvious reasons (nobody would be in it, you'd effectively have to do it for every single message, etc.).
TL;DR

Stubborn Rails&DHH fanboys won't admit their 'knowledge' is obsolete.
Not saying I agree with the parent but while OpenAI is non-profit it's owned by billionaires whose companies directly benefit from their research.
I believe item #3 on this page is relevant:

https://www.icann.org/resources/country-territory-names#rese...
Plausible or less deniable?
> MIO is a special situations hedge fund, meaning that it looks for companies that desperately need capital for one reason or another, and who have been poorly served by the market for capital because some aspect of their story is messy and/or tough to understand, and provides them capital on terms that give MIO a lot of upside if the company gets back into good shape.

You have to hand it parent here, thats an amazing amount of wanker-y to play off Too-Big-To-Fail tom-foolery like this.

From a fundamental standpoint how could you ever believe this situation is anything other than what it looks like on the surface, insider trading?
He said below that "I'm the originator of the TURN concept, and owner of the company. I can answer any questions you guys have about the vehicle."

Now outdated: Note for moderators (who I assume scan new comments): Some of this users comments have shown up dead, probably because he's a new user who made a bunch of comments quickly. It would be nice if you could come and revive them.
Metamath is very different from an initiative to make math more accessible. This is a specialist project to write formal/mechanical proofs of many theorems.

I would be curious to discuss how this can be useful in practice for laypeople, but I don't see any.
If your price is lower than Amazon by a magic percentage, you have a good sales record, and probably other unknown factors, Amazon will grant the buybox now to other sellers on Amazon carried items.
Not a great article, but it certainly does illustrate the idea that we are helped to a certain extent.

It's hard to measure one's success accurately.

A $15k loan paid back almost immediately is really nothing in the grand scheme of things, she probably could have gotten a regular loan or at least used some credit cards to float her for it.

A much bigger help was her parents paying for college. THAT's significant.

It meant she knew that starting a business was an option because she could live cheaply after she graduated instead of being forced to get a job.

For the most part, the most successful people in America have been helped significantly by their parents, in my opinion.

Whether it's through paying for an education or networking or outright buying them a business (like a franchise).

Growing up upper-middle class in America puts you way ahead of almost everyone else on the planet as far as advantages goes.
Do you think that means they don't get paid? Non-profit itself isn't a super meaningful term as far as if profits are being made or not. To be a non-profit, many hoops have to be jumped through, certain forms of profit have to be zero (I don't know the specifics, but a friend of mine was considering starting a non-profit at one point) but the employees are still paid.
Political:

Axios

Others:

Intelligent Tuesday (Five Minute Journal)

Tim Ferriss 5-Bullet Friday

Daily Stoic

Aubrey Marcus
How is no channel history a feature? I think if you take a look at your reasoning you'll see that you are just defending IRC because you like it. Which is fine, but it is intellectually dishonest to pretend that flaws are not flaws.
Facebook's AI Chief Researching New Breed of Semiconductor
I suspect that the 'excess' precision of digital computers could be able to be retargeted towards some other use, negating any benefit that a analog computer had.
And can that loose pile of dust survive even a slight rotation. If it is long and thin, the dust near the tips should separate.
Usually its not that you specifically need to log your bathroom break, but rather that all your time you spent at work needs to be booked on _something_
Facebook’s Yann LeCun Says ‘Internal Activity’ Proceeds on AI Chips
Bell Labs Researcher Discusses the Realities of 5G
Essential Set of Advertising and Marketing Tools
> It’s like the company’s way of saying, “Sure, we trust you to do your job….but–just in case–we’re watching you.”

This feels hyperbolic. There are legitimate reasons to measure time spent, and it doesn't amount to lack of trust. And similarly, failure to meet time expectations doesn't amount to shirking or lying.

That said, I personally think it's wise to track your own time for a variety of reasons, one of which is to have some defense against someone else's measurements.

I worked at a game studio where the employees were on average reporting 60+ hours of work. The managers wanted to verify the survey data, so they implemented opaque time tracking (meaning they didn't show the employees the data, and they anonymized the data and didn't use it to come down on individuals, only to collect aggregate information.)

The result was that employees were factoring their commutes as well as optimistic expected arrival and departure times, and fairly dramatically over-estimating how much they actually worked. The average was much closer to 40, and 25% of the company was working less than 40 during final production crunch. I personally tracked my own time at the same time, and it turns out I was also working less than I thought. There's no doubt that crunch feels like more work, but measuring revealed a discrepancy between feelings and reality.
A newspaper article about a powerful consultancy is "having it out for McKinsey?" NYT must have a long list of enemies in that case.
In Messy: How to Be Creative and Resilient in a Tidy-Minded World, Tim Harford describe the strategy of the initial period of Amazon, and compare Bezos with Erwin Rommel, the desert Fox.
Grow some grapes exclusively with heavy water and then try it. See if you can make some grape neutrons.
This is all predicated on 25 km/s being very fast, which in this case it really isn't. Man made objects like the ISS travel at 7 km/s, so these are relatively achievable speeds, even for humanity.

We can look at meteor impacts, too. The first source I found on the topic said meteors commonly impact with 11- 72 km/s. [1] This happens every day with small objects and we're fine. With bigger objects you'll get extinction events and features like the Chicxulub crater, but no way you'd see anything "penetrate Earth surface ... like any hollow bullet does, or ... cut Earth in half like a high power laser."

The speed of light is 300,000 km/s, more than 10,000 times faster than Oumuamua. An object at 0.1c or even 0.01c would be very threatening, but those are still orders of magnitude faster than Oumuamua.

In short - 25 km/s isn't that fast, don't worry about it. There are plenty of asteroids that could hit us faster than that that we also don't always see!

[1] - https://www.amsmeteors.org/meteor-showers/meteor-faq/
You can go to the comment permalink and click "vouch" to do that yourself.
Recently I checked how different compilers vectorize various C++ standard algorithms: http://0x80.pl/notesen/2019-02-02-autovectorization-gcc-clan...

You'll also find there a hint how to rewrite std::replace algorithm to make it vectorizable.
I think this bears some elaboration because I feel the same way, but if we don't talk about _why_ we feel this way, it looks like we're spending our time playing video games and pretending we're working. ("After lunch I just... space out... for a couple of hours. But it looks like I'm working!") I spend a fair amount of time reading documentation; no matter how many programming languages or tools or environments I know, there's always something new to learn. This is true whether I want to learn something new or not - even if I were comfortable just using the stuff I knew when I graduated college, I'll eventually inherit or have to work with something that somebody who knows something newer wrote. As a result, learning new things, reading documentation, experimenting with unknown systems is part of the job - which is completely unappreciated. When I was younger, the managers would ask me what my plan for accomplishing task "X" was and I would start with, "Ok, the first thing I need to do is to learn the environment" and invariably they'd go apeshit when I suggested that I "waste" their time and money on something as pointless as "learning". If I was competent, I'd already know this stuff, and admitting that I needed to waste time reading documentation was sort of an admission of weakness. Of course, being young and naive, I'd try to reason with them but after years and years of having the same circular arguments I finally learned to give bland, inane responses like "research" and avoid giving specifics.
AI Needs to Become Less Elitist
> as long as you are here, I trust you to do something productive.

And this is a terrible mindset.

> The work-when-you-want is easily leading to a - show me the evidence on why I should trust you to have done something productive today.

No, start from the stand point of trust.

> It forces someone to just push for quick wins and avoid anything that is not leading to directly accountible results.

It does force someone to think about results, but not necessarily quick. Even a result that takes months, has many steps along the way that can be communicated.
I used to have that problem but now that I'm freelancing, I actually take care to always have an active clock running on a task I'm working on. It's even improving my focus in a way - I have a constant reminder in my mode line (both in Emacs and in WM) what I'm focusing on.

The key to making this work, when I couldn't make it work in Jira, is lack of friction. In Emacs, if I want to switch tasks I'm working on, it takes the following sequence of keypresses:

C-a a -- switch to Org Agenda
C-s taskn... <ret> -- find new task "taskname" via incremental search
i -- clock in, automatically clocking out the previously active task
s -- save all open org-mode files
q -- close Org Agenda window

It's in my muscle memory, and I can do that faster in there than it takes for a single Jira page to refresh (reason #123 I prefer desktop native over web apps, and don't consider the latter as proper tools).
On the recent thread here about Google and Apple assisting with Saudis treating women as property, the thread OVERWHELMINGLY agreed that it was ok. It's not just the mainstream that has blinders on.
To add on to that last point, you don't need to pick in advance which region or regions your code will run in. You push your code once, and it will run in whichever edge locations receive requests, potentially all 165+ locations if you have users sufficiently spread around the world.
Ah I missed that.