Search: github.com/provos | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Proposal: golang.org/x/exp/shiny: an experimental GUI library

github.com/golang

11 years ago

3 points

542.

Microsoft .NET: Proposal for Cross-Plat Server-Side Image Manipulation Library

github.com/dotnet

11 years ago

3 points

543.

Draft Node.js Foundation Technical Governance Proposal

github.com/joyent

11 years ago

3 points

544.

This RFC proposes a simplification to the I/O stack distributed with Rust

github.com/rust-lang

12 years ago

3 points

545.

Proposal: Docker Engine Keys for Docker Remote API

github.com/docker

12 years ago

3 points

546.

Django Enhancement Proposals (deps)

github.com/django

12 years ago

3 points

547.

Building docker image by packer with chef or puppet, ansible provisioning

github.com/tcnksm

12 years ago

3 points

548.

Mattt/rocket - A proposed hybrid approach to real-time cloud applications

github.com/mattt

13 years ago

3 points

549.

New datatype proposed for Erlang/OTP R17A: Maps

github.com/psyeugenic

13 years ago

3 points

550.

Cloudster - the fastest way to provision your AWS stack

github.com/emilsoman

13 years ago

3 points

551.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

2 months ago

3 points

552.

CP-SAT finite-state machine that provisions infrastructure without any LLM calls

circuitlm.vercel.app

3 months ago

3 points

553.

Show HN: BlockHost OS – Autonomous VM provisioning through smart contracts

github.com/mwaddip

4 months ago

3 points

554.

Supra Aeon Story with Agda Proof and Provisional Appendix

github.com/GoodRoyal

7 months ago

3 points

555.

Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects

github.com/deco-cx

8 months ago

3 points

556.

Go Proposal: architecture-specific SIMD intrinsics

github.com/golang

9 months ago

3 points

557.

Proposal: SIMD: architecture-specific SIMD intrinsics

github.com/golang

9 months ago

3 points

558.

Declarative Route Matching Proposal

github.com/WICG

10 months ago

3 points

559.

Proposed v2.0.1: BREAKING.ADDING.FIXING

github.com/semver

a year ago

3 points

560.

Proposed rework of React docs

github.com/reactjs

a year ago

3 points

561.

Go proposal: finite type set interface as union type

github.com/golang

2 years ago

3 points

562.

Django Enhancement Proposal 0014: Background workers

github.com/django

2 years ago

3 points

563.

Every practical and proposed defense against prompt injection

github.com/tldrsec

2 years ago

3 points

564.

Open-Telemetry Donation Proposal: Continuous Profiling Agent

github.com/open-telemetry

2 years ago

3 points

565.

Updated Oberon+ Concurrency proposal, request for comments

github.com/oberon-lang

2 years ago

3 points

566.

Proposal for Tailscale to Implement OpenID Connect Dynamic Client Registration

github.com/tailscale

3 years ago

3 points

567.

Proposal for Improving Mass Assignment in Rails

gist.github.com

14 years ago

3 points

568.

MapLibre Proposes Collaboration with Maputnik

github.com/maputnik

4 years ago

3 points

569.

Proposal to add garbage collection to WebAssembly

github.com/WebAssembly

4 years ago

3 points

570.

Proposal to rename Flatpak to Failed to load module “canberra-GTK-module”

github.com/flatpak

5 years ago

3 points