HN user

gkuan

1,099 karma

www.typedynamic.com

Posts147
Comments58
View on HN
www.scientificamerican.com 3y ago

The search for extraterrestrial life as we don’t know it

gkuan
77pts97
www.scientificamerican.com 3y ago

The search for extraterrestrial life as we don’t know it

gkuan
4pts3
sam.gov 4y ago

DARPA Bio-Inspired Restoration of Aged Concrete Edifices

gkuan
4pts0
arxiv.org 4y ago

Type Directed Synthesis for RESTful APIs

gkuan
2pts0
medium.com 4y ago

Mysten Labs Announces Sui Blockchain

gkuan
17pts4
fortune.com 4y ago

Proposal for Terra Rebirth Passes

gkuan
2pts0
www.bloomberg.com 5y ago

MapLab: What It Takes To Map Mars

gkuan
2pts0
dfinity.org 5y ago

Dfinity Mercury Genesis Event The Internet Computer

gkuan
5pts0
cacm.acm.org 8y ago

Coz: Finding Code That Counts with Causal Profiling

gkuan
3pts0
www.darpa.mil 8y ago

Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017

gkuan
4pts0
www.darpa.mil 8y ago

Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017)

gkuan
2pts0
www.usenix.org 9y ago

SCONE: Secure Linux Containers with Intel SGX

gkuan
4pts0
www.theatlantic.com 10y ago

The Myth of the Millennial Entrepreneur

gkuan
4pts0
www.theatlantic.com 10y ago

The Computer Glitch That's Keeping Poor People from Their Money

gkuan
3pts0
www.citylab.com 11y ago

How Yelp Is Giving You Bad Advice

gkuan
1pts0
www.mpi-sws.org 11y ago

A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf]

gkuan
18pts3
graydon2.dreamwidth.org 11y ago

Rust release lightning talk

gkuan
3pts0
homes.cs.washington.edu 11y ago

A Framework for Implementing and Formally Verifying Distributed Systems [pdf]

gkuan
15pts1
arstechnica.com 11y ago

Injectable electronics could be used to monitor brain activity

gkuan
1pts0
www.citylab.com 11y ago

The Big Money Behind Tall Buildings

gkuan
1pts0
www.citylab.com 11y ago

One Reason It’s So Hard to Become a 'Creative Superstar City'

gkuan
27pts5
rhiever.github.io 11y ago

Redditviz – Reddit interest network (2013)

gkuan
28pts7
www.technologyreview.com 11y ago

Firefox Maker Battles to Save the Internet–and Itself

gkuan
1pts0
www.citylab.com 11y ago

The Highway Lane Next to Yours Isn’t Really Moving Any Faster

gkuan
13pts20
lambda-the-ultimate.org 11y ago

Micro Virtual Machines as Solid Foundation for Language Development

gkuan
63pts5
www.citylab.com 11y ago

CarFreeAtoZ: A multimodal transit planning tool for D.C

gkuan
3pts0
www.citylab.com 11y ago

The Urban Housing Crunch Costs the U.S. Economy About $1.6 Trillion a Year

gkuan
1pts0
sirius.clarity-lab.org 11y ago

Sirius: An Open End-To-End Voice and Vision Personal Assistant

gkuan
2pts0
lambda-the-ultimate.org 11y ago

Pycket: A Tracing JIT for a Functional Language

gkuan
66pts7
lambda-the-ultimate.org 11y ago

Eve: the dev diary of a programming environment aimed at non-programmers

gkuan
49pts27

Another tip I would give: try to be timely. Especially for college grads/early career, for some companies even when companies are hiring, they might not be hiring all year long (for college grads). The prime college hiring season (summer and fall) is coming up. Waiting until or starting in the winter and spring tends to be tougher.

One more resource that may be helpful, there are a whole bunch of tech interview meetups in various cities. Those meetups are a tremendous resource in terms of sharpening interview skills and finding supportive peers and people further along in their careers. They are also a resource for getting an idea of who is hiring for what.

Disclosure: I founded one of these meetups in one city a long while ago.

Does your college offer career fairs or college-specific job boards? Chin up. Breaking in is definitely challenging, but there are resources out there. Hopefully as the pandemic effects subside, there will be more in-person networking events. Some companies also like to recruit from hackathons and other contests. There are also some medium size companies that tend to keep significant entry level hiring pipelines.

One gotcha I would mention, though, is don’t go in with the expectation that submitting resumes down some company corporate HR website is sufficient. It is definitely worth it to get in front of companies in person when possible.

This (more yield with longer duration) is true most of the time, but sometimes the yield curve inverts. Especially in recent months, the yield curve has flattened quite a bit.

The final approach I've encountered is where research problems come from an external body.

For a good helping of the government research organizations, they hire academics and practitioners as Program Managers (PMs) who gather the experts in the field to come up with research programs, agendas, and seedling programs. Of course, the PMs have to sell areas to their higher ups too, but it does have some degree of dynamism and alignment with academia. The amount of resources that could be brought to bear on a problem is impressive.

I do wonder about this whole notion of “success” of research. Hundreds of years ago, wealth patrons sponsor the “researchers” of their times. Creative people found problems that interested them which sometimes led to unexpected results and new areas. I don’t think serendipity should be discounted.

One interesting thing is that even nominal Treasuries are yielding above CDs at the moment but the difference is more like 20 bps or so.

Can you imagine the people who bought i bonds in the 2000s when the fixed yield part of the return was 3.6%? Though they obviously had their ups and downs, but right now if they held on they are sitting on a year of 10%+ yields.

I do wonder if differences in language governance models impact uptake. Being completely biased (having worked on the SML/NJ compiler a long while ago), I very badly want to see more adoption. There is definitely continuing activity with new (IFL award winning) LLVM backend work [1] and Manticore.

[1] http://cs.uchicago.edu/news/smlnj-overhaul/

Unfortunately, for this particular type of bond, a Series I US Savings Bond, they can only be purchased through TreasuryDirect or by way of a tax refund. Since 2012, they are no longer sold through banks [1]. For regular Treasury Bills, Notes, and Bonds, buying through a broker is an option.

But separately, it is a miracle that the author didn't hit the physical identity verification path [2] when signing up for the TreasuryDirect account.

[1] https://treasurydirect.gov/timeline.htm?src=td&med=banner&lo...

[2] https://money.stackexchange.com/questions/46840/treasury-dir...

Where are you seeing real yield on TIPS? There is certainly that 0.125% positive fixed coupon rate subject to that principal inflation adjustment. Looking at https://www.treasurydirect.gov/instit/annceresult/annceresul... TIPS tab, all the recent auctions had a high yield of < 0% with the exception of the 30-year TIPS on 02/28/2022 at a high yield of 0.195%. Secondary market does seem to show some deals on 20+ years with some getting close to 0.50%. TIPSWatch [1] runs the numbers on I Series and TIPS. TIPS yields are improving but I'm not sure it has quite changed the balance yet. Of course, especially in tax deferred/exempt accounts, TIPS have that great attractiveness of principal adjustment (depending on one's inflation view versus nominals) and no annual limits so the time will probably arrive soon enough.

[1] https://tipswatch.com/2022/04/21/new-5-year-tips-auctions-wi...

Interestingly, there is a Cambridge ML (binary was called CML not to be confused with Concurrent ML CML), which seems to underlie the Nuprl theorem prover (http://www.nuprl.org/book/Metalanguage.html), and was used in Cambridge FCS courses (https://www.cl.cam.ac.uk/teaching/0910/FoundsCS/usingml.html). There was also Cardelli ML (https://smlfamily.github.io/history/SML-history.pdf). I am not aware of either being called CaML but who knows maybe there is more history out there.

I once did the LA transit ride from Thousand Oaks to Pasadena and back entirely by transit (40 mi one way by driving, transit was more circuitous than that). More frequently, I would take Thousand Oaks to Hollywood or Thousand Oaks to DTLA transit trips. The Red and Gold lines seem quite reasonable. Though short of something I would want to take daily given that I lived far away, it was still a lot less exhausting than trying to drive from Santa Monica to the other side of 405 during the afternoon. Now I’m in a different city and take transit daily.

I would recommend Appel's Modern Compiler Implementation series. It is good starting place for building up compiler fundamentals and progressively implementing a reasonable compiler for a reasonably rich language without getting bogged down from too many idiosyncrasies.

Bob Harper's _Practical Foundations for Programming Languages_ is a good starting point and from there I would go on to Benjamin Pierce's _Types and Programming Languages_.