Chandrakant Gopalan
@cgopalan.bsky.social
Programmer. Vegan for the animals, health and planet (in that order).
This book has been really eye-opening for a “regular” programmer like me who has been really wanting to get into techniques like PBT and formal methods. Thanks @hillelwayne.com !
Logic for Programmers is now in BETA! This new version significantly expands chapters on conditional simplification and formal specification, adds "further reading" to all techniques, and has a snazzy new cover =)
Buy the book here: leanpub.com/logic/
Buy the book here: leanpub.com/logic/
Logic for Programmers
The mathematics that will help you in your day-to-day programming.
leanpub.com
November 24, 2024 at 9:35 PM
This book has been really eye-opening for a “regular” programmer like me who has been really wanting to get into techniques like PBT and formal methods. Thanks @hillelwayne.com !
This is unreal.
November 15, 2024 at 1:30 AM
This is unreal.
That’s a whole lotta love!
November 8, 2024 at 12:54 AM
That’s a whole lotta love!
Reposted by Chandrakant Gopalan
𝗖𝗼𝗻𝗰𝘂𝗿𝗿𝗲𝗻𝗰𝘆 𝗰𝗼𝗻𝘁𝗿𝗼𝗹 𝗮𝗻𝗱 𝗹𝗼𝗴𝗴𝗶𝗻𝗴 𝗶𝗻 𝗗𝘂𝗰𝗸𝗗𝗕
Ever wondered what the .wal file is when working with DuckDB? Time to find out!
This week, @hannes.muehleisen.org and @markraasveldt.bsky.social, wrote about the Multi-Version Concurrency Control and Write-Ahead-Logging schemes: duckdb.org/2024/10/30/a...
Ever wondered what the .wal file is when working with DuckDB? Time to find out!
This week, @hannes.muehleisen.org and @markraasveldt.bsky.social, wrote about the Multi-Version Concurrency Control and Write-Ahead-Logging schemes: duckdb.org/2024/10/30/a...
Analytics-Optimized Concurrent Transactions
DuckDB employs unique analytics-optimized optimistic multi-version concurrency control techniques. These allow DuckDB to perform large-scale in-place updates efficiently.
duckdb.org
November 1, 2024 at 9:14 AM
𝗖𝗼𝗻𝗰𝘂𝗿𝗿𝗲𝗻𝗰𝘆 𝗰𝗼𝗻𝘁𝗿𝗼𝗹 𝗮𝗻𝗱 𝗹𝗼𝗴𝗴𝗶𝗻𝗴 𝗶𝗻 𝗗𝘂𝗰𝗸𝗗𝗕
Ever wondered what the .wal file is when working with DuckDB? Time to find out!
This week, @hannes.muehleisen.org and @markraasveldt.bsky.social, wrote about the Multi-Version Concurrency Control and Write-Ahead-Logging schemes: duckdb.org/2024/10/30/a...
Ever wondered what the .wal file is when working with DuckDB? Time to find out!
This week, @hannes.muehleisen.org and @markraasveldt.bsky.social, wrote about the Multi-Version Concurrency Control and Write-Ahead-Logging schemes: duckdb.org/2024/10/30/a...
Reposted by Chandrakant Gopalan
A couple weeks ago we released pg_parquet. With pg_parquet you can easily:
* Export tables or queries from Postgres to Parquet files
* Ingest data from Parquet files to Postgres
* Inspect the schema and metadata of existing Parquet files
Want to learn more?
* Export tables or queries from Postgres to Parquet files
* Ingest data from Parquet files to Postgres
* Inspect the schema and metadata of existing Parquet files
Want to learn more?
pg_parquet: An Extension to Connect Postgres and Parquet | Crunchy Data Blog
Crunchy Data is excited to release a new extension so you can write Postgres data to Parquet and or pull data from Parquet to Postgres. Craig has the details and sample code.
buff.ly
October 31, 2024 at 6:00 PM
A couple weeks ago we released pg_parquet. With pg_parquet you can easily:
* Export tables or queries from Postgres to Parquet files
* Ingest data from Parquet files to Postgres
* Inspect the schema and metadata of existing Parquet files
Want to learn more?
* Export tables or queries from Postgres to Parquet files
* Ingest data from Parquet files to Postgres
* Inspect the schema and metadata of existing Parquet files
Want to learn more?