HNHacker News
TopNewBestAskShowJobs

BetaCygni

275 karma · joined August 9, 2013

submissionscomments
BetaCygni··on L1c: A conceptually simple formally verified compiler
Looking at the proof: has the proof been formally verified? There could be a bug in that...
BetaCygni··on Show HN: Live Uber Fare Map
That does seem a violation of the privacy of your users?
BetaCygni··on Mars has belts of glaciers consisting of frozen water
The Mars trilogy (http://en.wikipedia.org/wiki/Mars_trilogy ) is a bit dated but fun. It's fiction though.
BetaCygni··on Searching Online May Make You Think You're Smarter Than You Are
Please define "smart". Searching online massively improves my problem solving ability. The knowledge stored online actually turns into part of my brain. Did I lose (or never obtain) the ability to solve these problems without the internet? Probably. Do I care? No, in the rare case the internet is down I just go do something fun.
BetaCygni··on Fix conflicts only once with Git rerere
Rebased fixes are easier to audit, so I can see an open source project preferring them. Otherwise, just freely merge to/from trunk. Prevent criss-cross merges though, those are a pain.
BetaCygni··on “RNG broken for last 4 months”
Yes, I'm very interested in this too. A bug like this could very well be an attack. It could also be an honest mistake, crypto is hard after all. I'm hoping someone will research this and provide a nice write-up.
BetaCygni··on Hound: A Fast Code Search Tool
Eclipse does this.
BetaCygni··on Flipping bits in memory without accessing them [pdf]
Excellent article! The fact that they can reliably produce errors in most ram chips is worrying. They also provide a solution (probabilistic refresh of neighboring lines).
BetaCygni··on Ask HN: Where can I use a 40+ core machine?
Maybe the client will allow you to test on their 60 core machine? You know for sure the problem happens there.
BetaCygni··on English perception of color vs. Chinese perception of color
Let me translate that for you ;)

https://www.google.com/search?q=electric+blue&tbm=isch

BetaCygni··on Do you believe computers can be composers? Here's the improved computoser
It sounds like me playing the piano. You might be fooled for a moment but it's definitely not music.
BetaCygni··on Self-tightening nut that provides tight fastening with a unique screw thread
Yes, but that takes more space and is much harder to fasten correctly. This actually looks like a good product.
BetaCygni··on Pulling JPEGs out of thin air
Combine it with a timing attack and possibly it could ;)
BetaCygni··on Running a South Pole data center
> the GOES-3 Satellite —a weather satellite launched in 1978 that lost its weather imaging capabilities and now provides 1-megabit per second data transmission for eight hours a day

Beautiful! From http://en.wikipedia.org/wiki/GOES_3

> having spent over thirty one years in operation, it is one of the oldest functioning satellites in orbit.

BetaCygni··on Ask HN: Anybody want a non-functional very large CNC Bridgeport Mill?
Amazing! Too bad I don't have anywhere to put it...
BetaCygni··on Is it reasonable to use the ++it instead of it++ for iterators?
> So, it is reasonable to optimize the speed of the Debug version.

Yes, yes it is. Remember, only optimize things that are actually slow though!

BetaCygni··on The Nobel Peace Prize for 2014
Should we still take the Nobel Peace Prize seriously? Obama winning it was a bit of a stretch in my opinion, though the Pax Americana is a real thing.
BetaCygni··on Click on the tile that has a different color
I suppose it uses CSS to steal your browsing history.
BetaCygni··on When do you decide to become a manager from a programmer
Management is really hard, don't blame the faults of the bad managers on the good ones. I moved into a management role recently for the reasons described in the article: I wanted to get more done than I could do myself.

Also, management is a people oriented job. It's not surprising it involves a lot of talking.

BetaCygni··on M dot or RWD. Which is faster?
The game of today is: Guess the acronym!

My guesses:

M dot: for a website, redirect mobile visitors to m.example.com and serve them a mobile site.

RWD: Responsive Web Design, where your website adapts itself to the smaller screen.

BetaCygni··on What happens when you search 'ugly hack' in GitHub
The &lol; entities are the "Billion laughs" attack: http://en.wikipedia.org/wiki/Billion_laughs
BetaCygni··on Goals Gone Wild: Systematic Side Effects of Over-Prescribing Goal Setting (2009)
What a rubbish article. Without goals, how would anyone know what needs to be done? How would you know what is expected of you? If it is a generic company, the main goals are to make sure the company stays around and to make a profit. You then create sub-goals to achieve the main goals and repeat this until everyone knows what needs to be done. If the sub-goals do not agree with the main goals you get the mess which the article describes. This is caused by WRONG goals.
BetaCygni··on Call of Duty's underlying message is becoming more troubling
I haven't played the game, but doesn't a story line that warns about current (military) infrastructure being used against the population of the U.S. itself sound very dystopian and modern? Yes, it is troubling but that's not a fault of the messenger.
BetaCygni··on Sprite Lamp
If sprite lamp is successful someone will write a FOSS version of it anyway. Commercializing a product takes a lot more than writing a commandline version of the algorithm.

I'd say release it. There is nothing wrong with competition, capitalism works because of it. Sprite Lamp will have to provide a better product if they want to earn money from it.

Better to be confronted with a FOSS version now than when they have invested a lot of time and money into their own product.

BetaCygni··on Americans Fall Behind In The 'Getting Older' Race
> "these levels represent increases in average life spans of almost five months for women and four months for men compared to the previous year."

Let's get it up to twelve months per year!

BetaCygni··on Post-mortem of a Dead-on-Arrival SaaS Product
Seriously? $29 doesn't register as real money to me. Especially from a business perspective.
BetaCygni··on Why Care About 30,000 Notes?
I won't design for 30 000 notes when I expect only 300 max. Much too expensive. I'll solve that problem when the first reasonable use case appears.

I wish you all good luck with over-engineering your software!

BetaCygni··on PayPal Acquires Braintree for $800M
Maybe it's because the CEO of braintree is called "Bill Ready". Heh.
BetaCygni··on Rebuilding the line-mode browser (in node.js)
Surprisingly usable, I like the references syntax for links much better than browsing through them like with lynx.
BetaCygni··on How many people are in space right now?
Very Sci-Fi. The fontsize will have to be reduced once we reach >999 people in space.
← PreviousPage 3 of 5Next →