Reffie is the next-generation workflow and data analytics platform for residential real estate owners, operators, and property managers. Antiquated software causes renting to be a painful experience for everyone involved. Our mission is to streamline rental communications and house families faster. https://reffie.me/
Our backers include some of the most well-respected early-stage VCs and investors, including Haystack, Redbud, and Trust.
Why us: For engineers - we are among the most interesting companies building in person in Toronto today. We bring a Silicon Valley speed to Toronto's startup ecosystem.
For growth/sales - we have been growing 18% MoM for the last 10 months straight. It's an exciting time to join.
Apply by emailing careers [at] reffie [dot] me with role + HN in the subject line. More instructions in each job link.
I just wish there were a Linux option. Like in the example config doc, I have a dotfiles repo in Github. It includes some basic settings for vim and tmux that I like to install on servers such as jump hosts or EC2 instances when running long-running development tasks. I have a file `linux-install.sh` which will install dependencies (e.g. newer version of vim, silversearcher, ripgrep, tmux) and then another `config-install.sh` that will sync config files for both Mac and Linux (tmux config, zsh config, install vim plugins, ...). A declarative syntax would be really nice for that usecase, though not sure how common that is.
You've actually touch on two areas I'm working on:
1. Extending Linux support - This is built on top of homebrew, which already partially supports linux. Perhaps some of the tools your looking for already work but its in my TODO to extend this a bit more.
2. config import and examples - I just added a new feature to import configs groups more easily, and push this release just now, check it out and it might give you some ideas and could be a way for you to start building those groups for the EC2 instances, etc.
My team and I have been using every AI tool under the sun but have found them making the same mistakes on our codebase and I thought I would sit down and distill my thoughts. It turned into a bit of a rant.
I’d like to add to the reasons for why you want an SPA over something with SSR:
* You have a large number of users compared to your resources and you can’t afford for your user base to always hit your server. Comparatively, deploying API-only apps is far cheaper when you’re resource-starved (eg early stage startup).
* You don’t care about SEO, for example you’re building internal tooling. You then don’t need to care about hydration at all. Much simpler to separate concerns (again esp at the beginning).
* Offline mode (eg PWA or reusable code in Electron) or cases where you want to be resilient to network failures. In the case that your app is dependent on the server for basic functionality like navigation, you can’t support any type of offline mode.
Just a small note about mypy and python - annotations are first-class citizens in Python3 and are not tied to any particular type checking system such as mypy, but are instead a core part of the language and actually serve vital functions in frameworks and libraries that are used to check interfaces such as Pydantic and FastAPI (eg URL params).
Mypy is just one type checker for Python, but there are many others including pyright. In fact pyright is quickly becoming the dominant checker over mypy.
Am I right in thinking that Python's type annotation syntax originally came from Mypy though?
IIRC Mypy started off as a type annotation syntax and corresponding type checker for Python. Mypy's type annotations were adopted by Python itself (in version 3.5 - PEP 484), which reduced Mypy's role to be just a type checker.
Since then, type annotations have indeed become a core part of Python - not only are they used in frameworks and libraries, but are also required to use language features like @dataclass.
No, Python's current type annotation syntax was added in Python 3.0 as a generic annotation syntax, in the hope that somebody else might come along and build a type-checker or other tooling on top:
MyPy was one such tool, and I think it had conventions for adding type annotations in comments, in places where Python didn't yet support them (such as variable assignment), but I'm pretty sure it was never a TypeScript-style pre-processor - type-annotated programs always ran directly in the unmodified CPython interpreter.
This comment reads like a culture problem not an LLM problem.
Imagine for a moment that you work as a developer, encounter a weird bug, and post your problem into your company’s Slack. Other devs then send a bunch of StackOverflow links that have nothing to do with your problem or don’t address your central issue. Is this a problem with StackOverflow or with coworkers posting links uncritically?
I don’t understand this point. The project under scrutiny is Android and people are detecting vulnerabilities both manually and automatically based on source code/binary, not over commit logs. Why would the commit logs be relevant at all to finding bugs?
The commits are just used for attribution. If there was some old lib that hasn’t been changed in 20 years that’s passed fuzzing and manual code inspection for 20 years without updates, chances are it’s solid.
Exploit authors look at commit logs because new features have bugs in them, and it's easier to follow that to find vulnerabilities than dive into the codebase to find what's already there.
I was really excited for this - I’ve been saying to all my friends that I wish I could use my kindle for more. Obviously the kindle is quite slow so it’s not a good fit for reading on the web (I use Instapaper a lot and wish I could have that experience in eInk). I also read scientific papers and those often have figures that are very hard to read on a small black and white display, and I tend to scribble in the margins when I referee for conferences.
For these tasks I use my iPad Air, but the eye strain problem is real if you’re reading for hours at a time. Since I bought a small laptop, I exclusively use my iPad for reading and writing. The writing experience could be better, with the surface feeling a little too glassy.
My big worries are the app support. I use notability to write notes, which has OCR and allows syncing to my laptop and phone. My bookmarks sync across browsers. My reading list syncs with Instapaper and my citations with Zotero. Can I get a similar syncing system?
Another perennial problem with such devices is the stylus. I’ve lost 2 apple pencils at conferences. It’s horrible - you now can’t write anything until you get a replacement. At least with an Apple Pencil you can walk into any store and pay the exorbitant $120 to buy a new one (imagine if you could never borrow a pen from anyone ever again and each pen cost over $100 - that’s what it feels like). How will I get a replacement pencil for this device if it falls down in an airport or out of my bag in some conference center far from home?
But as others have said, the iPad is a tried and tested device. It has a powerful ecosystem and great resolution. The base model comes with 128GB of on device storage. And it’s $600, significantly cheaper than this device. I find the price tag hard to justify in comparison .
The Americans is a highly sensationalized and fictionalized retelling of the life stories of Elena Vavilova and Andrey Bezrukov. From a historical/accuracy perspective, there’s basically zero resemblance of the show and the source material beyond the premise.
As drama, it excels in the drama around the marriage rather than the actual fact of them being spies, and has been praised as “fundamentally a show about a marriage”. If you’re looking for a spy thriller, you might look elsewhere. It’s very “American TV” and doesn’t really stray from the formula
I watched the entire series, The Americans. It's thrilling and well-crafted television, but totally bogus as a representation of how illegals worked in the USA.
Illegals were/are special assets that would never be concurrently running so many different operations and engaging in risky wet (i.e. assassination) operations right and left. More likely they would spend many boring years cultivating their positions in society and a select few important contacts. That doesn't make for good television.
Typically the best television stories are taking an entire organizations stories and distilling it down to just a few people. Easier to develop characters that way and keep the audience from being confused by actors that don't contribute much.
A good 101 on an illegal story is by Jack Barsky, on his own account. He wrote a book on it, there's various interviews with him, a podcast series (The Agent) and he got interviewed by Lex Fridman (#301). I recomment The Agent podcast series [1] on his (life) story. Also available on Apple Podcast.
The Americans : espionage :: The Sopranos : organized crime.
The Sopranos was not especially realistic. But realism wasn't the point; there was just enough verisimilitude to serve the narrative, which was a kind of morality play. It's the same with The Americans, which is at bottom more of a relationship story than one about espionage. (We agree, I think.)
A lot of research went into the show, but it shows up in the same ways research shows up in Mad Men.
Don't watch it expecting to learn a bunch of stuff! That's not the point.
We clearly didn't watch the same show. The nature in which they use disguises alone was some of the best use in a show I've ever seen. There's also some very clever code words and traps that scary in their realism.
Reffie is the next-generation workflow and data analytics platform for residential real estate owners, operators, and property managers. Antiquated software causes renting to be a painful experience for everyone involved. Our mission is to streamline rental communications and house families faster. https://reffie.me/
Our backers include some of the most well-respected early-stage VCs and investors, including Haystack, Redbud, and Trust.
Open roles:
* Full-stack Eng (all levels as long as you have the requisite exp): https://reffie.me/jobs/swe-fullstack-toronto
* Applied Machine Learning Eng (all levels as long as you have the requisite exp): https://reffie.me/jobs/swe-ml-toronto
* Growth Lead: https://reffie.me/jobs/growth-lead
Tools we use: TypeScript, React, Python, FastAPI, AWS, Docker, Lambda, Terraform, FCM, Postgres
Why us: For engineers - we are among the most interesting companies building in person in Toronto today. We bring a Silicon Valley speed to Toronto's startup ecosystem.
For growth/sales - we have been growing 18% MoM for the last 10 months straight. It's an exciting time to join.
Apply by emailing careers [at] reffie [dot] me with role + HN in the subject line. More instructions in each job link.
reply