Friday, October 7, 2022

Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus https://ift.tt/IS1vaF5

Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus https://ift.tt/G3xC8In October 7, 2022 at 05:23AM

What’s in Proposition L?

What’s in Proposition L?
By Andrea Buffa

On November 8, San Francisco voters will decide whether to continue a half-cent transportation sales tax that has been funding city and county transportation projects since it was first enacted in 1989. Proposition L is not a tax increase but does require a two-thirds majority vote to pass.

The half-cent sales tax is administered by the San Francisco County Transportation Authority (SFCTA).  Proposition L would approve a new 2022 Transportation Expenditure Plan for how these funds will be spent for the next 30 years.

The 2022 Transportation Expenditure Plan will fund projects in these categories:

  • 41% for transit maintenance and enhancements: Funds Muni, BART, Caltrain and ferries. The money goes toward maintenance, rehabilitation and replacement of vehicles; station and access improvements; and planning for the next generation of public transit.
    • Examples: New buses and light rail vehicles, electrifying Muni’s bus fleet, maintaining buses and trains so they operate safely and reliably
  • 23% for major transit projects: Funds Muni bus and train reliability and efficiency improvements; increasing Muni and BART capacity; and major expansion projects
    • Example: The Caltrain Downtown Extension from 4th and King railyard to the Salesforce Transit Center
  • 19% for streets and freeways: Funds street repaving; walking and bicycling safety improvements; signals and traffic calming; and major street and freeway redesign planning
    • Examples: Neighborhood-level investments such as crosswalks, traffic calming, new and upgraded traffic signals, bicycle lanes and Safe Routes to School programs
  • 11% for paratransit: Funds the SFMTA’s paratransit service, which is a van and taxi program for people who are unable to independently use or access public transit because of a disability or disabling health condition
  • 6% for system planning and community equity: Funds transportation demand management; neighborhood and equity-focused planning and implementation
    • Example: Implementing improvements identified in community-based plans across the city and particularly in Equity Priority Communities

The SFCTA website provides more details on the 2022 Transportation Expenditure Plan.

In previous years, the sales tax has funded projects large and small, some of the well-known ones being the Salesforce Transit Center, the electrification of Caltrain (anticipated to be done in 2024), Muni Central Subway and reconstructing Doyle Drive, now known as Presidio Parkway.

It has also funded smaller projects like traffic calming, street repaving, protected bike lanes, new and upgraded signals and, during the pandemic, taxi rides home for essential workers.

To compete for federal and state grants, such as the funds in last year’s federal Bipartisan Infrastructure Law, San Francisco needs local funds that match the money from the grant. The sales tax funds are our main source of these matching funds. On average, we’ve leveraged every dollar in half-cent sales tax funding to attract $4 - 7 in additional funding from federal, state or other sources.

If Measure L does not pass, the half-cent transportation sales tax will continue to be collected until March 2034. However, the money can only be spent on projects that were included in the Transportation Expenditure Plan from 2003.

To learn more about the half-cent transportation sales tax, you can go to the SFCTA website.



Published October 07, 2022 at 02:02AM
https://ift.tt/I53Apn7

Show HN: Scalable Time Series Modeling with open-source projects https://ift.tt/vsmFVi0

Show HN: Scalable Time Series Modeling with open-source projects https://ift.tt/oDAyIF9 October 6, 2022 at 09:57PM

Show HN: WebVM – x86 VM in WebAssembly, now with networking (via Tailscale) https://ift.tt/TquaoUD

Show HN: WebVM – x86 VM in WebAssembly, now with networking (via Tailscale) https://webvm.io October 6, 2022 at 09:24PM

Thursday, October 6, 2022

Show HN: Coherence, the developer platform to end yak-shaving https://ift.tt/QaNu7ks

Show HN: Coherence, the developer platform to end yak-shaving Hey HN! I’m Zach, from Coherence (https://ift.tt/vzWtlbS). We’re building software that provides an integrated way to write, preview, and deploy code from one simple configuration. Check out our explainer video here: https://www.youtube.com/watch?v=V2YHVx8QsLg and a high level demo here: https://ift.tt/kf7MyZw We started Coherence because we found technology teams spent 30-40% of their time yak shaving and writing glue code, instead of building products our customers love. We don’t think every team should have to build their own internal development platform, so we’re building the software we’d want to buy. Following the example of other great products like Replit, our toolkit is based on integration across the stages of an app’s lifecycle - from dev to production. Coherence provides one integrated dashboard with cloud development environments, automatic CI/CD, and full-stack environments for each branch (as well as production), all with one simple configuration. A developer can write, test, review, and deploy code from one interface with best practices built in. Devs are intuitively navigated to their own cloud resources when needed, eliminating time spent searching consoles for every log, metric, or configuration setting you might need. We currently support containerized full-stack web apps on AWS and Google Cloud. Unlike the PaaS category defined by Heroku, our goal is to help teams leverage the platforms provided by the best cloud providers, keeping the benefits of running in your own cloud account: unlimited extensibility, cost savings, compliance with audit requirements, and freedom to easily exit our platform without an impact to your systems. You can play around with a Coherence sandbox and get a taste of the developer experience at app.withcoherence.com/sandbox. If you like what you can see, you can also deploy an app into your AWS or GCP with one of our starter templates for a new project: app.withcoherence.com. We’re happy to support onboarding on a call or via Slack and we’d love to discuss what it would look like to migrate one of your existing apps to Coherence. We’re excited to get your feedback, so please feel free to drop us a note at hn@withcoherence.com October 6, 2022 at 06:10PM

Show HN: Low-Code ABAC – Permissions even a monkey can use (on top of OPA) https://ift.tt/jgaOp0t

Show HN: Low-Code ABAC – Permissions even a monkey can use (on top of OPA) https://ift.tt/BPMGUOm October 6, 2022 at 07:34PM

Show HN: I created a simple and fast Broken Link Checker for WordPress https://ift.tt/4moN693

Show HN: I created a simple and fast Broken Link Checker for WordPress There aren't any reliable free broken link checkers out there, so I decided to create one. Right now, it is a Python script that can be run on any platform. It is multi-threaded and has a lot of room for improvement. Feel free to check out the code and point out the mistakes or leave suggestions. I am newbie programmer :) https://ift.tt/y1wPT0E October 6, 2022 at 05:08PM

Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code https://ift.tt/vt1BkI0

Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code Hey all! Few weeks ago we realized AI models are now so good you d...