Search: github.com/provos | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Proposal: Docker Engine Keys for Docker Remote API (github.com/docker)

3 points

12 years ago

542.

Django Enhancement Proposals (deps) (github.com/django)

3 points

12 years ago

543.

Building docker image by packer with chef or puppet, ansible provisioning (github.com/tcnksm)

3 points

12 years ago

544.

Mattt/rocket - A proposed hybrid approach to real-time cloud applications (github.com/mattt)

3 points

13 years ago

545.

New datatype proposed for Erlang/OTP R17A: Maps (github.com/psyeugenic)

3 points

13 years ago

546.

Cloudster - the fastest way to provision your AWS stack (github.com/emilsoman)

3 points

13 years ago

547.

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

3 points

2 months ago

548.

CP-SAT finite-state machine that provisions infrastructure without any LLM calls (circuitlm.vercel.app)

3 points

2 months ago

549.

Show HN: BlockHost OS – Autonomous VM provisioning through smart contracts (github.com/mwaddip)

3 points

4 months ago

550.

Supra Aeon Story with Agda Proof and Provisional Appendix (github.com/GoodRoyal)

3 points

6 months ago

551.

Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects (github.com/deco-cx)

3 points

8 months ago

552.

Go Proposal: architecture-specific SIMD intrinsics (github.com/golang)

3 points

8 months ago

553.

Proposal: SIMD: architecture-specific SIMD intrinsics (github.com/golang)

3 points

9 months ago

554.

Declarative Route Matching Proposal (github.com/WICG)

3 points

9 months ago

555.

Proposed v2.0.1: BREAKING.ADDING.FIXING (github.com/semver)

3 points

a year ago

556.

Proposed rework of React docs (github.com/reactjs)

3 points

a year ago

557.

Go proposal: finite type set interface as union type (github.com/golang)

3 points

a year ago

558.

Django Enhancement Proposal 0014: Background workers (github.com/django)

3 points

2 years ago

559.

Every practical and proposed defense against prompt injection (github.com/tldrsec)

3 points

2 years ago

560.

Open-Telemetry Donation Proposal: Continuous Profiling Agent (github.com/open-telemetry)

3 points

2 years ago

561.

Updated Oberon+ Concurrency proposal, request for comments (github.com/oberon-lang)

3 points

2 years ago

562.

Proposal for Tailscale to Implement OpenID Connect Dynamic Client Registration (github.com/tailscale)

3 points

3 years ago

563.

Proposal for Improving Mass Assignment in Rails (gist.github.com)

3 points

14 years ago

564.

MapLibre Proposes Collaboration with Maputnik (github.com/maputnik)

3 points

4 years ago

565.

Proposal to add garbage collection to WebAssembly (github.com/WebAssembly)

3 points

4 years ago

566.

Proposal to rename Flatpak to Failed to load module “canberra-GTK-module” (github.com/flatpak)

3 points

5 years ago

567.

Go proposal: maps: new package to provide generic map functions (github.com/golang)

3 points

5 years ago

568.

Audacity: Actions we propose to take on PR #835 #889 (github.com/audacity)

3 points

5 years ago

569.

Accepted: Golang generics by type parameter proposal (github.com/golang)

3 points

5 years ago

570.

Expensify.cash end-to-end encryption proposal (gist.github.com)

3 points

5 years ago